A graphical user interface for editing formal specification objects
Duanqing Wu, Yiching Cheng, Tim Wahls · Journal of computing sciences in colleges · 2002
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.