518 search results - page 64 / 104 » Tool Presentation: Teaching Concurrency and Model Checking |
FAC
2008
13 years 7 months ago
2008
This paper describes the Mondex case study with UML class diagrams and restricting OCL constraints. The constraints have been formulated either as OCL class invariants or as OCL pr...
HASE
2007
IEEE
13 years 11 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
LCTRTS
2004
Springer
14 years 29 days ago
2004
Springer
Java Card technology simplifies the development of smart card applications by providing a high-level programming language similar to Java. However, the master-slave programming m...
WSC
2004
13 years 9 months ago
2004
This paper presents VITASCOPE, a general-purpose, userextensible 3D visualization system for animating processes that are modeled using Discrete-Event Simulation tools. VITASCOPE ...
SAC
2008
ACM
13 years 7 months ago
2008
ACM
This work presents an approach for realizing Model-Driven software engineering in the distributed and multi-developers context. It particularly focuses on the scalability problems...