658 search results - page 2 / 132 » A formal approach to object-oriented software engineering |
FASE
2001
Springer
13 years 10 months ago
2001
Springer
UML
2005
Springer
13 years 11 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...
CSMR
2007
IEEE
13 years 7 months ago
2007
IEEE
ICFEM
2003
Springer
13 years 10 months ago
2003
Springer
FMCO
2003
Springer
13 years 10 months ago
2003
Springer
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...