Formale Modelle für Informationssysteme: GI-Fachtagung, 24.- 26. Mai 1979, Tutzing (Informatik-Fachberichte, 21, Band 21) - Softcover
Inhaltsangabe
Modelle für die Praxis.- Simulationstechnik.- ISAC - eine formale Methode zur rechnergestützten Beschreibung von Betriebsabläufen.- Ein Ansatz zur rechnergestützten Modellierung betrieblicher Informationssysteme.- Evolutionärer System-Entwurf.- Integration und Bewertung von Informationssystemen.- Möglichkeiten und Probleme der Integration von Daten- und Methodenbanken.- Leistungsanalyse von Datenbanksystemen durch Messung, analytische Modelle und Simulation.- Leistungsaspekte bei Datenbanksystemen.- Methoden und Algorithmen zur automatischen Informationsverwaltung.- Beschreibungsmethoden.- Graphentheoretische Modelle und Methoden.- Neue Aspekte algebraischer Spezifikationsschemata für Datenbanksysteme.- Modelling a Solution for a Control Problem in Distributed Systems by Restrictions.- Formale Beschreibungsmittel für offene Kommunikationssysteme im Rahmen von Normungsvorhaben.- Netztheorie.- Zur Verwendung von Petrinetz-Morphismen bei der System-Konstruktion.- Zur Modellierung von Systemen auf der Basis der Nebenläufigkeit.- Funktionsnetze - Ein Ansatz zur Beschreibung, Analyse und Simulation soziotechnischer Systeme.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Formale Modelle für Informationssysteme: GI-Fachtagung,...
Beispielbild für diese ISBN
Formale Modelle für Informationssysteme: GI-Fachtagung, 24.-26. Mai 1979, Tutzing (Informatik-Fachberichte, 21) (German Edition)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783540097730_new
Neu kaufen
EUR 62,55
EUR 13,87 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Formale Modelle für Informationssysteme
Verlag:
Springer Berlin Heidelberg Okt 1979, 1979
ISBN 10: 3540097732
ISBN 13: 9783540097730
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783540097730
Neu kaufen
EUR 54,99
EUR 23,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Formale Modelle f?r Informationssysteme
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 272. Bestandsnummer des Verkäufers 2654502193
Neu kaufen
EUR 74,75
EUR 3,44 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Formale Modelle f?r Informationssysteme
Print-on-DemandAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers 55057646
Neu kaufen
EUR 72,65
EUR 7,53 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Formale Modelle f?r Informationssysteme
Print-on-DemandAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. PRINT ON DEMAND pp. 272. Bestandsnummer des Verkäufers 1854502203
Neu kaufen
EUR 73,75
EUR 9,95 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Formale Modelle Fur Informationssysteme: Gifachtagung, 24.-26. Mai 1979, Tutzing (Informatik-Fachberichte)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 272 pages. German language. 9.61x6.69x0.62 inches. In Stock. Bestandsnummer des Verkäufers x-3540097732
Neu kaufen
EUR 99,14
EUR 11,58 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
Formale Modelle für Informationssysteme
Verlag:
Springer, Springer Berlin Heidelberg Okt 1979, 1979
ISBN 10: 3540097732
ISBN 13: 9783540097730
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. 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 KG, Sachsenplatz 4-6, 1201 Wien 272 pp. Deutsch. Bestandsnummer des Verkäufers 9783540097730
Neu kaufen
EUR 54,99
EUR 60,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Formale Modelle für Informationssysteme : GI-Fachtagung, 24.¿26. Mai 1979, Tutzing
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783540097730
Neu kaufen
EUR 54,99
EUR 62,38 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Formale Modelle für Informationssysteme | GI-Fachtagung, 24.-26. Mai 1979, Tutzing
Anbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Formale Modelle für Informationssysteme | GI-Fachtagung, 24.-26. Mai 1979, Tutzing | H. C. Mayr (u. a.) | Taschenbuch | vi | Deutsch | 1979 | Springer | EAN 9783540097730 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Bestandsnummer des Verkäufers 102158006
Neu kaufen
EUR 54,99
EUR 70,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 5 verfügbar
Beispielbild für diese ISBN
Formale Modelle für Informationssysteme: GI-Fachtagung, 24.26. Mai 1979, Tutzing (Informatik-Fachberichte, 21) (German Edition)
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Paperback. Zustand: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book. Bestandsnummer des Verkäufers ERICA79035400977326
Gebraucht kaufen
EUR 102,55
EUR 28,94 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar