Formal Methods for Embedded Distributed Systems, Fachbücher von Fabrice Kordon, Michel Lemoine
"Formal Methods for Embedded Distributed Systems" ist ein Fachbuch, das sich mit der Entwicklung kritischer eingebetteter Sof... Mehr erfahren
Finde die besten Angebote
Bester Preis53 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
"Formal Methods for Embedded Distributed Systems" ist ein Fachbuch, das sich mit der Entwicklung kritischer eingebetteter Software in verteilten Systemen befasst. Es beleuchtet die Notwendigkeit unterschiedlicher Notationen und eines strukturierten Entwicklungsprozesses, um die Anforderungen an komplexe Software-Systeme zu erfüllen. Das Buch argumentiert, dass formale Notationen unerlässlich sind, um eine präzise Definition der Software-Elemente zu gewährleisten. In Anbetracht der zunehmenden Komplexität von Software-Systemen, insbesondere in sicherheitskritischen Anwendungen wie der öffentlichen Verkehrsinfrastruktur und modernen Fahrzeugen, wird die Bedeutung eines rigorosen Entwicklungsansatzes hervorgehoben. Die Autoren, Fabrice Kordon und Michel Lemoine, bieten einen umfassenden Überblick über die aktuellen Software-Engineering-Techniken und deren Anwendung in der Praxis, wobei UML als Standardnotation für die Dokumentation von Softwareprojekten anerkannt wird. Das Buch richtet sich an Fachleute und Studierende, die ein tieferes Verständnis für die formalen Methoden in der Softwareentwicklung suchen.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer