2013

Industrial Deployment of System Engineering Methods

Editors:

ISBN: 978-3-642-33169-5 (Print) 978-3-642-33170-1 (Online)

Table of contents (15 chapters)

  1. Front Matter

    Pages I-X

  2. No Access

    Book Chapter

    Pages 1-3

    Introduction

  3. No Access

    Book Chapter

    Pages 5-12

    Integrated Project DEPLOY

  4. No Access

    Book Chapter

    Pages 13-26

    Experience of Deployment in the Automotive Industry

  5. No Access

    Book Chapter

    Pages 27-43

    Improving Railway Data Validation with ProB

  6. No Access

    Book Chapter

    Pages 45-62

    Deployment in the Space Sector

  7. No Access

    Book Chapter

    Pages 63-79

    Business Information Sector

  8. No Access

    Book Chapter

    Pages 81-95

    Formal Methods as an Improvement Tool

  9. No Access

    Book Chapter

    Pages 97-105

    Critical Software Technologies’ Experience with Formal Methods

  10. No Access

    Book Chapter

    Pages 107-122

    Experience of Deploying Event-B in Industrial Microprocessor Development

  11. No Access

    Book Chapter

    Pages 123-143

    Industrial Deployment of Formal Methods: Trends and Challenges

  12. No Access

    Book Chapter

    Pages 145-156

    Introducing Formal Methods into Existing Industrial Practices

  13. No Access

    Book Chapter

    Pages 157-185

    Tooling

  14. No Access

    Book Chapter

    Pages 187-196

    Technology Transfer

  15. No Access

    Book Chapter

    Pages 197-202

    After and Outside DEPLOY: The DEPLOY Ecosystem

  16. No Access

    Book Chapter

    Pages 203-210

    Industrial Software Engineering and Formal Methods

  17. Back Matter

    Pages 211-259