Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
Heftet /
2016
/ Engelsk
Product details
ISBN
9783319478456
Published
2016-10-15
Publisher
Springer International Publishing AG
Height
235 mm
Width
155 mm
Age
Research, P, 06
Language
Product language
Engelsk
Format
Product format
Heftet
Number of pages
486
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.
Read more
This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 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.
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.
Read more
Includes supplementary material: sn.pub/extras
GPSR Compliance
The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this.
If you have any concerns about our products you can contact us on ProductSafety@springernature.com.
In case Publisher is established outside the EU, the EU authorized representative is:
Springer Nature Customer Service Center GmbH
Europaplatz 3
69115 Heidelberg, Germany
ProductSafety@springernature.com
Read more
Product details
ISBN
9783319478456
Published
2016-10-15
Publisher
Springer International Publishing AG
Height
235 mm
Width
155 mm
Age
Research, P, 06
Language
Product language
Engelsk
Format
Product format
Heftet
Number of pages
486