Observations on industrial practice using formal methods

• Published in: Proceedings of 1993 15th International Conference on Software Engineering pp. 24 - 33
• Main Authors: Gerhart, S., Craigen, D., Ralston, T.
• Format: Conference Proceeding
• Language: English
• Published: IEEE Comput. Soc. Press 1993
• Subjects: Application software; Arithmetic; Certification; Marine vehicles; Oscilloscopes; Satellites; Software engineering; Software systems; Systems engineering and theory; Terminology
• ISBN: 9780818637001; 0818637005
• ISSN: 0270-5257
• DOI: 10.1109/ICSE.1993.346058

Formal methods refer to the use of mathematically based techniques in software and system engineering. The authors summarize observations on their use in a dozen applications in industrial settings. Application goals ranged from reengineering to system certification. The purpose is to extract some of the key observations about practice in software engineering terms with minimal reference to formal methods terminology and glossing over distinctions among methods. The methodology of the study is described. Applications include oscilloscopes, nuclear reactors, trains, planes, ships, satellites, smartcards, transaction processing, arithmetic units, networks, medical instruments, and language processors. The observations follow from a systematic survey of these applications using a structured interview process and analysis of results using a set of features covering various aspects of practice: process, methods, tools, and technology transfer.< >