Formal Methods and Software Engineering
11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings
Editors: Breitman, Karin, Cavalcanti, Ana (Eds.)
Free PreviewBuy this book
- About this book
-
This book constitutes the refereed proceedings of the 11th International Conference on Formal Engineering Methods, ICFEM 2009, held in Rio de Janeiro, Brazil, December 2009.
The 36 revised full papers together with two invited talks presented were carefully reviewed and selected from 121 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on Testing, Protocols, verification, model checking, object-orientation, event-b, compilation, process algebra, refinement, algebraic specifications and real-time systems.
- Table of contents (38 chapters)
-
-
Seamless Model Driven Systems Engineering Based on Formal Models
Pages 1-19
-
Compositional Verification of Input-Output Conformance via CSP Refinement Checking
Pages 20-48
-
Symbolic Query Exploration
Pages 49-68
-
Event Listener Analysis and Symbolic Execution for Testing GUI Applications
Pages 69-87
-
An Empirical Study of Structural Constraint Solving Techniques
Pages 88-106
-
Table of contents (38 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Formal Methods and Software Engineering
- Book Subtitle
- 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings
- Editors
-
- Karin Breitman
- Ana Cavalcanti
- Series Title
- Programming and Software Engineering
- Series Volume
- 5885
- Copyright
- 2009
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-642-10373-5
- DOI
- 10.1007/978-3-642-10373-5
- Softcover ISBN
- 978-3-642-10372-8
- Edition Number
- 1
- Number of Pages
- XIV, 758
- Topics
*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works are not included.
