Formal Methods and Software Engineering (vol. # 4260)
Publication year: 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
