Sciweavers

2473 search results - page 27 / 495
» Systems, Views and Models of UML
Sort
View
ER
2009
Springer
119views Database» more  ER 2009»
15 years 6 months ago
Assessing Modal Aspects of OntoUML Conceptual Models in Alloy
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 ...
Alessander Botti Benevides, Giancarlo Guizzardi, B...
ASWEC
2005
IEEE
15 years 5 months ago
A UML Approach to the Generation of Test Sequences for Java-Based Concurrent Systems
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...
Soon-Kyeong Kim, Luke Wildman, Roger Duke
UML
1999
Springer
15 years 4 months ago
Closing the Gap Between Object-Oriented Modeling of Structure and Behavior
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 ...
Holger Giese, Jörg Graf, Guido Wirtz
APN
2006
Springer
15 years 3 months ago
ArgoSPE: Model-Based Software Performance Engineering
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...
Elena Gómez-Martínez, José Me...
ICFEM
2005
Springer
15 years 5 months ago
29 New Unclarities in the Semantics of UML 2.0 State Machines
Abstract. UML 2.0, which is the standard modeling language for objectoriented systems, has only an informally given semantics. This is in particular the case for UML 2.0 state mach...
Harald Fecher, Jens Schönborn, Marcel Kyas, W...