A graphical user interface for editing formal specification objects

Authors:
Duanqing Wu;Yiching Cheng;Tim Wahls
Affiliations:
Department of Computer Science, Penn State Harrisburg, 777 West Harrisburg Pike, Middletown, PA;Division of Clinical Image Management, The Pennsylvania State University, The Milton S. Hershey Medical Center, Department of Radiology, H066, 500 University Drive, Hershey, PA;Department of Mathematics and Computer Science, Hood College, 401 Rosemont Avenue, Frederick, MD
Venue:
Journal of Computing Sciences in Colleges
Year:
2002

Citing 9
Cited 1

Tcl and the Tk toolkit

Tcl and the Tk toolkit
The IFAD VDM-SL toolbox: a practical approach to formal specifications

ACM SIGPLAN Notices
Using Z: specification, refinement, and proof

Using Z: specification, refinement, and proof
Practical programming in Tcl and Tk (2nd ed.)

Practical programming in Tcl and Tk (2nd ed.)
Modelling systems: practical tools and techniques in software development

Modelling systems: practical tools and techniques in software development
A graphical user interface for executing formal specifications

Proceedings of the 2001 ACM symposium on Applied computing
Executing Formal Specifications with Concurrent Constraint Programming

Automated Software Engineering
Drawing Dynamic Trees

IEEE Software
Constraint animation using an object-oriented declarative language

ACM-SE 38 Proceedings of the 38th annual on Southeast regional conference

Compiling formal specifications to oz programs

MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz

Quantified Score

Hi-index	0.00

Visualization

Abstract

Extensive tool support is critical for increasing the usefulness and industrial acceptance of formal software engineering methods. In previous work, we have developed a technique for executing formal interface specifications of C++ classes, and a graphical user interface for this technique. In this work, we describe an extension to that interface that allows specification objects to be edited in an intuitive way, and which graphically displays complex relationships (including aliasing) among specification objects.