A formal approach to model refactoring and model refinement

ISSN： 1619-1366

Source： Software and Systems Modeling (SoSyM), Vol.6, Iss.2, 2007-06, pp. : 139-162

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

On the reuse and recommendation of model refactoring specifications

By Reimann Jan Seifert Mirko Aßmann Uwe

Software and Systems Modeling (SoSyM), Vol. 12, Iss. 3, 2013-07 ,pp. : 579-596

Springer Publishing Company

Access to resources Recommend Favorite

Embedded System Design Using Formal Model Refinement: An Approach Based on the Combined Use of UML and the B Language

By Voros Nikolaos Snook Colin Hallerstede Stefan Masselos Konstantinos

Design Automation for Embedded Systems, Vol. 9, Iss. 2, 2004-06 ,pp. : 67-99

Springer Publishing Company

Access to resources Recommend Favorite

A formal approach to model and verify the behaviour of publish/subscribe architectural style

By Kacem Hatem Hadj

International Journal of Information Technology, Communications and Convergence, Vol. 2, Iss. 3, 2012-11 ,pp. : 234-252

Inderscience Publishers

Access to resources Recommend Favorite

Multimodal Approach for Emotion Recognition Using a Formal Computational Model

International Journal of Applied Evolutionary Computation (IJAEC), Vol. 4, Iss. 3, 2013-07 ,pp. : 11-25

IGI Global_journal

Access to resources Recommend Favorite

Maintaining knowledge with a formal model

By Debenham John

Applied Intelligence, Vol. 24, Iss. 3, 2006-06 ,pp. : 205-218

Springer Publishing Company

Access to resources Recommend Favorite