SULJE VALIKKO

avaa valikko

Formale Modelle für Informationssysteme : GI-Fachtagung, 24.–26. Mai 1979, Tutzing
51,00 €
Springer
Sivumäärä: 266 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 1979, 01.10.1979 (lisätietoa)
Kieli: Saksa
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.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Formale Modelle für Informationssysteme : GI-Fachtagung, 24.–26. Mai 1979, Tutzing
Näytä kaikki tuotetiedot
ISBN:
9783540097730
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste