Skip to main content
SpringerLink
Log in

Managerial Issues for the Consideration and Use of Formal Methods

  • Conference paper
  • First Online:
Book cover FME 2003: Formal Methods (FME 2003)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2805))

Included in the following conference series:

Abstract.

The introduction of formal methods into the commercial community has been slow. This might, in part, be due to lack of guidance for program managers responsible for execution of a program, who must justify added expense or time to delivery. This paper first provides managers with guidance in deciding if a particular project is a good candidate for the use of formal methods. After the go/no go conditions are considered, the paper describes some of the management and reporting issues that may arise if the decision is made to use formal methods on a program.

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 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight 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. Ammons, G., Bodik, R., Larus, J.R.: Mining specifications. ACM Sigplan Notices 37(1), 4–16 (2002)

    Article  Google Scholar 

  2. Blackburn, M.R., Busser, R.D.: Requirements for industrial-strength formal methods tools. In: Workshop on Industrial Strength Formal Specification Techniques, Boca Raton, Fl., pp. 137–138. IEEE, Los Alamitos (1998)

    Google Scholar 

  3. Bowen, J.P.: Formal methods in safety-critical standards. In: 1993 Software Engineering Standards Symposium, pp. 168–177. IEEE Computer Society Press, Los Alamitos (1993)

    Chapter  Google Scholar 

  4. Bowen, J.P.: Ten commandments of formal methods. IEEE Computer 28(4), 56–63 (1995)

    Article  Google Scholar 

  5. Bowen, J., Stavridou, V.: The industrial take-up of formal methods in safety critical and other areas: a perspective. In: Larsen, P.G., Woodcock, J.C.P. (eds.) FME 1993. LNCS, vol. 670, pp. 183–195. Springer, Heidelberg (1993)

    Chapter  Google Scholar 

  6. Bowen, J., Stavridou, V.: Safety-critical systems, formal methods and standards. Software Engineering Journal 8, 189–209 (1993)

    Article  Google Scholar 

  7. Bowen, J.P., Hinchey, M.G.: The use of industrial-strength formal methods. In: Twenty-First Annual International Computer Software and Applications Conference, Washington, DC, USA, pp. 332–337. IEEE Comput. Soc., Los Alamitos (1997)

    Google Scholar 

  8. Bowen, J.P., Hinchley, M.G.: Seven more myths of formal methods. IEEE Software 12(4), 34–41 (1995)

    Article  Google Scholar 

  9. Bruel, J.-M.: Integrating formal and informal specification techniques. why? how? In: Proceedings of the 2nd IEEE Workshop on Industrial-Strength Formal Specification Techniques (WIFT 1998), Boca Raton, Florida, pp. 50–57. IEEE Computer Press, Los Alamitos (1999)

    Chapter  Google Scholar 

  10. Butterfield, A.: Introducing formal methods to existing processes. In: IEE Colloquium on Industrial Use of Formal Methods, London, UK. IEE (1997)

    Google Scholar 

  11. Ciapessoni, E., Crivelli, E., Mirandola, P.: From formal models to formally based methods: an industrial experience. ACM Transactions on Software Engineering and Methodology 8(1), 79–113 (1999)

    Article  Google Scholar 

  12. Cleland, G., MacKenzie, D.: Inhibiting factors, market structure and the industrial uptake of formal methods. In: Workshop on Industrial-Strength Formal Specification Techniques, Boca Raton, FL, USA, pp. 46–60. IEEE Comput. Soc. Press, Los Alamitos (1995)

    Google Scholar 

  13. Tim Clement. Re dust expert. Private correspondence (2002)

    Google Scholar 

  14. Software Productivity Consortium. Rtca do-178b (2002)

    Google Scholar 

  15. Craigen, D., Gerhart, S.: Formal methods reality check: Industrial usage. IEEE Transactions on Software Engineering 21(2), 90–98 (1995)

    Article  Google Scholar 

  16. Craigen, D., Gerhart, S., Ralston, T.: An international survey of industrial applications of formal methods. Technical Report NIST GCR 93/626, US Dept of Commerce (1993)

    Google Scholar 

  17. Dick, J., Woods, E.: Lessons learned from rigorous system software development. Information and Software Technology 39(8), 551–560 (1997)

    Article  Google Scholar 

  18. Easterbrook, S., Lutz, R., Covington, R., Kelly, J., Ampo, Y., Hamilton, D.: Experiences using lightweight formal methods for requirements modeling. IEEE Transactions on Software Engineering 24(1), 4–14 (1998)

    Article  Google Scholar 

  19. Finney, K., Fenton, N.: Evaluating the effectiveness of z: the claims made about cics and where we go from here. Journal of Systems and Software 35(3), 209–216 (1996)

    Article  Google Scholar 

  20. Garbett, P., Kes, J.P., Shackleton, M., Anderson, S.: Secure synthesis of code: a process improvement experiment. In: Woodcock, J.C.P., Davies, J., Wing, J.M. (eds.) FM 1999. LNCS, vol. 1709, pp. 1816–1835. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  21. Hall, A.: Using formal methods to develop an atc information system. IEEE Software 13(2), 66–76 (1996)

    Article  Google Scholar 

  22. Hall, A.: What does industry need from formal specification techniques? In: Second IEEE Workshop on Industrial Strength Formal Specification Techniques, pp. 2–7. IEEE, Los Alamitos (1999)

    Chapter  Google Scholar 

  23. Hall, A., Pleeger, S.L.: Some metrics from a formal development. In: IEE Colloquium on ’Practical Application of Formal Methods, volume Digest No.1995/109, pp. 6/1–4, London, UK, IEE (1995)

    Google Scholar 

  24. Heitmeyer, C.: On the need for practical formal methods. In: Ravn, A.P., Rischel, H. (eds.) FTRTFT 1998. LNCS, vol. 1486, pp. 18–26. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  25. Holloway, C.M., Butler, R.: Impediments to the industrial use of formal methods. IEEE Computer 29(4), 25–26 (1996)

    Google Scholar 

  26. Fernandez Iglesias, M.J., Gonzalez-Castano, F.J., Carballo, J.M.P., Nistal, M.L., Feijoo, A.R.: From complex specifications to a working prototype. A protocol engineering case study. In: Oliveira, J.N., Zave, P. (eds.) FME 2001. LNCS, vol. 2021, pp. 436–448. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  27. Jackson, M.: Formal methods and traditional engineering. Journal of Systems and Software 40, 191–194 (1998)

    Article  Google Scholar 

  28. Jagadeesan, L.J., Godefroid, P., Kelly, J., Miller, S., Weil, F.: Frank Weil. Transferring formal methods technology to industry. In: Second IEEE Workshop on Industrial Strength Formal Specification Techniques, pp. 128–131. IEEE, Los Alamitos (1998)

    Google Scholar 

  29. Jones, S., Till, D., Wrightson, A.M.: Formal methods and requirements engineering: Challenges and synergies. Journal of Systems and Software 40(3), 263–273 (1998)

    Article  Google Scholar 

  30. Katz, S.: Faithful translations among models and specifications. In: Oliveira, J.N., Zave, P. (eds.) FME 2001. LNCS, vol. 2021, pp. 419–434. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  31. Kemmerer, R.: Integrating formal methods into the development process. IEEE Software 7(5), 37–50 (1990)

    Article  Google Scholar 

  32. King, S., Hammond, J., Chapman, R., Pryor, A.: Is proof more cost-effective than testing? IEEE Transactions on Software Engineering 26(8), 675–685 (2000)

    Article  Google Scholar 

  33. Knight, J., DeJong, C., Gibble, M., Nakan, L.: Why are formal methods not used more widely?. In: Langley Formal Methods Workshop. NASA (1997)

    Google Scholar 

  34. Koob, F., Ullmann, M., Wittmann, S.: Industrial usage of formal development methods-the vse-tool applied in pilot projects. In: COMPASS 1996. Proceedings of the Eleventh Annual Conference on Computer Assurance Systems Integrity. Software Safety. Process Security, Gaithersburg, MD, pp. 56–64. IEEE, Los Alamitos (1996)

    Google Scholar 

  35. Larsen, P.G.: Applying formal specification in industry. IEEE Software 13(3), 48–56 (1996)

    Article  Google Scholar 

  36. Le Charlier, B., Flener, P.: Specifications are necessarily informal or: Some more myths of formal methods. Journal of Systems and Software (40), 275–296 (1998)

    Article  Google Scholar 

  37. McDermid, J., Galloway, A., Burton, S., Clark, J., Toyn, I., Tracey, N., Valentine, S.: Towards industrially applicable formal methods: Three small steps, and one giant leap. In: Staples, J., Hinchey, M.G., Liu, S. (eds.) Conference on Formal Engineering Methods, Brisbane, Qld., Australia, pp. 76–88. IEEE Comput. Soc., Los Alamitos (1998)

    Google Scholar 

  38. Parnas, D.: Software aging. In: Proceedings of the 16th International Conference on Software Engineering, Sorrento, Italy, pp. 279–287. IEEE Press, Los Alamitos (1994)

    Google Scholar 

  39. Paulk, M.C., Curtis, B., Averill, E., Bamberger, J., Kasse, T., Konrad, M., Perdue, J., Weber, C., Withey, J.: Capability maturity model for software. Technical Report CMU/SEI-91-TR-24 ADA240603, Software Engineering Institute (1991)

    Google Scholar 

  40. Pedersen, J.S.: Introduction to formal methods and experiences from the lacos and orsted projects. In: IEE Colloquium on Industrial Use of Formal Methods, volume Digest No: 1977/171, pp. 2/1–2/3, London, UK (1997)

    Google Scholar 

  41. Petersen, J.L.: Automatic verification of railway interlocking systems: a case study. In: FMSP 1998, Clearwater, Fl, USA, pp. 1–6. ACM, New York (1998)

    Google Scholar 

  42. Puccetti, A.: Improving the software evolution process using mixed specification techniques. Technical Report 27492 ESSI - ISEPUMS, Esprit (2000)

    Google Scholar 

  43. Romanski, G.: The challenges of software certification. CrossTalk, 2001. Available at Software Technology Support Center website (September 2001)

    Google Scholar 

  44. Snook, C., Harrison, R.: Practitioners’ views on the use of formal methods: an industrial survey by structured interview. Information and Software Technology 43(4), 275–283 (2001)

    Article  Google Scholar 

  45. Stavely, A.M.: Integrating Z and cleanroom. In: Proceedings of the Fifth Annual Langley Formal Methods Workshop, Langley, Va. NASA (2000)

    Google Scholar 

  46. Weil, F.: Wift 1998 working group report: Incorporating formal methods onto industrial process. In: Workshop on Industrial Strength Formal Methods 1998, Boca Raton, Fla, USA, pp. 134–136. IEEE Computer Society, Los Alamitos (1998)

    Google Scholar 

  47. Wieringa, R., Dubois, E.: E Dubois. Integrating semi-formal and formal software specification techniques. Information Systems 23(3-4), 159–178 (1998)

    Article  Google Scholar 

  48. Wong, A., Chechik, M.: Formal modeling in a commercial setting: a case study. In: Wing, J.M., Woodcock, J.C.P., Davies, J. (eds.) FM 1999. LNCS, vol. 1708, pp. 590–607. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Snaptrack Inc., Campbell, California, USA

    Donna C. Stidolph

  2. University of California, Santa Cruz, USA

    James Whitehead

Authors
  1. Donna C. Stidolph
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. James Whitehead
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science and Communication Engineering, Graduate School of Information Science and Electrical Engineering, Kyushu University, 6-10-1-Hakozaki, Higashi-ku, 812-8581, Fukuoka, Japan

    Keijiro Araki

  2. Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo”, ISTI - CNR, Pisa, Italy

    Stefania Gnesi

  3. Dipartimento di Elettronica e Informazione, Politecnico di Milano, Italy

    Dino Mandrioli

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Stidolph, D.C., Whitehead, J. (2003). Managerial Issues for the Consideration and Use of Formal Methods. In: Araki, K., Gnesi, S., Mandrioli, D. (eds) FME 2003: Formal Methods. FME 2003. Lecture Notes in Computer Science, vol 2805. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45236-2_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-45236-2_11

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-40828-4

  • Online ISBN: 978-3-540-45236-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation