Evolving algebras 1993: Lipari guide
Specification and validation methods
Designing Web Usability: The Practice of Simplicity
Designing Web Usability: The Practice of Simplicity
User Modeling and User-Adapted Interaction
Contextualization as an Abstraction Mechanism for Conceptual Modelling
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
SiteLang: Conceptual Modeling of Internet Sites
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
ICALT '01 Proceedings of the IEEE International Conference on Advanced Learning Technologies
Modeling information services on the basis of ASM semantics
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Towards a theory of genericity based on government and binding
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Hi-index | 0.01 |
Current e-learning systems do not offer content customized for sophisticated learner characteristics. Different learner types are supported only by means of varying presentation styles. Methods for specifying learner-centered learning process are missing. For providing the right learning content in a proper context, in the right dosis and in the right moment, an e-learning system must follow the changes of learner's cognitive structures. This work presents SiteLang::Edu, a formal approach to specifying the learning process according to Piaget's constructivistic theory. The approach allows to specify the learning process for learners with different learning styles. SiteLang::Edu specifications can be validated thanks to the operational semantics.