Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
In this paper we present a modeling approach for building physical hypermedia (PH) applications, i.e. those applications in which real and digital objects are navigated using the ...
Silvia E. Gordillo, Gustavo Rossi, Fernando Lyarde...
The paper present a layered design for a discrete event simulation framework based on the Java programming language. A description of this project’s goals and motivation is foll...
Wolfgang Kreutzer, Jane Hopkins, Marcel van Mierlo
In object oriented programming, it is sometimes necessary to copy objects and to compare them for equality or inequality. We discuss some of the issues involved in copying and comp...
Abstract. Despite the recent interest for Model Driven Engineering approaches, the so-called four-layers metamodelling architecture is subject to a lot of debate. The relationship ...