Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6447)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: ICFEM 2010.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
This book constitutes the refereed proceedings of the 12th International
Conference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China,
November 2010.
The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on theorem proving and decision procedures, web services and workflow, verification, applications of formal methods, probability and concurrency, program analysis, model checking, object orientation and mod
el driven engineering, as well as specification and verification.
Conference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China,
November 2010.
The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on theorem proving and decision procedures, web services and workflow, verification, applications of formal methods, probability and concurrency, program analysis, model checking, object orientation and mod
el driven engineering, as well as specification and verification.
Similar content being viewed by others
Keywords
- BPEL
- Web Services
- algebraic specification
- automata
- automated verification
- automatic translation
- behavioral specification
- bounded model checking
- case analysis
- combined domain
- component-based sysetms
- decision procedure
- equational theory
- software engineering
- verification
- algorithm analysis and problem complexity
Table of contents (45 papers)
-
Front Matter
-
Theorem Proving and Decision Procedures
Other volumes
-
Formal Methods and Software Engineering
Editors and Affiliations
Bibliographic Information
Book Title: Formal Methods and Software Engineering
Book Subtitle: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings
Editors: Jin Song Dong, Huibiao Zhu
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-16901-4
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer-Verlag GmbH, DE, part of Springer Nature 2010
Softcover ISBN: 978-3-642-16900-7Published: 29 October 2010
eBook ISBN: 978-3-642-16901-4Published: 09 November 2010
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 712
Number of Illustrations: 202 b/w illustrations
Topics: Software Engineering/Programming and Operating Systems, Computer Communication Networks, Programming Languages, Compilers, Interpreters, Software Engineering, Programming Techniques, Algorithm Analysis and Problem Complexity