Formale Modelle für Informationssysteme: GI-Fachtagung, 24.–26. Mai 1979, Tutzing
Gespeichert in:
Bibliographische Detailangaben
Beteilige Person: Mayr, Heinrich C. (VerfasserIn)
Format: Elektronisch E-Book
Sprache:Deutsch
Veröffentlicht: Berlin, Heidelberg Springer Berlin Heidelberg 1979
Schriftenreihe:Informatik-Fachberichte 21
Schlagwörter:
Links:https://doi.org/10.1007/978-3-642-67485-3
Beschreibung:Mit der beschriebenen ISAC-Methode wurde eine formale Beschreibungsmethode aufgezeigt, die ihre Bewahrungsprobe durch hohe Benutzerakzeptanz in einem Industrieprojekt bereits bestanden hat. Die konsequente Tätigkeitshierarchiebildung zeigt einen durchgehenden Weg über die Transformationsmethoden wie die erweiterte Methliemethode, bei dem weitgehend computergestützt die Programme entworfen werden. Damit ist es möglich, die Projekte erheblich zu beschleunigen. Spezifikationsmethoden wie der Konstruktor und DIOGENES, mit denen Programme generiert werden, runden das Softwareinstrumentarium ab. Die Auffassung der Softwarewelt als Untermenge der Informationssystemwelt bietet berechtigte Aussichten, auch die dynamische Analyse des entworfenen Informationssystems mit einer geschlossenen, aufeinander abgestimmten Methodik durchführen zu können. Für die wertvollen Hinweise, Diskussionsbeitrage und Unterstützungen sei an dieser Stelle besonders Herrn Prof. Dr. H. J. Schneider und allen Mitarbeitern, die durch ihre Projektarbeit sowie ihrem privaten Engagement zu diesen Gedanken ihren Beitrag geleistet haben, gedankt. Die Arbeit basiert im einzelnen auf folgenden Vorarbeiten: Bereich ISAC Konig, A., Krenz, G. Bereich Datenbankschnittstelle Schneider, R., Günther, A.
Umfang:1 Online-Ressource (VI, 266 S.)
ISBN:9783642674853
9783540097730
ISSN:0343-3005
DOI:10.1007/978-3-642-67485-3