Formal methods: the broad and the narrow view

摘要

Proposes a broad and a narrow view of formal methods. The views are contrasted in terms of a framework which characterises the methods, concepts, forms of system development and paradigms of human-computer interaction. In addition, the framework is shown to have potential for clarifying confusions about formal methods and for characterising individual attempts to develop formal methods.