Formal Methods and Software Engineering, Fachbücher von Ana Cavalcanti, Karin Breitman
Das Buch "Formal Methods and Software Engineering" bietet eine umfassende Untersuchung der formalen Methoden zur Entwicklung ... Mehr erfahren
Finde die besten Angebote
Bester Preis53 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Formal Methods and Software Engineering" bietet eine umfassende Untersuchung der formalen Methoden zur Entwicklung von Computersystemen. Es beleuchtet die Fortschritte in der Anwendung von semantischen Theorien, Spezifikationssprachen, Entwurfstechniken sowie Verifikationsmethoden und -werkzeugen, die für kritische Anwendungen von Bedeutung sind. Die Herausforderung besteht darin, diese formalen Methoden zu skalieren und in die Entwicklungsprozesse der Ingenieurwissenschaften zu integrieren, um die korrekte und effiziente Konstruktion sowie Wartung von Computersystemen zu gewährleisten. Der Band enthält die Beiträge der 11. Internationalen Konferenz über formale Ingenieurmethoden (ICFEM 2009), die vom 9. bis 11. Dezember 2009 in Rio de Janeiro, Brasilien, stattfand. Forscher und Praktiker aus Industrie, Wissenschaft und Regierung sind eingeladen, sich mit den neuesten Entwicklungen und Herausforderungen in diesem Bereich auseinanderzusetzen.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer