Skip to main content
SpringerLink
Log in

Introducing Formal Methods into Existing Industrial Practices

  • Chapter
Book cover Industrial Deployment of System Engineering Methods

  • 1293 Accesses

Abstract

This chapter discusses various methodological issues faced when integrating formal methods into existing industrial practices. It describes the experience of the DEPLOY industrial partners and the DEPLOY Associates gained during the deployment of Event-B and the supporting toolset in their industrial settings.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Bengtsson, J., Larsen, K., Larsson, F., Pettersson, P., Yi, W.: Uppaal—a tool suite for automatic verification of real-time systems. In: Proceedings of the DIMACS/SYCON Workshop on Hybrid Systems III: Verification and Control, pp. 232–243. Springer, New York (1996)

    Google Scholar 

  2. Business Process Model and Notation (BPMN) Specification. OMG (2006)

    Google Scholar 

  3. Iliasov, A., Romanovsky, A., Laibinis, L., Troubitsyna, E., Latvala, T.: Augmenting Event-B modelling with real-time verification. In: Proc. of Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches, held in conjunction with ICSE 2012. 2 June 2012, Zurich, Switzerland

    Google Scholar 

  4. Jackson, M.: Problem Frames: Analyzing and structuring software development problems. Addison-Wesley Longman Publishing, Boston (2001)

    Google Scholar 

  5. Jones, C.: From Problem Frames to HJJ (and its known unknowns). Newcastle University, UK, No. CS-TR-1163 (August 2009)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Martyn Thomas Associates, London, UK

    Martyn Thomas

  2. Newcastle University, Newcastle upon Tyne, UK

    Alexander Romanovsky

Authors
  1. Martyn Thomas
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alexander Romanovsky
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Martyn Thomas .

Editor information

Editors and Affiliations

  1. , School of Computing Science, Newcastle University, Newcastle upon Tyne, United Kingdom

    Alexander Romanovsky

  2. , Holly Lawn, Martyn Thomas Associates Ltd., Prospect Place, Beechen Cliff, Bath, BA2 4QP, United Kingdom

    Martyn Thomas

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Thomas, M., Romanovsky, A. (2013). Introducing Formal Methods into Existing Industrial Practices. In: Romanovsky, A., Thomas, M. (eds) Industrial Deployment of System Engineering Methods. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33170-1_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-33170-1_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-33169-5

  • Online ISBN: 978-3-642-33170-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation