UML
2005
Springer
14 years 6 months ago
2005
Springer
Abstract. Security engineering deals with modeling, analysis, and implementation of complex security mechanisms. The dynamic nature of such mechanisms makes it difficult to anticip...
UML
2005
Springer
14 years 6 months ago
2005
Springer
This paper presents ATL (ATLAS Transformation Language): a hybrid model transformation language that allows both declarative and imperative constructs to be used in transformation ...
UML
2005
Springer
14 years 6 months ago
2005
Springer
Aspect oriented design (AOD) research is fragmented. Barriers to AOD adoption are, in part, due to the fragmented nature of AOD research. Individually, many approaches provide ele...
UML
2005
Springer
14 years 6 months ago
2005
Springer
UML
2005
Springer
14 years 6 months ago
2005
Springer
In this paper we present a framework for the evaluation and (re)design of modeling languages. We focus here on the evaluation of the suitability of a language to model a set or rea...
UML
2005
Springer
14 years 6 months ago
2005
Springer
In Model Integrated Computing, it is often desirable to evaluate different design alternatives as they relate to issues of scalability. A typical approach to address scalability is...
UML
2005
Springer
14 years 6 months ago
2005
Springer
The MoDELS Doctoral Symposium brought together nine doctoral students and five mentors to spend a day discussing student research presentations. A truly international representatio...
UML
2005
Springer
14 years 6 months ago
2005
Springer
: This paper presents an overview of the workshop MARTES on Modeling and Analysis of Real-time and Embedded Systems that has taken place for the first time in association with the ...
UML
2005
Springer
14 years 6 months ago
2005
Springer
Abstract. With the advent of Model Driven Architecture, OCL constraints are no longer necessarily written by humans. They can be part of models that emerge from a chain of transfor...
UML
2005
Springer
14 years 6 months ago
2005
Springer
Abstract. Use Cases are widely used for specifying systems, but their semantics are unclear in ways that make it difficult to apply use cases to complex problems. In this paper, we...