Formal methods: the broad and the narrow view
John B. Long, John Derek Dowell · UCL Discovery (University College London) · 1988
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.