FASE
2001
Springer
14 years 3 months ago
2001
Springer
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
KBSE
2003
IEEE
14 years 4 months ago
2003
IEEE
We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and...
ICECCS
2005
IEEE
14 years 4 months ago
2005
IEEE
For Model Driven Development approaches to succeed, there is a need for model validation techniques. This paper presents an approach to testing designs described by UML class diag...
APSEC
2007
IEEE
14 years 5 months ago
2007
IEEE
Executable UML allows precisely describing the softtem at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation. The exe...