Sciweavers

3294 search results - page 300 / 659
» Taxonomy of Process Modeling Languages
Sort
View
FMCO
2003
Springer
188views Formal Methods» more  FMCO 2003»
15 years 9 months ago
Consistency Management Within Model-Based Object-Oriented Development of Components
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...
Jochen Malte Küster, Gregor Engels
MODELS
2007
Springer
15 years 10 months ago
UML2Alloy: A Challenging Model Transformation
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, ...
MODELS
2007
Springer
15 years 10 months ago
11th International Workshop on Aspect-Oriented Modeling
This report summarizes the results and discussions from the 11th Workshop on Aspect-Oriented Modeling (AOM). The workshop was held in conjunction with the International Conference ...
Jörg Kienzle, Jeff Gray, Dominik Stein, Walte...
UML
2004
Springer
15 years 9 months ago
Query Models
The need for querying software artifacts is a new emerging design issue in modern software development. Novel techniques such as Model-Driven Architecture or Aspect-Oriented Softwa...
Dominik Stein, Stefan Hanenberg, Rainer Unland
FDL
2004
IEEE
15 years 8 months ago
Error Estimation in Model-Driven Development for Real-Time Software
Model-driven approaches proved themselves not suited yet to support real-time software development. Even if they have the ability of capturing adequately both functional and non-f...
Oana Florescu, Jeroen Voeten, Jinfeng Huang, Henk ...