92 search results - page 8 / 19 » uml 2000 |
IWSSD
2000
IEEE
15 years 4 months ago
2000
IEEE
In recent years, UML has become a standard language for modeling software requirements and design. In this paper we investigate the suitability of UML as a semiformal requirements...
WER
2000
Springer
15 years 3 months ago
2000
Springer
En este art
PDSE
2000
15 years 1 months ago
2000
In order to obtain efficiency, current practice in distributed software systems design often suffers from a lack of ion. An object-oriented design technique based on UML notations...
ROOM
2000
15 years 1 months ago
2000
In this paper we provide a systematic formal interpretation for most elements of the UML notation. This interpretation, in a structured temporal logic, enables precise analysis of...
106
click to vote
UML
2000
Springer
15 years 3 months ago
2000
Springer
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...