iState: A statechart translator

DOI10.1007/3-540-45441-1_28MaRDI QIDQ4435880zbMATH OpenFDO

Authors Emil Sekerinski, Rafik Zurob

Publication date 20 November 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2185/21850376.htm

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 2086949
• Statecharts, transition structures and transformations
• Statecharts: a visual formalism for complex systems
• scientific article; zbMATH DE number 522848
• scientific article; zbMATH DE number 5997232

Cited in

(5)

• scientific article; zbMATH DE number 2084317 (Why is no real title available?)
• scientific article; zbMATH DE number 522848 (Why is no real title available?)
• From a B specification to UML statechart diagrams
• scientific article; zbMATH DE number 2086949 (Why is no real title available?)
• Typestates to automata and back: a tool

This page was built for publication: iState: A statechart translator

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4435880)