Buch, Deutsch, Englisch, 228 Seiten, Format (B × H): 170 mm x 242 mm, Gewicht: 418 g
Reihe: Informatik aktuell
Buch, Deutsch, Englisch, 228 Seiten, Format (B × H): 170 mm x 242 mm, Gewicht: 418 g
Reihe: Informatik aktuell
ISBN: 978-3-540-55568-1
Verlag: Springer Berlin Heidelberg
Springer Book Archives
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Toward the Integration of Formal Description Techniques with Performance Evaluation.- Generating Parallel Code from Estelle Specifications.- CDM — korrekter Entwurf von Kommunkationssoftware.- LOTOS Design Methodology Based on ODP-Viewpoints.- An introduction to compositional methods for concurrency and their application to real-time.- Rapid Prototyping von Estelle-Spezifikationen.- Formale Konzepte zur Lokalisierung von Funktionen in räumlich verteilten Systemen.- A Simple Toy Example of a Distributed System: On the Design of a Connecting Switch.- Testfallgenerierung aus Petri-Netzen — Probleme, Konzepte, Systeme.- Die Offene Petrinetz-Methode zur Analyse und Darstellung des funktionalen Verhaltens verteilter Systeme.- Differences between Estelle and LOTOS Descriptions of a Protocol.- Autorenverzeichnis.
Toward the Integration of Formal Description Techniques with Performance Evaluation.- Generating Parallel Code from Estelle Specifications.- CDM — korrekter Entwurf von Kommunkationssoftware.- LOTOS Design Methodology Based on ODP-Viewpoints.- An introduction to compositional methods for concurrency and their application to real-time.- Rapid Prototyping von Estelle-Spezifikationen.- Formale Konzepte zur Lokalisierung von Funktionen in räumlich verteilten Systemen.- A Simple Toy Example of a Distributed System: On the Design of a Connecting Switch.- Testfallgenerierung aus Petri-Netzen — Probleme, Konzepte, Systeme.- Die Offene Petrinetz-Methode zur Analyse und Darstellung des funktionalen Verhaltens verteilter Systeme.- Differences between Estelle and LOTOS Descriptions of a Protocol.- Autorenverzeichnis.
