Book Details

Formal Methods and Software Engineering (vol. # 4260)

Publish Date: 2006

ISBN: 978-3-540-47462-3

Internet Resource: Please Login to download book


This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. The papers address all current issues in formal methods and their applications in software engineering.


Subject: Computer Science, SPIN, Software Engineering, automata, dependable systems, fault tolerance, formal method, formal methods, formal software development, model checking, modeling, object, object-oriented programming, program analysis, semantic, structured analysis