Formal Methods and Software Engineering
Publication year: 2007
ISBN: 978-3-540-76650-6
Internet Resource: Please Login to download book
This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The papers address all current issues in formal methods and their applications in software engineering.
Subject: Computer Science, automata, dependable systems, design patterns, distributed testing, embedded systems, formal methods, formal software development, formal verification, model checking, modeling, programming paradigms, semantic Web services, semantics, systems analysis, verification
