Optimal orientations of cells in slicing floorplan designs
Information and Control
Software—Practice & Experience
Statecharts: A visual formalism for complex systems
Science of Computer Programming
DAG—a program that draws directed graphs
Software—Practice & Experience
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Combinatorial algorithms for integrated circuit layout
Combinatorial algorithms for integrated circuit layout
Algorithms for drawing graphs: an annotated bibliography
Computational Geometry: Theory and Applications
The Unified Modeling Language user guide
The Unified Modeling Language user guide
The unified software development process
The unified software development process
An algorithm for blob hierarchy layout
AVI '00 Proceedings of the working conference on Advanced visual interfaces
Graph Drawing: Algorithms for the Visualization of Graphs
Graph Drawing: Algorithms for the Visualization of Graphs
Modeling Reactive Systems with Statecharts: The Statemate Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
A Technique for Drawing Directed Graphs
IEEE Transactions on Software Engineering
Straight-Line Drawing Algorithms for Hierarchical Graphs and Clustered Graphs
GD '96 Proceedings of the Symposium on Graph Drawing
On the Edge Label Placement Problem
GD '96 Proceedings of the Symposium on Graph Drawing
Which Aesthetic has the Greatest Effect on Human Understanding?
GD '97 Proceedings of the 5th International Symposium on Graph Drawing
Drawing Clustered Graphs on an Orthogonal Grid
GD '97 Proceedings of the 5th International Symposium on Graph Drawing
An Algorithm for Labeling Edges of Hierarchical Drawings
GD '97 Proceedings of the 5th International Symposium on Graph Drawing
GD '97 Proceedings of the 5th International Symposium on Graph Drawing
From informal specification to formalization: an automated visualization approach
From informal specification to formalization: an automated visualization approach
Software Engineering - Introduction
Revised Lectures on Software Visualization, International Seminar
Visualizing graphical and textual formalisms
Information Systems
A page-transition framework for image-oriented Web programming
ACM SIGSOFT Software Engineering Notes
Visualization aided performance tuning of irregular task-parallel computations
Information Visualization
Visual pivot-table components for web application development
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
Visual design and programming for Web applications
Journal of Visual Languages and Computing
Automatic generation of web applications from visual high-level functional web components
Advances in Software Engineering
Hi-index | 0.00 |
ViSta is a tool suite designed to support the requirements specification phase of reactive systems. It enables the user to prepare and analyze a diagrammatic description of requirements using the statechart notation. ViSta includes a template wizard, a graphical editor and a statechart visualization tool. The template wizard guides the user through the steps necessary for the extraction of relevant information from a textual description of requirements. This information is stored in a database that is used by the statechart visualization tool to automatically generate statechart layouts. The statechart visualization tool offers a framework that combines hierarchical drawing, labeling, and floorplanning techniques. Hence, the automatically produced drawings enjoy several important aesthetic properties: they emphasize the natural hierarchical decomposition of states into substates; they have a low number of edge crossings; they have a good aspect ratio, and require a small area. These aesthetic features are invaluable since they allow the user to shift focus from organizing the mental or physical structure of the requirements document to its analysis.