| Indirect Use of Formal Methods in Software Engineering (1995) | |||||||||||||||
Abstract | |||||||||||||||
| : This position statement points out the advantages of using formal methods indirectly for the development of software. It is admitted that formal methods are not adequate for the daily use in large software development projects, except of a few specialised application areas. However, it is argued that formal methods are well-suited for the analysis of the notions and tools which are used in practice. So formal methods can be used indirectly in practice, keeping the formal notation invisible during the actual development work. Examples for indirect use of formal methods are given, including a recent case study on formal foundations for SSADM which was carried out by the author. Formal methods are also considered helpful in customising software development methods for specific software development cultures. 1 Introduction Twenty-five years ago, when the term "Software Engineering" was coined, many researchers expected a revolutionary change for software production from mat... | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||