DocumentCode
283353
Title
Formal methods: the broad and the narrow view
Author
Long, John ; Dowell, John
Author_Institution
Ergonomics Unit, Univ. Coll. London, UK
fYear
1988
fDate
32195
Firstpage
42491
Abstract
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
Keywords
software engineering; user interfaces; formal methods; human-computer interaction; paradigms; system development;
fLanguage
English
Publisher
iet
Conference_Titel
Formal Methods and Human-Computer Interaction: II, IEE Colloquium on
Conference_Location
London
Type
conf
Filename
209313
Link To Document