Formal Methods and Software Engineering

Zongyan Qiu

ISBN 10: 3642245587 / ISBN 13: 9783642245589

Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 2011, 2011

About this Item

Neuware -This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 684 pp. Englisch.

Seller Inventory # 9783642245589

Bibliographic Details

• Title: Formal Methods and Software Engineering
• Publisher: Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 2011
• Publication Date: 2011
• Language: English
• ISBN 10: 3642245587
• ISBN 13: 9783642245589
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 35D millimeters 235 millimeters width by 155 millimeters height by 35 millimeters depth
• Weight: 1143 grams

About this title

Synopsis

This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.