Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, (Paperback, 2016)

Abstraction, refinement and evolution.- Formal specification and modeling.- Program analysis.- Formal verification.- Model checking.- Formal approaches to software testing and inspection.- Formal methods for self-adaptive systems.- Formal methods for object-oriented systems.- Formal methods for component-based systems.- Tool development, integration and experiments involving verified systems.- Formal model-based development and code generation.