Sciweavers

4 search results - page 1 / 1
» Formal definition of measures for UML statechart diagrams us...
Sort
View
SAC
2008
ACM
13 years 4 months ago
Formal definition of measures for UML statechart diagrams using OCL
Luis Reynoso, Juan Antonio Cruz-Lemus, Marcela Gen...
JUCS
2010
93views more  JUCS 2010»
12 years 11 months ago
Refinement and Extension of SMDM, a Method for Defining Valid Measures
: Although literature contains a huge amount of measures for measuring quality characteristics of software artifacts throughout the development life-cycle, the majority go no furth...
Luis Reynoso, Marcela Genero, Mario Piattini
EDOC
2005
IEEE
13 years 10 months ago
Semantics of UML 2.0 Activity Diagram for Business Modeling by Means of Virtual Machine
— The paper proposes a more formalized definition of UML 2.0 Activity Diagram semantics. A subset of activity diagram constructs relevant for business process modeling is conside...
Valdis Vitolins, Audris Kalnins
ISORC
2000
IEEE
13 years 8 months ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm