Industrial Deployment of System Engineering Methods
A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful.�This book summarizes the results of the DEPLOY research project on engineering methods for dependable systems through the industrial deployme...
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Electronic |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2013.
|
| Subjects: | |
| Online Access: | https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-33170-1 |
Table of Contents:
- 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.