Formale Modelle für Informationssysteme by H C Mayr
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 DIOGENES, mit denen Programme generiert werden, runden das Softwareinstrurnentarium abo Die Auffassung der Softwarewelt als Untermenge der Informationssystem- welt bietet berechtigte Aussichten, auch die dynamische Analyse des ent- worfenen Informationssystems mit ein r geschlossenen, aufeinander abge- stimmten Methodik durchfUhren zu konnen. FUr die wertvollen Hinweise, Diskussionsbeitrage und UnterstUtzungen sei an dieser Stelle besonders Herrn Prof. Dr. H. J. Schneider und allen Mitarbeitern, die durch ihre Projektarbeit sowie ihrem privaten Engage- ment zu diesen Gedanken ihren Beitrag geleistet haben, gedankt. Die Arbeit basiert im einzelnen auf folgenden Vorarbeiten: Bereich ISAC Konig, A., Krenz, G. Bereich Datenbank- schnittstelle Schneider, R., GUnther, A.-
Das PLAKON-Buch
-
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
-
Fachtagung Prozessrechner 1977
-
Mustererkennung 1987
-
Mustererkennung 1984
-
Digitale Bildverarbeitung Digital Image Processing
-
Modelle für Rechensysteme
-
Betrieb von Rechenzentren
-
GI — 6. Jahrestagung
-
Programmiersprachen
-
Revisions- und Konsistenzkontrolle in einer integrierten Softwareentwicklungsumgebung
-
Ein Roboteraktions-planungssystem
-
Mustererkennung 1990
-
Graphik im Bürobereich
-
Textgenerierung aus visuellen Daten: Beschreibungen von Straßenszenen
-
2. Workshop Sichtsysteme —
-
Fachtagung Prozeßrechner 1981
-
First European Simulation Congress ESC 83
-
GWAI-82
-
Die Konfigurierung modular aufgebauter Datenbanksysteme
-
Synchronisation in Mehrrechner-Datenbanksystemen
-
Planen für autonome Montageroboter
-
GI — 7. Jahrestagung
-
Künstliche Intelligenz
-
Kollisionsfreie Bahnen für Industrieroboter
-
Data Networks with Satellites
-
Programmiersprachen und Programmentwicklung
-
Fehlertolerierende Rechensysteme
-
Firmware Engineering
-
Rechnernetze und Datenfernverarbeitung
-
PEARL 91 - Workshop über Realzeitsysteme
-
Erzeugung und Analyse von Bildern und Strukturen
-
Generierung von Worthypothesen in kontinuierlicher Sprache
-
Applications and Theory of Petri Nets
-
GI — 8. Jahrestagung
-
Testmustergenerierung und Fehlersimulation in digitalen Schaltungen mit hoher Komplexität
-
Organisation und Betrieb der Informationsverarbeitung
-
Organisation von Rechenzentren
-
Datenbank-Systeme für Büro, Technik und Wissenschaft
-
Betrieb von DV-Systemen in der Zukunft
-
FRM: Ein Frame-Repräsentationsmodell und seine formale Semantik
-
Datenschutz bei riskanten Systemen
-
Kommunikation in Verteilten Systemen II
-
Datenverarbeitung im Marketing
-
Öffentliche Verwaltung und Informationstechnik
-
Termersetzungssysteme
-
Approximative Public-Key-Kryptosysteme
-
GWAI-84
-
ASST ’87 6. Aachener Symposium für Signaltheorie
| SKU | Unavailable |
| ISBN 13 | 9783540097730 |
| ISBN 10 | 3540097732 |
| Title | Formale Modelle für Informationssysteme |
| Author | H C Mayr |
| Series | Informatik-Fachberichte |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer |
| Year published | 1979-10-01 |
| Number of pages | 266 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |