Formale Modelle für Informationssysteme
Mit der beschriebenen ISAC-Methode wurde eine formale Beschreibungsme thode aufgezeigt, die ihre Bewahrungsprobe durch hohe Benutzerakzeptanz in einem Industrieprojekt bereits bestanden hat. Die konsequente Tatig keitshierarchiebildung zeigt einen durchgehenden Weg Uber die Transfor mationsmethoden wie die erweiterte Methliemethode, bei dem weitgehend computergestUtzt die Programme entworfen werden. Damit ist es moglich, die Projekte erheblich zu beschleunigen. Spezifikationsmethoden wie der Konstruktor und ...