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

• Translating statecharts to B
• 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)

• ViSta
• scientific article; zbMATH DE number 522848 (Why is no real title available?)
• From a B specification to UML statechart diagrams
• Translating statecharts to B
• 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)