Formal Methods for Components and Objects, Fachbücher von Marcello M. Bonsangue, Eric Madelaine
Das Buch "Formal Methods for Components and Objects" bietet eine umfassende Analyse und Diskussion über die Anwendung formale... Mehr erfahren
Finde die besten Angebote
Bester Preis26 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Formal Methods for Components and Objects" bietet eine umfassende Analyse und Diskussion über die Anwendung formaler Methoden in der Softwareentwicklung, insbesondere im Kontext grosser und komplexer Systeme. Es reflektiert die Ergebnisse des 7. Symposiums zu diesem Thema, das 2008 in Sophia Antipolis, Frankreich, stattfand. Die Beiträge stammen von führenden Experten aus verschiedenen europäischen IST-Projekten, die sich mit der Entwicklung und Validierung von Softwarearchitekturen, Modellen und Sprachen befassen. Der Fokus liegt auf der Verbesserung von Spezifikation, Modellierung und Validierungstechniken, um die Wiederverwendbarkeit und Modifizierbarkeit von Software zu unterstützen. Das Buch ist eine wertvolle Ressource für Fachleute und Forscher, die sich mit den Herausforderungen und Lösungen in der Softwareentwicklung auseinandersetzen.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer