650 search results - page 39 / 130 » Modeling SPARK systems with UML |
CAISE
2005
Springer
15 years 5 months ago
2005
Springer
In this paper we are trying to clarify, with the aid of some semiotic notions, the confusions that lie around the widely used terms “analysis model” and “design model” in s...
RCC
2000
14 years 11 months ago
2000
The Unified Modeling Language (UML) is a semi-formal graphical language that has been accepted as standard to model object-oriented software systems. This language REVISTA COLOMBI...
VL
2003
IEEE
15 years 5 months ago
2003
IEEE
We present a tool for component system design in the UML. The tool supports an internal process model for graphical specifications. The model is used to guarantee consistency of ...
GLOBAL
2003
Springer
15 years 5 months ago
2003
Springer
Global systems – systems which may operate over transient networks including mobile elements and in which computation itself may be mobile – are gaining in importance. Neverthe...
ASWEC
2005
IEEE
15 years 5 months ago
2005
IEEE
The success of UML and more generally, of the model driven approach, has led to a proliferation of models, representing various systems, but the description of large applications ...