ECBS
2011
IEEE
13 years 15 days ago
2011
IEEE
—Model-based development techniques enable a high efficiency and the mastering of complexity. For many domains more than one model has to be used to express the relevant informat...
SOSYM
2010
13 years 11 months ago
2010
Abstract The Unified Modeling Language (UML) is the de facto language used in the industry for software specifications. Once an application has been specified, Model Driven Arch...
JUCS
2002
14 years 12 days ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
JUCS
2000
14 years 15 days ago
2000
: E-LOTOS, a new version of the ISO standard specification language LOTOS, is currently being developed. We describe how it can be used to give a formal meaning to, and to discover...
JOT
2006
14 years 21 days ago
2006
The paper introduces modeling spaces in order to help software practitioner to understand modeling. Usually software engineers often think of a specific kind of models
ENTCS
2006
14 years 22 days ago
2006
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...
PTS
2003
14 years 2 months ago
2003
UML models focus primarily on the definition of system structure and behaviour, but provide only limited means for describing test objectives and test procedures. However, with the...
ISIM
2007
14 years 2 months ago
2007
Software architecture, and its behavior can be expressed as UML models. Models of complex systems can be also complex and hard to read – they may consists of hundreds of artifact...
ECMDAFA
2006
Springer
14 years 2 months ago
2006
Springer
In this paper we present a methodology supporting the definition of data models on basis of a limited set of well-known UML features, thereby allowing these models to be created an...
ITNG
2010
IEEE
14 years 2 months ago
2010
IEEE
This paper describes the application of an MDA development approach to the Project of Amazon Integration and Cooperation for Modernization of Hydrological Monitoring. This project...