Practitioners' views on the use of formal methods: An industrial survey by structured interview

Information and Software Technology

Volumn 43, Issue 4, 2001, Pages 275-283

  Snook, C ^a   Harrison, R ^b  

^a UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

^b UNIVERSITY OF READING   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DATA STRUCTURES; FORMAL LOGIC;

EMPIRICAL ASSESSMENTS;

SOFTWARE ENGINEERING;

EID: 0035280844     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-5849(00)00166-X     Document Type: Article

References (13)

1. Ministry of Defence: Def Stan 00-55, Requirements for Safety Related Software in Defence Equipment, issue 2, 1997.
2. Bowen J., Hinchey M. Seven more myths of formal methods. IEEE Software. 12:(4):1995;34-41.
3. Brookes T.M., Fitzgerald J.S., Larsen P. Formal and informal specifications of a secure component: final results in a comparative study FME '96: Industrial Benefit and Advances in Formal Methods. 1996;Springer, Berlin. (pp. 214-227).
4. J. Bruel, R. France, Transforming UML models to formal specifications, Proceedings of the OOPSLA '98 Workshop on Formalising UML. Why? How? 1998.
5. J. Daly, Replication and a Multi-Method Approach to Empirical Software Engineering Research, PhD Thesis, University of Strathclyde, 1996.
6. Fenton N. How effective are software engineering methods. Journal of Systems Software. 22:1993;141-146.
7. Fraser M.D., Kumar K., Vaishnavi V.K. Strategies for incorporating formal specifications in software development. Communications of the ACM. 37:(10):1994;74-86.
8. Glass R. The software research crisis. IEEE Software. 1994;42-48.
9. Hall A. Seven myths of formal methods. IEEE Software. 9:1990;11-19.
10. Kitchenham B. Evaluating software engineering methods and tools - part 1. ACM SIGSOFT Software Engineering Notes. 21:(1):1996;11-15.
11. Kitchenham B. Evaluating software engineering methods and tools - part 2. ACM SIGSOFT Software Engineering Notes. 21:(2):1996;11-16.
12. Kitchenham B., Linkman S., Law D. Critical review of quantitative assessment. Software Engineering Journal. 1994.
13. P.B. Pannell, D.J. Pannell, Introduction to Social Surveying: Pitfalls, Potential Problems and Preferred Practices, SEA Working Paper 99/04, 1999 http://www.general.uwa.edu.au/u/dpannell/seameth3.htm .