skip to main content
10.1145/1596600.1596607acmconferencesArticle/Chapter ViewAbstractPublication PagesicfpConference Proceedingsconference-collections
research-article

Development of a distributed system applied to teaching and learning

Authors Info & Claims
Published:05 September 2009Publication History

ABSTRACT

The emergence of networked computers has originated new technologies for teaching and learning, particularly, the technology of learning management systems. We have applied Erlang to deal with the concurrent part of a distributed system to support teaching and learning tasks. We have also employed declarative programming together with some formal tools to elaborate the specification and the conceptual model of the system and some extreme programming techniques to deal with some issues of software development. We show how Erlang supports the transition from the specification to the implementation, and the whole concurrent and computational process of our distributed system.

Skip Supplemental Material Section

Supplemental Material

developmentofadistributedsystemappliedtoteaching.mp4

References

  1. Joe Armstrong. Programming Erlang. Software for a concurrent world. The Pragmatic Programmers, 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. William M. Bart. Encyclopedia of Educational Psychology, chapter Bloom's taxonomy of educational objectives, pages 110--111. SAGE Publications, 2008.Google ScholarGoogle Scholar
  3. Rod M. Burstall and John Darlington. A transformation system for developing recursive programs. Journal of the Association for Computing Machinery, 24(1):44--67, January 1977.Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. Kent Beck. Extreme Programming Explained. Embrace change. Addison-Wesley Professional, 1999.Google ScholarGoogle Scholar
  5. Richard Bird. An introduction to functional programming using Haskell. Prentice-Hall, second edition, 1998. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. Grady Booch and James Rumbaugh. The Unified Modeling Language User Guide. Addison-Wesley, 1998. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. Manfred Broy. Compositional refinement of interactive systems. Journal of the ACM, 44(6):850--891, November 1997. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. Manfred Broy. From "formal methods" to system modeling. In Cliff B. Jones, Zhiming Liu, and Jim Woodcock, editors, Formal Methods and Hybrid Real-Time Systems, Lectures Notes in Computer Science, pages 24--44. Springer-Verlag, 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. Alistair Cockburn. Goals and use cases. JOOP, 10(5):35--40, 1997.Google ScholarGoogle Scholar
  10. Edward F. Crawley. Creating the CDIO Syllabus, a universal template forengineering education. Vol. 3, 32nd Annual Frontiersin Education (FIE'02), ASEE/IEEE, November 2002.Google ScholarGoogle Scholar
  11. Edger W. Dijsktra. A discipline of programming. Prentice-Hall, 1976.Google ScholarGoogle Scholar
  12. Matthew Hennesy. A distributed Pi-Calculus. Cambridge University Press, 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. Albert S. Huang and Larry Rudolph. Bluetooth Essentials for Programmers. Cambridge University Press, 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. Mike Joy, Boris Muzykantskii, Simon Rawles, and Michael Evans. An infrastructure for web--based computer-assisted learning. J. Educ. Resour. Comput., 2(4):4, 2002. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. James Keogh and James Edward Keogh. J2ME: The Complete Reference. McGraw-Hill/Osborne, 2003. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. Jonathan Knudsen. Wireless Java: Developing with J2ME. Apress, 2003.Google ScholarGoogle Scholar
  17. Bruce J. MacLennan. Functional programming. Practice and theory. Addison-Wesley, 1990.Google ScholarGoogle Scholar
  18. Kim Marshall. The use of multiple choice options in law. In Reggie Kwan, Robert Fox, F.T. Chan, and Philip Sang, editors, Enhancing Learning Through Technology. Research on emerging technologies and pedagogies, pages 263--276. Scientific World, 2008.Google ScholarGoogle Scholar
  19. Robin Milner. Communication and concurrency. Prentice-Hall, 1989.Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. Thomas Noll and Chanchal Kumar Roy. Modeling Erlang in the Pi-Calculus. In ERLANG '05: Proceedings of the 2005 ACM SIGPLAN workshop on Erlang, pages 72--77, New York, NY, USA, 2005. ACM. Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. Helmut Partsch. Specification and Transformation of Programs. Texts and Monographs in Computer Science. Springer-Verlag, 1990.Google ScholarGoogle ScholarCross RefCross Ref
  22. Alberto Pettorossi and Maurizio Proietti. Rules and Strategies for Transforming Functional and Logic Programs. ACM Computing Surveys, 28(2):360--414, 1996. Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. Chanchal Kumar Roy, Thomas Noll, Banani Roy, and James R. Cordy. Towards automatic verification of Erlang programs by π-calculus translation. In ERLANG '06: Proceedings of the 2006 ACM SIGPLAN workshop on Erlang, pages 38--50, New York, NY, USA, 2006. ACM. Google ScholarGoogle ScholarDigital LibraryDigital Library
  24. Nicola Santoro. Design and Analysis of Distributed Algorithms. Wiley-Interscience, 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. Clean Site. www.cs.kun.nl/clean, 2009.Google ScholarGoogle Scholar
  26. Bloom's taxonomy and University of Victoria Web Site. http://www.coun.uvic.ca/learning/exams/blooms-taxonomy.html, 2009Google ScholarGoogle Scholar
  27. Erlang Site. www.erlang.org, 2009.Google ScholarGoogle Scholar
  28. Haskell Site. www.haskell.org, 2009.Google ScholarGoogle Scholar
  29. Raymond Smith. Wi-Fi Home Networking. McGraw-Hill/TAB Electronics, 2003. Google ScholarGoogle ScholarDigital LibraryDigital Library
  30. Charambolos Vrasidas. Issues of Pedagogy and Design in e-learnnig Systems. In SAC2004, Nicosia, Cyprus, March 2004. ACM. Google ScholarGoogle ScholarDigital LibraryDigital Library
  31. Leonard Webster and David Murphy. Enhancing learning through technology: Challenges and responses. In Reggie Kwan, Robert Fox, F.T. Chan, and Philip Sang, editors, Enhancing Learning Through Technology. Research on emerging technologies and pedagogies, pages 1--16. Scientific World, 2008.Google ScholarGoogle Scholar

Index Terms

  1. Development of a distributed system applied to teaching and learning

              Recommendations

              Comments

              Login options

              Check if you have access through your login credentials or your institution to get full access on this article.

              Sign in
              • Published in

                cover image ACM Conferences
                ERLANG '09: Proceedings of the 8th ACM SIGPLAN workshop on ERLANG
                September 2009
                108 pages
                ISBN:9781605585079
                DOI:10.1145/1596600

                Copyright © 2009 ACM

                Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

                Publisher

                Association for Computing Machinery

                New York, NY, United States

                Publication History

                • Published: 5 September 2009

                Permissions

                Request permissions about this article.

                Request Permissions

                Check for updates

                Qualifiers

                • research-article

                Acceptance Rates

                Overall Acceptance Rate51of68submissions,75%

                Upcoming Conference

                ICFP '24

              PDF Format

              View or Download as a PDF file.

              PDF

              eReader

              View online with eReader.

              eReader