In the past decades, many formal frameworks (e.g. timed automata and temporal logics) and techniques (e.g. model checking and theorem proving) have been proposed to model a real-ti...
Jinfeng Huang, Marc Geilen, Jeroen Voeten, Henk Co...
Model Driven Architecture (MDA) is a software development approach that focuses on models. In order to support MDA, a lot of CASE tools have emerged; each of them provides a diffe...
In aspect-oriented model driven engineering (AOMDE), a software design model consists of a primary model that describes the business logic of the application and a set of aspect m...
This article describes the architecture of the "Museum of Pure Form", a virtual reality system where the user can interact, through the senses of touch and sight, with d...
Massimo Bergamasco, Antonio Frisoli, Federico Barb...
In this work we discuss a number of issues for the design of hypertext systems in an actor-based model of computation. We examine how the "traditional" basic concepts whi...