Automatic layout of statecharts

DOI10.1002/SPE.418MaRDI QIDQ2783199zbMATH OpenOpenAlexFDO

Authors Rodolfo Castello, Rym Mili, Ioannis G. Tollis

Publication date 2 June 2002

Published in Software. Practice \& Experience (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/spe.418

zbMATH Keywords

system specification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 2080093
• A Framework for the Static and Interactive Visualization of Statecharts
• scientific article; zbMATH DE number 2042670
• Statecharts: a visual formalism for complex systems
• Statecharts, transition structures and transformations

Cites work

• Algorithms for drawing graphs: An annotated bibliography
• scientific article; zbMATH DE number 2123123 (Why is no real title available?)
• scientific article; zbMATH DE number 49142 (Why is no real title available?)
• scientific article; zbMATH DE number 6472588 (Why is no real title available?)

Cited in

(6)

• scientific article; zbMATH DE number 2084317 (Why is no real title available?)
• scientific article; zbMATH DE number 3581614 (Why is no real title available?)
• A Framework for the Static and Interactive Visualization of Statecharts
• scientific article; zbMATH DE number 2042670 (Why is no real title available?)
• scientific article; zbMATH DE number 2080093 (Why is no real title available?)
• Horizontal and vertical structuring techniques for statecharts

This page was built for publication: Automatic layout of statecharts

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