By Topic

Visual presentation of software specifications and designs

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Roman, G.-C. ; Dept. of Comput. Sci., Washington Univ., St. Louis, MO, USA ; Hart, D. ; Calkins, C.

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. The 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

Published in:

Software Specification and Design, 1996., Proceedings of the 8th International Workshop on

Date of Conference:

22-23 Mar 1996