Items related to Formale Modelle für Informationssysteme: GI-Fachtagung,...
Formale Modelle für Informationssysteme: GI-Fachtagung, 24.–26. Mai 1979, Tutzing: 21 (Informatik-Fachberichte, 21) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date1979
- ISBN 10 3540097732
- ISBN 13 9783540097730
- BindingPaperback
- LanguageGerman
- Edition number1
- Number of pages272
- EditorMayr H. C., Meyer B. E.
Search results for Formale Modelle für Informationssysteme: GI-Fachtagung,...
Seller Image
Formale Modelle für Informationssysteme. GI-Fachtagung, 24. - 26. Mai 1979, Tutzing.
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Seller rating 5 out of 5 stars
Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Sj 528 3540097732 Sprache: Deutsch Gewicht in Gramm: 550. Seller Inventory # 2091056
Quantity: 1 available
Stock Image
Formale Modelle für Informationssysteme: GI-Fachtagung, 24.-26. Mai 1979, Tutzing (Informatik-Fachberichte, 21) (German Edition)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540097730_new
Quantity: Over 20 available
Seller Image
Formale Modelle für Informationssysteme
Published by
Springer Berlin Heidelberg Okt 1979, 1979
ISBN 10: 3540097732
ISBN 13: 9783540097730
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 272 pp. Deutsch. Seller Inventory # 9783540097730
Quantity: 2 available
Seller Image
Formale Modelle für Informationssysteme : GI-Fachtagung, 24.¿26. Mai 1979, Tutzing
Published by
Springer Berlin Heidelberg, 1979
ISBN 10: 3540097732
ISBN 13: 9783540097730
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783540097730
Quantity: 1 available
Stock Image
Formale Modelle f?r Informationssysteme
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand pp. 272 67 Figures, 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam. Seller Inventory # 55057646
Quantity: 4 available
Stock Image
Formale Modelle f?r Informationssysteme
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 272. Seller Inventory # 2654502193
Quantity: 4 available
Stock Image
Formale Modelle für Informationssysteme: GI-Fachtagung, 24.-26. Mai 1979, Tutzing (Informatik-Fachberichte, 21) (German Edition)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783540097730
Quantity: Over 20 available
Seller Image
Formale Modelle für Informationssysteme
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1979, 1979
ISBN 10: 3540097732
ISBN 13: 9783540097730
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Deutsch. Seller Inventory # 9783540097730
Quantity: 2 available
Stock Image
Formale Modelle f?r Informationssysteme
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 272. Seller Inventory # 1854502203
Quantity: 4 available
Stock Image
Formale Modelle Fur Informationssysteme: Gifachtagung, 24.-26. Mai 1979, Tutzing (Informatik-Fachberichte)
Published by
Springer Berlin Heidelberg, 1979
ISBN 10: 3540097732
ISBN 13: 9783540097730
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 272 pages. German language. 9.61x6.69x0.62 inches. In Stock. Seller Inventory # x-3540097732
Quantity: 2 available