This paper describes an action semantics for UML based on the Meta-Modelling Language (MML) - a precise meta-modelling language designed for developing families of UML languages. A...
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
: Educational standards alignment, which matches similar or equivalent concepts of educational standards, is a necessary task for educational resource retrieval. In order to automa...
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...
Up to date, there is no standardized notation scheme for modeling SCORM-conformant contents. It is a time-consuming process to build up a new and widely-acceptable notation scheme...