91 search results - page 2 / 19 » uml 2001 |
NETSEC
2001
13 years 6 months ago
2001
UML
2001
Springer
13 years 9 months ago
2001
Springer
: There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system p...
AOSE
2001
Springer
13 years 9 months ago
2001
Springer
In this paper, I will demonstrate how the Unified Modeling Language (UML) can be used to describe agent interaction protocols. The approach that is presented in this paper does no...
UML
2001
Springer
13 years 9 months ago
2001
Springer
Abstract: A mass market in reusable components demands a high level of component quality, testing being a crucial part of software quality assurance. For components modelled in UML...
UML
2001
Springer
13 years 9 months ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...