Industrial Deployment of System Engineering Methods

Book Overview

Introduction.- DEPLOY Integrated Project.- Experience of Deployment in the Automotive Industry.- Improving Railway Data Validation with ProB.- Deployment in the Space Sector.- Business Information Sector.- Formal Methods as an Improvement Tool.- Critical Software Technologies Experience with Formal Methods.- Experiences Developing Event-B in an Industrial Microprocessor Development.- Industrial Deployment of Formal Methods: Trends and Challenges.- Introducing Formal Methods into Existing Industrial Practices Tooling.- Technology Transfer.- After and Outside DEPLOY: the DEPLOY Ecosystems.- Industrial Software Engineering and Formal Methods.- App. A An Introduction to the Event-B Modelling Method.- App. B Evidence-Based Assistance for the Adoption of Formal Methods in Industry.

• Format: Paperback
• Language: English
• ISBN: 3642430643
• ISBN13: 9783642430640
• Release Date: February 2015
• Publisher: Springer
• Length: 262 Pages
• Weight: 0.85 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"