A comparison of Statecharts step semantics

Author： Maggiolo-Schettini A.   Peron A.   Tini S.  

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.290, Iss.1, 2003-01, pp. : 465-498

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

A method for describing the syntax and semantics of UML statecharts

By Jin Yan   Esser Robert   Janneck Jörn W.  

Software and Systems Modeling (SoSyM), Vol. 3, Iss. 2, 2004-05 ,pp. : 150-163

Springer Publishing Company

Access to resources Recommend Favorite

Explicit modeling of semantics associated with composite states in UML statecharts

By Hu Zhaoxia  

Automated Software Engineering, Vol. 13, Iss. 4, 2006-10 ,pp. : 423-467

Springer Publishing Company

Access to resources Recommend Favorite

A compositional -calculus proof system for statecharts processes

By Levi F.  

Theoretical Computer Science, Vol. 216, Iss. 1, 1999-03 ,pp. : 271-310

Elsevier

Access to resources Recommend Favorite

Extended Statecharts for and specification of manufacturing control software systems the modelling

By Suraj A.   Ramaswamy S.   Barber K. S.  

International Journal of Computer Integrated Manufacturing, Vol. 10, Iss. 1-4, 1997-01 ,pp. : 160-171

Taylor & Francis Ltd

Access to resources Recommend Favorite

Detecting safety‐related components in statecharts through traceability and model slicing

By  

SOFTWARE:PRACTICE AND EXPERIENCE, Vol. 48, Iss. 3, 2018-03 ,pp. : 428-448

John Wiley & Sons Inc

Access to resources Recommend Favorite