An Approach to UML Consistency Checking Based on Compositional Semantics

E-ISSN： 1947-3184|8|2|1-23

ISSN： 1947-3176

Source： International Journal of Embedded and Real-Time Communication Systems (IJERTCS), Vol.8, Iss.2, 2017-07, pp. : 1-23

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

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

Completeness and Consistency Checking of System Requirements: An Expert Agent Approach

By Sinha A.P. Popken D.

Expert Systems with Applications, Vol. 11, Iss. 3, 1996-01 ,pp. : 263-276

Elsevier

Access to resources Recommend Favorite

Compositional software verification based on game semantics and process algebra

By Dimovski Aleksandar Lazić Ranko

International Journal on Software Tools for Technology Transfer, Vol. 9, Iss. 1, 2007-02 ,pp. : 37-51

Springer Publishing Company

Access to resources Recommend Favorite

A Checking Service Composition Approach based on Model Transformation

International Journal of Embedded and Real-Time Communication Systems (IJERTCS), Vol. 7, Iss. 1, 2016-01 ,pp. : 30-47

IGI Global_journal

Access to resources Recommend Favorite

Attitude Sensing in Text Based on A Compositional Linguistic Approach

COMPUTATIONAL INTELLIGENCE, Vol. 31, Iss. 2, 2015-05 ,pp. : 256-300

John Wiley & Sons Inc

Access to resources Recommend Favorite