650 search results - page 78 / 130 » Modeling SPARK systems with UML |
111
click to vote
GG
2008
Springer
15 years 27 days ago
2008
Springer
The model-driven development of model transformations requires both a technique to model model transformations as well as a means to transform transformation models. Therefore, t...
EEE
2005
IEEE
15 years 5 months ago
2005
IEEE
Traceability analysis is crucial to the development of web-centric systems, particularly those with frequent system changes, fine-grained evolution and maintenance, and high level...
106
click to vote
EATIS
2007
ACM
15 years 3 months ago
2007
ACM
In our work we have proposed an agent-based model e-commerce system. In this system buyer agents negotiate prices with seller agents. Thus far our attention was devoted "one ...
MATES
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In this paper, an integrated approach for the modeling and the validation through simulation of multi-agent systems is proposed. The approach centers on the instantiation...
ECBS
2006
IEEE
15 years 3 months ago
2006
IEEE
We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm reli...