Differencing logical UML models

ISSN： 0928-8910

Source： Automated Software Engineering, Vol.14, Iss.2, 2007-06, pp. : 215-259

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

Abstract

Related content

Design and Verification of Logical Models

By Malyugin V. D.

Automation and Remote Control, Vol. 65, Iss. 6, 2004-06 ,pp. : 997-1006

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Automated UML models merging for web services testing

By Pretre Vincent Kermadec Adrien De Bouquet Fabrice Lang Christophe Dadeau Frederic

International Journal of Web and Grid Services, Vol. 5, Iss. 2, 2009-08 ,pp. : 107-129

Inderscience Publishers

Access to resources Recommend Favorite

Validating timed UML models by simulation and verification

By Ober Iulian Graf Susanne Ober Ileana

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 2, 2006-04 ,pp. : 128-145

Springer Publishing Company

Access to resources Recommend Favorite

From UML or DFD models to CIMOSA partial models and enterprise components

By Cuenca L.

International Journal of Computer Integrated Manufacturing, Vol. 19, Iss. 3, 2006-04 ,pp. : 248-263

Taylor & Francis Ltd

Access to resources Recommend Favorite

Models and temporal logical specifications for timed component connectors

By Arbab Farhad Baier Christel Boer Frank Rutten Jan

Software and Systems Modeling (SoSyM), Vol. 6, Iss. 1, 2007-03 ,pp. : 59-82

Springer Publishing Company

Access to resources Recommend Favorite