Formal Methods for Embedded Distributed Systems, Fachbücher von Fabrice Kordon, Michel Lemoine
106,99 €
"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.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
