We present a new approach to the implementation of graphical user interfaces (GUIs) for formal program development like transformation systems or interactive theorm provers. Its distinguishing feature is a generic, open system design which allows the development of a family of tools for different foraml methods on a sound logical basis with a uniform appearance.
展开▼