In: Software-Entwicklungs-Systeme und -Werkzeuge. 3. Kolloquium, 1989, Esslingen, Germany, pages 18.4.1-18.4.6. 1989. In German.
Abstract: Dieses Papier stellt die Hauptcharakteristiken des Prototyps einer Software-Entwicklungsumgebung vor, welcher im Rahmen des ESPRIT-Projekts GRASPIN erstellt wird. Es werden sowohl die unterstützten Methoden, die inkrementelle graphische Spezifikation und formale Implementierung sequentieller und nichtsequentieller Systeme behandelt, wie auch die Komponenten der Umgebung beschrieben. Ferner sollen mögliche industrielle und forschungsorientierte, inner- und ausserbetriebliche Anwendungsmöglichkeiten der Projektergebnisse aufgezeigt werden.
Keywords: GRASPIN.