131 search results - page 5 / 27 » Model-Driven Design, Refinement and Transformation of Abstra... |
DAC
2002
ACM
14 years 8 months ago
2002
ACM
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...
MICAI
2005
Springer
14 years 26 days ago
2005
Springer
In Multi-agent based simulation (MABS) systems, computational models are built as multi-agent systems (MAS). Replication of these models can contribute to improve the reliability o...
JUCS
2010
13 years 2 months ago
2010
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
SACMAT
2006
ACM
14 years 1 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
GPCE
2003
Springer
14 years 18 days ago
2003
Springer
A primary goal of generative programming and model-driven ent is to raise the level of abstraction at which designers and developers interact with the software systems they are bui...