Incorporating Formal Techniques into Industrial Practice: an Experience Report-Reference-Cited by-同舟云学术

Incorporating Formal Techniques into Industrial Practice: an Experience Report

Published:2013-05 Issue: Volume:295 Page:49-63
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Osaiweran Ammar,Schuts Mathijs,Hooman Jozef,Wesselius Jacco

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference21 articles.

1. The B-book: assigning programs to meanings;Abrial,1996

2. Test Driven Development: By Example;Beck,2002

3. Industrial practice in formal methods: A review;Bicarregui,2009

4. Introducing formal methods into industry using Cleanroom and CSP;Broadfoot;Dedicated Systems Magazine,2005

5. G.H. Broadfoot, P.J. Broadfoot, Academia and industry meet: Some experiences of formal methods in practice, in: 10th Asia-Pacific Software Engineering Conferenc (APSEC 2003), 2003, pp. 49–58.

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Dezyne: Paving the Way to Practical Formal Software Engineering;Electronic Proceedings in Theoretical Computer Science;2021-08-06

2. Integrating formal methods into medical software development: The ASM approach;Science of Computer Programming;2018-06

3. Assessing the Quality of Tabular State Machines through Metrics;2017 IEEE International Conference on Software Quality, Reliability and Security (QRS);2017-07

4. Model-driven development of high-assurance active medical devices;Software Quality Journal;2015-08-14

5. Refinement-Based Development of Software-Controlled Safety-Critical Active Medical Devices;Lecture Notes in Business Information Processing;2015