OMEGA: correct development of real time and embedded systems
None
Read the full paper here: http://www.sosym.org/
Converting metamodels to graph grammars: doing without advanced graph grammar features
In this paper, we present a method to convert a metamodel in the form of a UML class diagram...
Incorporating message weights in UML-based analysis of behavioral dependencies in distributed systems
Behavioral dependency analysis (BDA) and the visualization of dependency information have been identified as a high priority in industrial...
Modeling robustness behavior using aspect-oriented modeling to support robustness testing of industrial systems
Model-based robustness testing requires precise and complete behavioral, robustness modeling. For example, state machines can be used to model...
The KeY tool: Integrating object oriented design and formal verification
KeY is a tool that provides facilities for formal specification and verification of programs within a commercial platform for...
VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML...
As UML 2.0 is evolving into a family of languages with individually specified semantics, there is an increasing need...
Pattern reification as the basis for description-driven systems
One of the main factors driving object-oriented software development for information systems is the requirement for systems to be...
Graph and model transformation tools for model migration: Empirical results from the transformation tool...
We describe the results of the Transformation Tool Contest 2010 workshop, in which nine graph and model transformation tools...
A model-driven method for describing and predicting the reliability of composite services
Service-oriented computing is the prominent paradigm for viewing business processes as composed of functions provided by modular and standardized...
A formal approach to model refactoring and model refinement
Model-driven engineering is an emerging software engineering approach that relies on model transformation. Typical kinds of model transformations are...
