Incremental design of statechart specifications

DOI10.1016/S0167-6423(00)00026-5MaRDI QIDQ5931383zbMATH OpenFDO

Authors Peter Scholz

Publication date 24 April 2001

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0167-6423(00)00026-5

zbMATH Keywords

Statecharts

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Statecharts: a visual formalism for complex systems
• Introduction to design choices in the semantics of Statecharts
• Design and reactive systems and their distributed implementation with Statecharts
• Horizontal and vertical structuring techniques for statecharts
• Diagram refinements for the design of reactive systems

Cited in

(3)

• scientific article; zbMATH DE number 1696497 (Why is no real title available?)
• scientific article; zbMATH DE number 3930354 (Why is no real title available?)
• Introduction to design choices in the semantics of Statecharts

This page was built for publication: Incremental design of statechart specifications

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