Personal computers for education
Personal computers for education
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
A cookbook for using the model-view controller user interface paradigm in Smalltalk-80
Journal of Object-Oriented Programming
Handbook of theoretical computer science (vol. B)
Essentials of programming languages
Essentials of programming languages
Symbolic model checking: 1020 states and beyond
Information and Computation - Special issue: Selections from 1990 IEEE symposium on logic in computer science
Attribute grammar paradigms—a high-level methodology in language implementation
ACM Computing Surveys (CSUR)
Programming languages (2nd ed.): concepts and constructs
Programming languages (2nd ed.): concepts and constructs
A survey of visual language specification and recognition
Visual language theory
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Domain-specific languages: an annotated bibliography
ACM SIGPLAN Notices
Education and Information Technologies
Workflow Management: Models, Methods, and Systems
Workflow Management: Models, Methods, and Systems
Toward an engineering discipline for grammarware
ACM Transactions on Software Engineering and Methodology (TOSEM)
Taxonomy of XML schema languages using formal language theory
ACM Transactions on Internet Technology (TOIT)
When and how to develop domain-specific languages
ACM Computing Surveys (CSUR)
A Descriptive Markup Approach to Facilitate the Production of e-Learning Contents
ICALT '06 Proceedings of the Sixth IEEE International Conference on Advanced Learning Technologies
ICALT '06 Proceedings of the Sixth IEEE International Conference on Advanced Learning Technologies
Compilers: Principles, Techniques, and Tools (2nd Edition)
Compilers: Principles, Techniques, and Tools (2nd Edition)
A Document-Oriented Paradigm for the Construction of Content-Intensive Applications
The Computer Journal
EMF: Eclipse Modeling Framework 2.0
EMF: Eclipse Modeling Framework 2.0
The Definitive ANTLR Reference: Building Domain-Specific Languages
The Definitive ANTLR Reference: Building Domain-Specific Languages
Software—Practice & Experience
A documental approach to adventure game development
Science of Computer Programming
A language-driven approach for the design of interactive applications
Interacting with Computers
From Documents to Applications Using Markup Languages
IEEE Software
Authoring game-based adaptive units of learning with IMS Learning Design and
International Journal of Learning Technology
Enhancing Reusability of IMS LD Units of Learning: The e-LD Approach
ICALT '08 Proceedings of the 2008 Eighth IEEE International Conference on Advanced Learning Technologies
Curriculum Model Checking: Declarative Representation and Verification of Properties
EC-TEL '07 Proceedings of the 2nd European conference on Technology Enhanced Learning: Creating New Learning Experiences on a Global Scale
Building a Syntax Directed Processing Environment for XML Documents by Combining SAX and JavaCC
DEXA '08 Proceedings of the 2008 19th International Conference on Database and Expert Systems Application
Original papers: Model-checking for adventure videogames
Information and Software Technology
Managing Contradictions in Multi-Agent Systems
IEICE - Transactions on Information and Systems
Translating e-learning Flow-Oriented Activity Sequencing Descriptions into Rule-Based Designs
ITNG '09 Proceedings of the 2009 Sixth International Conference on Information Technology: New Generations
Formal Semantics of Programming Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Language-driven development of web-based learning applications
ICWL'07 Proceedings of the 6th international conference on Advances in web based learning
Reasoning-based curriculum sequencing and validation: integration in a service-oriented architecture
EC-TEL'07 Proceedings of the Second European conference on Technology Enhanced Learning: creating new learning experiences on a global scale
Language-Driven, Technology-Enhanced Instructional Systems Design
EC-TEL '09 Proceedings of the 4th European Conference on Technology Enhanced Learning: Learning in the Synergy of Multiple Disciplines
Hi-index | 0.00 |
In this paper we propose the use of language engineering techniques to improve and systematize the development of e-learning applications. E-learning specifications usually rely on domain-specific languages that describe different aspects of such final e-learning applications. This fact makes it natural to adopt well-established language engineering principles during the construction of these applications. These principles promote the specification of the structure and the runtime behavior of the domain-specific languages as the central part of the development process. This specification can be used to drive different activities: rapid prototyping, provision of authoring notations and tools, automatic model checking of properties, importation/exportation from/to standards, and deployment of running applications. This language engineering concept also promotes active collaboration between instructors (the users of the languages) and developers (the designers and implementers) throughout the development process. In this paper we describe this language-driven approach to the construction of e-learning applications and we illustrate all its aspects using a learning flow sequencing language as a case study.