TY  - BOOK
AU  - Ogata,Kazuhiro
AU  - Lawford,Mark
AU  - Liu,Shaoying
ED  - SpringerLink (Online service)
TI  - Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings 
T2  - Programming and Software Engineering
SN  - 9783319478463
AV  - QA76.758 
U1  - 005.1 23
PY  - 2016///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Software engineering
KW  - Computer programming
KW  - Programming languages (Electronic computers)
KW  - Computer logic
KW  - Mathematical logic
KW  - Computer communication systems
KW  - Software Engineering
KW  - Programming Techniques
KW  - Programming Languages, Compilers, Interpreters
KW  - Logics and Meanings of Programs
KW  - Mathematical Logic and Formal Languages
KW  - Computer Communication Networks
N1  - 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.
N2  - This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability
UR  - https://doi.org/10.1007/978-3-319-47846-3
ER  -