1669 search results - page 7 / 334 » Modeling ODP Computational Specifications Using UML |
IFM
2010
Springer
14 years 7 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
88
Voted
JOT
2008
14 years 9 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
GI
2004
Springer
15 years 2 months ago
2004
Springer
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...
IWSSD
2000
IEEE
15 years 1 months ago
2000
IEEE
In recent years, UML has become a standard language for modeling software requirements and design. In this paper we investigate the suitability of UML as a semiformal requirements...
ECEASST
2008
14 years 9 months ago
2008
Executable UML allows precisely describing the software system at level of abstraction. The executable models can be translated to a less programming language completely or execute...