Managerial issues for the consideration and use of formal methods

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2805, Issue , 2003, Pages 170-186

  Stidolph, Donna C ^a   Whitehead, James ^b  

^a QUALCOMM INC   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Cost; Formal methods; Program management; Requirements; Schedule; Specification

Indexed keywords

COSTS; MANAGERS; SCHEDULING; SPECIFICATIONS;

GO/NO-GO; PROGRAM MANAGEMENT; PROGRAM MANAGER; REQUIREMENTS;

FORMAL METHODS;

EID: 35248853027     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45236-2_11     Document Type: Article

References (48)

1. Glenn Ammons, Rastislav Bodik, and James R Larus. Mining specifications. ACM Sigplan Notices, 37(1):4-16, 2002.
2. Mark R. Blackburn and Robert D. Busser. Requirements for industrial-strength formal methods tools. In Workshop on Industrial Strength Formal Specification Techniques, pages 137-8, Boca Raton, Fl., 1998. IEEE.
3. J. P. Bowen. Formal methods in safety-critical standards. In 1993 Software Engineering Standards Symposium, pages 168-177. IEEE Computer Society Press, 1993.
4. J. P. Bowen. Ten commandments of formal methods. IEEE Computer, 28(4):56-63, 1995.
5. Jonathan Bowen and Victoria Stavridou. The industrial take-up of formal methods in safety critical and other areas: a perspective. In FME'93: Industrial Strength Formla Methods, volume First International Symposium of Formal Methods Europe Proceedings, pages 183-195. Springer-Verlag, 1993.
6. Jonathan Bowen and Victoria Stavridou. Safety-critical systems, formal methods and standards. Software Engineering Journal, 8:189-209, 1993.
7. J.P. Bowen and M.G. Hinchey. The use of industrial-strength formal methods. In Twenty-First Annual International Computer Software and Applications Conference, pages 332-7, Washington, DC, USA, 1997. IEEE Comput. Soc.
8. J.P Bowen and M. G. Hinchley. Seven more myths of formal methods. IEEE Software, 12(4):34-41, 1995.
9. Jean-Michel Bruel. Integrating formal and informal specification techniques. why? how? In Proceedings of the 2nd IEEE Workshop on Industrial-Strength Formal Specification Techniques (WIFT'98), pages 50-57, Boca Raton, Florida, 1999. IEEE Computer Press.
10. A.. Butterfield. Introducing formal methods to existing processes. In IEE Colloquium on Industrial Use of Formal Methods, London, UK, 1997. IEE.
11. E Ciapessoni, E. Crivelli, and P Mirandola. From formal models to formally based methods: an industrial experience. ACM Transactions on Software Engineering and Methodology, 8(1):79-113, 1999.
12. G. Cleland and D. MacKenzie. Inhibiting factors, market structure and the industrial uptake of formal methods. In Workshop on Industrial-Strength Formal Specification Techniques, pages 46-60, Boca Raton, FL, USA, 1995. IEEE Comput. Soc. Press.
13. Tim Clement. Re dust expert. Private correspondence, 2002.
14. Software Productivity Consortium. Rtca do-178b, 2002.
15. Dan Craigen and Susan Gerhart. Formal methods reality check: Industrial usage. IEEE Transactions on Software Engineering, 21(2):90-98, 1995.
16. Dan Craigen, Susan Gerhart, and T. Ralston. An international survey of industrial applications of formal methods. Technical Report NIST GCR 93/626, US Dept of Commerce, 1993.
17. J. Dick and E. Woods. Lessons learned from rigorous system software development. Information and Software Technology, 39(8):551-60, 1997.
18. S. Easterbrook, R. Lutz, R. Covington, J. Kelly, Y. Ampo, and D. Hamilton. Experiences using lightweight formal methods for requirements modeling. IEEE Transactions on Software Engineering, 24(1):4-14, 1998.
19. K. Finney and N. Fenton. Evaluating the effectiveness of z: the claims made about cics and where we go from here. Journal of Systems and Software, 35(3):209-16, 1996.
20. P. Garbett, J.P. kes, M. Shackleton, and S Anderson. Secure synthesis of code: a process improvement experiment. In J.M. Wing, J. Woodcock, and J. Davies, editors, FM'99 - World Congress on Formal Methods in the Development of Computing Systems, volume II, pages 1816-1835, Toulouse, France, 1999. Springer-Verlag.
21. Anthony Hall. Using formal methods to develop an atc information system. IEEE Software, 13(2):66-76, 1996.
22. Anthony Hall. What does industry need from formal specification techniques? In Second IEEE Workshop on Industrial Strength Formal Specification Techniques, pages 2-7, Los Alamitos, Cal, 1999. IEEE.
23. Anthony Hall and Shari Lawrence Pleeger. Some metrics from a formal development. In IEE Colloquium on 'Practical Application of Formal Methods', volume Digest No.1995/109, pages 6/1-4, London, UK, 1995. IEE.
24. C. Heitmeyer. On the need for practical formal methods. In A.P. Ravn and H. Rischel, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, pages 18-26, Lygby, Denmark, 1998. Springer-Verlag.
25. C. Michael Holloway and Ricky Butler. Impediments to the industrial use of formal methods. IEEE Computer, 29(4):25-26, 1996.
26. Manuel J. Fernandez Iglesias, Fransisco J. Gonzalez-Castano, Jose M. Pousada Carballo, Martin Llamas Nistal, and Alberto Romero Feijoo. From complex specifications to a working prototype, a protocol engineering study. In J.N. Oliveira and P. Zave, editors, FME 2001, volume LNCS 2021, pages 436-448. Springer-Verlag, 2001.
27. Michael Jackson. Formal methods and traditional engineering. Journal of Systems and Software, 40:191-194, 1998.
28. L.J. Jagadeesan, P. Godefroid, J. Kelly, S. Miller, and Frank Weil. Transferring formal methods technology to industry. In Second IEEE Workshop on Industrial Strength Formal Specification Techniques, pages 128-131. IEEE, 1998.
29. Sara Jones, David Till, and Ann M. Wrightson. Formal methods and requirements engineering: Challenges and synergies. Journal of Systems and Software, 40(3):263-73, 1998.
30. Shmuel Katz. Faithful translations among models and specifications. In J.N. Oliveira and P. Zave, editors, FME 2001, volume LNCS 2021, pages 419-434. Verlag-Springer, 2001.
31. Richard Kemmerer. Integrating formal methods into the development process. IEEE Software, 7(5):37-50, 1990.
32. Steve King, Jonathan Hammond, Robd Chapman, and Andy Pryor. Is proof more cost-effective than testing? IEEE Transactions on Software Engineering, 26(8):675-685, 2000.
33. John Knight, Colleen DeJong, Matthew Gibble, and Luis Nakan. Why are formal methods not used more widely? In Langley Formal Methods Workshop. NASA, 1997.
34. F. Koob, M. Ullmann, and S. Wittmann. Industrial usage of formal development methods-the vse-tool applied in pilot projects. In COMPASS '96. Proceedings of the Eleventh Annual Conference on Computer Assurance Systems Integrity. Software Safety. Process Security, pages 56-64, Gaithersburg, MD, 1996. IEEE.
35. Peter Gorm Larsen. Applying formal specification in industry. IEEE Software, 13(3):48-56, 1996.
36. Baudouin Le Charlier and Pierre Flener. Specifications are necessarily informal or: Some more myths of formal methods. Journal of Systems and Software, (40):275-296, 1998.
37. J. McDermid, A. Galloway, S. Burton, J. Clark, I. Toyn, N. Tracey, and S. Valentine. Towards industrially applicable formal methods: Three small steps, and one giant leap. In J. Staples, M.G. Hinchey, and S. Liu, editors, Conference on Formal Engineering Methods, pages 76-88, Brisbane, Qld., Australia, 1998. IEEE Comput. Soc.
38. David Parnas. Software aging. In Proceedings of the 16th International Conference on Software Engineering, pages 279-287, Sorrento, Italy, 1994. IEEE Press.
39. M. C. Paulk, B. Curtis, E. Averill, J. Bamberger, T. Kasse, M. Konrad, J. Perdue, C. Weber, and J. Withey. Capability maturity model for software. Technical Report CMU/SEI-91-TR-24 ADA240603, Software Engineering Institute, 1991.
40. J.S. Pedersen. 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, pages 2/1-2/3, London, UK, 1997.
41. Jakob Lyng Petersen. Automatic verification of railway interlocking systems: a case study. In FMSP 98, pages 1-6, Clearwater, Fl, USA, 1998. ACM.
42. A. Puccetti. Improving the software evolution process using mixed specification techniques. Technical Report 27492 ESSI - ISEPUMS, Esprit, 2000.
43. G. Romanski. The challenges of software certification. CrossTalk, Sep 2001 2001. Available at Software Technology Support Center website:.
44. C. Snook and R. Harrison. Practitioners' views on the use of formal methods: an industrial survey by structured interview. Information and Software Technology, 43(4):275-83, 2001.
45. Allen M Stavely. Integrating Z and cleanroom. In Proceedings of the Fifth Annual Langley Formal Methods Workshop, Langley, Va, 2000. NASA.
46. Frank Weil. Wift '98 working group report: Incorporating formal methods onto industrial process. In Workshop on Industrial Strength Formal Methods '98, pages 134-6, Boca Raton, Fla, USA, 1998. IEEE Computer Society.
47. R. Wieringa and E Dubois. Integrating semi-formal and formal software specification techniques. Information Systems, 23(3-4):159-78, 1998.
48. A. Wong and M. Chechik. Formal modeling in a commercial setting: a case study. In J.M. Wing, J. Woodcock, and J. Davies, editors, FM'99 - World Congress on Formal Methods in the Development of Computing Systems., volume I of Lecture Notes in Computer Science, pages 590-607, Toulouse, France, 1999. Springer-Verlag.