650 search results - page 51 / 130 » Modeling SPARK systems with UML |
110
click to vote
ECMDAFA
2008
Springer
15 years 1 months ago
2008
Springer
Model transformations support a model-driven design by providing an c translation of abstract models into more concrete ones, and eventually program code. Crucial to a successful a...
127
click to vote
SCP
2002
14 years 11 months ago
2002
The agent paradigm can be seen as an extension of the notion of (active) objects by concepts like autonomy and cooperation. Mainstream object-oriented modeling techniques do not a...
ICST
2009
IEEE
15 years 6 months ago
2009
IEEE
We propose a novel testing approach that combines information from UML sequence models and state machine models. Current approaches that rely solely on sequence models do not cons...
111
click to vote
INFSOF
2007
14 years 11 months ago
2007
: Correct functioning of object-oriented software depends upon the successful integration of classes. While individual classes may function correctly, several new faults can arise ...
141
click to vote
ER
2003
Springer
15 years 5 months ago
2003
Springer
Data warehouses (DWs) are complex computer systems whose main goal is to facilitate the decision making process of knowledge workers. ETL (Extraction-Transformation-Loading) proces...