Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

6

SAC
2008
ACM

favoriteEmaildiscussreport

84views Applied Computing» more SAC 2008»

Formal definition of measures for UML statechart diagrams using OCL

13 years 4 months ago

Formal definition of measures for UML statechart diagrams using OCL

Download alarcos.inf-cr.uclm.es

Luis Reynoso, Juan Antonio Cruz-Lemus, Marcela Gen

Real-time Traffic

Applied Computing | SAC 2008 |

claim paper

Related Content

» Refinement and Extension of SMDM a Method for Defining Valid Measures

» Semantics of UML 20 Activity Diagram for Business Modeling by Means of Virtual Machine

» Verification of UMLBased RealTime System Designs by Means of cTLA

Post Info
More Details (n/a)

Added	28 Dec 2010
Updated	28 Dec 2010
Type	Journal
Year	2008
Where	SAC
Authors	Luis Reynoso, Juan Antonio Cruz-Lemus, Marcela Genero, Mario Piattini

Comments (0)