650 search results - page 58 / 130 » Modeling SPARK systems with UML |
125
click to vote
WSC
2000
15 years 5 months ago
2000
One of the approaches to modeling hybrid systems is to assign algebraic-differential equations describing the continuous behavior to states of state machines that represent discre...
169
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable ...
175
click to vote
AIED
2007
Springer
15 years 8 months ago
2007
Springer
COLLECT-UML is a collaborative constraint-based tutor for teaching object-oriented analysis and design using Unified Modelling Language. It is the first system in the family of con...
137
click to vote
ECOOP
2000
Springer
15 years 8 months ago
2000
Springer
The Unified Modeling Language (UML) currently proposes a mechanism to model recurrent design structures: the parameterized collaborations. The main goal of this mechanism is to mo...
127
click to vote
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
Nowadays, many distributed applications take advantage of the transparent distributed object systems provided by CORBA middlewares. While greatly reduce the design and coding effo...