Formal Methods and Software Engineering [E-Book] : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings / edited by Kazuhiro Ogata, Mark Lawford, Shaoying Liu.
Lawford, Mark, (editor)
Liu, Shaoying, (editor) / Ogata, Kazuhiro, (editor)
Cham : Springer, 2016
XVII, 486 p. 144 illus. online resource.
englisch
9783319478463
10.1007/978-3-319-47846-3
Lecture notes in computer science ; 10009
Full Text
Table of Contents:
  • 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. .