Formale Modelle für Informationssysteme

Name: Formale Modelle für Informationssysteme
Brand: Springer, Berlin
SKU: 9783540097730
Price: 285.34 RON
Availability: InStock

GI-Fachtagung, 24. 26. Mai 1979, Tutzing

Autor: H. C. Mayr, B. E. Meyer

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

285.34 lei

Mit der beschriebenen ISAC-Methode wurde eine formale Beschreibungsme thode aufgezeigt, die ihre Bew...

Informații despre carte

Autor

H. C. Mayr, B. E. Meyer

Limbă

germană

Legare

Carte - Carte broșată

Publicat

2012

Pagini

266

EAN

9783540097730

ISBN

3540097732

Enbook ID

06806060

Editura

Springer, Berlin

Greutate

460

Dimensiuni

170 x 244 x 14

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Formale Modelle für Informationssysteme

GI-Fachtagung, 24. 26. Mai 1979, Tutzing

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și