Exploiting practical limitations of UML diagrams for model validation and execution

Author： Steimann Friedrich   Vollmer Heribert  

Publisher： Springer Publishing Company

ISSN： 1619-1366

Source： Software and Systems Modeling (SoSyM), Vol.5, Iss.1, 2006-04, pp. : 26-47

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Related content

Efficient test case generation for validation of UML activity diagrams

By Chen Mingsong  

Design Automation for Embedded Systems, Vol. 14, Iss. 2, 2010-06 ,pp. : 105-130

Springer Publishing Company

Access to resources Recommend Favorite

Composition inference for UML class diagrams

By Milanova Ana  

Automated Software Engineering, Vol. 14, Iss. 2, 2007-06 ,pp. : 179-213

Springer Publishing Company

Access to resources Recommend Favorite

Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking

By Gnesi S.   Latella D.   Massink M.  

Journal of Logic and Algebraic Programming, Vol. 51, Iss. 1, 2002-04 ,pp. : 43-75

Elsevier

Access to resources Recommend Favorite

Dealing with practical limitations of distributed timed model checking for timed automata

By Braberman V.   Olivero A.   Schapachnik F.  

Formal Methods in System Design, Vol. 29, Iss. 2, 2006-09 ,pp. : 197-214

Springer Publishing Company

Access to resources Recommend Favorite

OCL-Based Automated Validation Method for UML Specifications

By Ol'khovich L.   Koznov D. V.  

Programming and Computer Software, Vol. 29, Iss. 6, 2003-11 ,pp. : 323-327

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite