Sciweavers

4 search results - page 1 / 1
» Formal definition of measures for UML statechart diagrams us...
Sort
View
SAC
2008
ACM
13 years 7 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»
13 years 2 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
14 years 1 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 11 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