Software Engineering and Formal Methods, Kartoniert / Broschiert

Software Engineering and Formal Methods

Buch

SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers

lieferbar innerhalb 2-3 Wochen
(soweit verfügbar beim Lieferanten)

Aktueller Preis: EUR 54,75

Versandkosten (United States of America): EUR 19,90

Herausgeber:: Domenico Bianculli, Radu Calinescu, Bernhard Rumpe
Verlag:: Springer, 02/2016
Einband:: Kartoniert / Broschiert, Paperback
Sprache:: Englisch
ISBN-13:: 9783662492239
Artikelnummer:: 8512137
Umfang:: 356 Seiten
Nummer der Auflage:: 16001
Ausgabe:: 1st edition 2015
Gewicht:: 563 g
Maße:: 236 x 157 mm
Stärke:: 22 mm
Erscheinungstermin:: 3.2.2016
Hinweis: Achtung: Artikel ist nicht in deutscher Sprache!

Klappentext

Automating Test Case Design, Selection and Evaluation.- Human-Oriented Formal Methods.- Modelling and Knowledge Management Applications: Systems and Domains.- Art of Service Composition and Formal Verification for Self-* Systems.

Biografie (Bernhard Rumpe)

Bernhard Rumpe lehrt an der RWTH Aachen den Einsatz modellbasierter Methoden auf Basis der UML für das Software Engineering und forscht an modellbasierten Software- und System-Entwicklungsmethoden in Bezug auf Qualität des Ergebnisses und Effizienz des Entwicklungsprozesses.§In einer Reihe von Publikationen hat er zur Standardisierung der UML und zur verbesserten Handhabung von Entwicklungsprozessen beigetragen. Er ist Autor und Editor von 14 Büchern sowie Mitgründer des internationalen Springer Journals on Software and Systems Modeling "SoSyM".