An introduction to functional programming
An introduction to functional programming
Rules and strategies for transforming functional and logic programs
ACM Computing Surveys (CSUR)
Compositional refinement of interactive systems
Journal of the ACM (JACM)
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Wi-Fi Home Networking
J2ME: The Complete Reference
An Infrastructure for Web-Based Computer-Assisted Learning
Journal on Educational Resources in Computing (JERIC)
Issues of pedagogy and design in e-learning systems
Proceedings of the 2004 ACM symposium on Applied computing
Modeling Erlang in the pi-calculus
Proceedings of the 2005 ACM SIGPLAN workshop on Erlang
Towards automatic verification of Erlang programs by π-calculus translation
Proceedings of the 2006 ACM SIGPLAN workshop on Erlang
Design and Analysis of Distributed Algorithms (Wiley Series on Parallel and Distributed Computing)
Design and Analysis of Distributed Algorithms (Wiley Series on Parallel and Distributed Computing)
A Distributed Pi-Calculus
Programming Erlang: Software for a Concurrent World
Programming Erlang: Software for a Concurrent World
Bluetooth Essentials for Programmers
Bluetooth Essentials for Programmers
From "formal methods" to system modeling
Formal methods and hybrid real-time systems
| Hi-index | 0.00 |
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.