1213 search results - page 94 / 243 » Refactoring UML Models |
110
Voted
UML
2005
Springer
15 years 8 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 ...
105
Voted
UML
2005
Springer
15 years 8 months ago
2005
Springer
We present Tefkat, an implementation of a language designed speci cally for the transformation of MOF models using patterns and rules. The language adopts a declarative paradigm, w...
106
click to vote
UML
2005
Springer
15 years 8 months ago
2005
Springer
Today, model-driven development is getting more sophisticated and can be used for modeling enterprises and developing application systems. Since current interoperability solutions ...
107
Voted
UML
2005
Springer
15 years 8 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...
122
click to vote
DATE
2004
IEEE
15 years 6 months ago
2004
IEEE
This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML sta...