650 search results - page 17 / 130 » Modeling SPARK systems with UML |
142
click to vote
ITNG
2008
IEEE
15 years 10 months ago
2008
IEEE
Achieving a quality software system requires UML designers a good understanding of both design patterns and antipatterns. Unfortunately, UML models for real systems tend to be huge...
111
click to vote
ER
2009
Springer
15 years 10 months ago
2009
Springer
Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information ...
156
click to vote
ASWEC
2005
IEEE
15 years 9 months ago
2005
IEEE
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...
157
click to vote
UML
1999
Springer
15 years 8 months ago
1999
Springer
The UML as standardized language for visual object-oriented modeling allows to capture the requirements as well as the structure and behavior of complex software systems. With the ...
165
click to vote
APN
2006
Springer
15 years 7 months ago
2006
Springer
Stochastic Petri nets (SPNs) have been proved useful for the quantitative analysis of systems. This paper introduces ArgoSPE, a tool for the performance evaluation of software syst...