Software Engineering and Formal Methods
9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings
Editors: Barthe, Gilles, Pardo, Alberto, Schneider, Gerardo (Eds.)
Free Preview- Fast track conference proceedings
- Unique visibility
- State of the art research
Buy this book
- About this book
-
This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in November 2011.
The 22 revised regular papers presented together with 1 short paper, 2 tool papers, and 4 keynote talks were carefully reviewed and selected from 105 initial abstracts and 85 full submissions. Besides the regular session the conference held a special track devoted to "Modeling for Sustainable Development" with 5 accepted papers - selected from 7 submissions - that are also part of this volume. The aim of SEFM is to advance the state of the art in formal methods, to scale up their application in software industry and to encourage their integration with practical engineering methods.
- Table of contents (34 chapters)
-
-
Formal Methods in Energy Informatics
Pages 1-2
-
Formal Methods as a Link between Software Code and Legal Rules
Pages 3-18
-
Developing Model-Checking Mechanisms for ASSL: An Experience Report
Pages 19-34
-
Models and Communication in the Policy Process
Pages 35-37
-
Distributed Implementation of Systems with Multiparty Interactions and Priorities
Pages 38-57
-
Table of contents (34 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Software Engineering and Formal Methods
- Book Subtitle
- 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings
- Editors
-
- Gilles Barthe
- Alberto Pardo
- Gerardo Schneider
- Series Title
- Programming and Software Engineering
- Series Volume
- 7041
- Copyright
- 2011
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag GmbH Berlin Heidelberg
- eBook ISBN
- 978-3-642-24690-6
- DOI
- 10.1007/978-3-642-24690-6
- Softcover ISBN
- 978-3-642-24689-0
- Edition Number
- 1
- Number of Pages
- XIV, 504
- Number of Illustrations
- 154 b/w illustrations
- 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.
