Parallel program design: a foundation
Parallel program design: a foundation
Communications of the ACM
Stepwise refinement of parallel algorithms
Science of Computer Programming
Mixed Programming Metaphors in a Shared Dataspace Model of Concurrency
IEEE Transactions on Software Engineering
Formal specification and design of a message router
ACM Transactions on Software Engineering and Methodology (TOSEM)
A UNITY-Style Programming Logic for Shared Dataspace Programs
IEEE Transactions on Parallel and Distributed Systems
Formal Derivation of Rule-Based Programs
IEEE Transactions on Software Engineering
Architecture-Directed Refinement
IEEE Transactions on Software Engineering
Reasoning About Synchronic Groups
Research Directions in High-Level Parallel Programming Languages
Hi-index | 0.00 |
Formal methods hold the promise for high dependability in the design of critical software. However, software engineers who employ formal methods need to communicate their design decisions to users, customers, managers, and colleagues who may not be in a position to acquire a full understanding of the formal notation being used. Visualizations derived from formal specifications and designs must be able convey the required information precisely and reliably without the use of formal notation. This paper discusses an attempt to integrate a design methodology based upon specification and program refinement with a state-of-the-art approach to rapid visualization of program executions. The emphasis is placed on how to convey graphically various kinds of formally-stated program properties. The illustrations are extracted from a case study involving the formal derivation of a message router. The ultimate goal is to identify issues fundamental to the use of visualization in conjunction with formal methods and to catalog methods which achieve effective visual communication without compromising formal reasoning.