650 search results - page 16 / 130 » Modeling SPARK systems with UML |
128
click to vote
GI
2004
Springer
15 years 9 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...
135
click to vote
ENTCS
2008
15 years 4 months ago
2008
In a UML model, different aspects of a system are covered by different types of diagrams and this bears the risk that an overall system specification becomes barely tractable by t...
120
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
In this article we provide an embedding of an interaction-based service notion into UML2. Such an embedding is needed, because to this date, UML2 has only limited support for servi...
127
click to vote
ACSC
2004
IEEE
15 years 7 months ago
2004
IEEE
The Unified Modeling Language (UML) is widely used in the software development process for specification of system based on the object-oriented paradigm. Thought the current versi...
139
click to vote
ER
2007
Springer
15 years 5 months ago
2007
Springer
The health sector uses clinical guidelines as instruments for helping decision making. We are interested in the development of a ubiquitous decision support system (UDSS) for clini...