1895 search results - page 7 / 379 » Using ATL for Checking Models |
GI
2008
Springer
13 years 8 months ago
2008
Springer
: Search technology can be applied to many applications and is in the heart of always growing information society. A promising new development is the use of ontologies to enable se...
ATAL
2005
Springer
14 years 27 days ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
ICWE
2007
Springer
14 years 1 months ago
2007
Springer
Model-driven engineering (MDE) techniques address rapid changes anguages and platforms by lifting the abstraction level from code to models. On the one hand models are transformed ...
JOT
2010
13 years 2 months ago
2010
Model composition is a crucial activity in Model Driven Engineering (MDE). It is particularly useful when adopting a multi-modeling approach to analyze and design software systems...
LICS
2005
IEEE
14 years 28 days ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...