650 search results - page 97 / 130 » Modeling SPARK systems with UML |
MODELS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
122
click to vote
IDEAS
2003
IEEE
15 years 5 months ago
2003
IEEE
In the context of information system engineering, we propose a four-layer metamodeling architecture with a comprehensive set of operations on metamodels. Our architecture enables ...
123
click to vote
UML
2005
Springer
15 years 5 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
108
click to vote
IPPS
2003
IEEE
15 years 5 months ago
2003
IEEE
An object oriented description and framework of the Multiple ASsociative Computing (MASC) model of parallel computation is presented. This description identifies MASC objects and ...
JUCS
2002
14 years 11 months ago
2002
: Different models and methodologies for the development of hypermedia systems and applications have emerged in the recent years. Software-technical methods and principles enriched...