Personal computers for education
Personal computers for education
Extending State Transition Diagrams for the Specification of Human-Computer Interaction
IEEE Transactions on Software Engineering - Annals of discrete mathematics, 24
A survey of three dialogue models
ACM Transactions on Graphics (TOG)
Structure and interpretation of computer programs
Structure and interpretation of computer programs
Markup systems and the future of scholarly text processing
Communications of the ACM
Statecharts: A visual formalism for complex systems
Science of Computer Programming
A cookbook for using the model-view controller user interface paradigm in Smalltalk-80
Journal of Object-Oriented Programming
The Z notation: a reference manual
The Z notation: a reference manual
Abstract Data Views: An Interface Specification Concept to Enhance Design for Reuse
IEEE Transactions on Software Engineering
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
World Wide Web Journal - Special issue on XML: principles, tools, and techniques
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Modeling Web application architectures with UML
Communications of the ACM
Web Modeling Language (WebML): a modeling language for designing Web sites
Proceedings of the 9th international World Wide Web conference on Computer networks : the international journal of computer and telecommunications netowrking
Domain-specific languages: an annotated bibliography
ACM SIGPLAN Notices
Using formal specifications in the design of a human-computer interface
Communications of the ACM
Transition network grammars for natural language analysis
Communications of the ACM
Constructing the User Interface with Statecharts
Constructing the User Interface with Statecharts
Towards Formal Specification of Client-Server Interactions for a Wide Range of Internet Applications
WI '01 Proceedings of the First Asia-Pacific Conference on Web Intelligence: Research and Development
ACM '69 Proceedings of the 1969 24th national conference
Towards a New Method for the Development of Web-Based Applications
ICCI '04 Proceedings of the Third IEEE International Conference on Cognitive Informatics
Learning Design: A Handbook on Modelling and Delivering Networked Education and Training
Learning Design: A Handbook on Modelling and Delivering Networked Education and Training
Model-Driven Software Development
Model-Driven Software Development
When and how to develop domain-specific languages
ACM Computing Surveys (CSUR)
A system for specification and verification of interactive, data-driven web applications
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
Compilers: Principles, Techniques, and Tools (2nd Edition)
Compilers: Principles, Techniques, and Tools (2nd Edition)
Formal Aspects of Computing
A Document-Oriented Paradigm for the Construction of Content-Intensive Applications
The Computer Journal
Software—Practice & Experience
A documental approach to adventure game development
Science of Computer Programming
Patterns, designs and activities: unifying descriptions of learning structures
International Journal of Learning Technology
Formal Semantics of Programming Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling form-based interfaces with bipartite state machines
Interacting with Computers
Towards a common metamodel for the development of web applications
ICWE'03 Proceedings of the 2003 international conference on Web engineering
Improving the web presentation layer architecture
APWeb'03 Proceedings of the 5th Asia-Pacific web conference on Web technologies and applications
: a reusable assessment engine
ICWL'06 Proceedings of the 5th international conference on Advances in Web Based Learning
Some guidelines for formal development of web-based applications in b-method
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Language-driven development of web-based learning applications
ICWL'07 Proceedings of the 6th international conference on Advances in web based learning
Language engineering techniques for the development of e-learning applications
Journal of Network and Computer Applications
| Hi-index | 0.00 |
In this paper we propose a language-driven approach for the high-level design of interactive applications architected according to the model-view-controller pattern. The approach is especially well-suited for applications that incorporate contents with sophisticated structures, and whose interactive behavior is driven by these structures. In our approach we characterize the structure of the contents stored in the applications' models with suitable domain-specific languages. Then we characterize the interactive behavior of these applications by assigning suitable operational semantics to these languages. The resulting designs are amenable to support rapid prototyping, exploration and early discovery of application features, systematic implementation using standard web-based technologies, and rational collaboration processes between domain experts and developers during production and maintenance. We exemplify the approach in the e-learning domain with a system for the production of Socratic tutors.