The Roles of Formal Specification in the System Design Process

概要

論文の詳細を見る
Incomplete and ambiguous problem requirements are inherent to system design. Two. fundamental parts of the design process are understanding and elaborating these requirements [Gui9O]. These activities are carried out continuously during the design process, but two of the more important mechanisms used are simulations within the problem domain and construction of solutions. These are both effective because they generate questions about the problem which helps the designer to discover the incompleteness, ambiguity, and perhaps contradictions within the problem requirements. However, there is another well known, but infrequently practiced, method to structure problems: we can write a formal specification of the problem. This paper shows how formal specifications can be a useful tool in the psychological investigation of the design process and how existing psychological results can illustrate the roles of formal specification and how they can be better integrated and supported. We will illustrate this interaction by examining the activities of writing and using formal specifications. The use of formal methods to ensure correctness is not explicitly addressed.
一般社団法人情報処理学会の論文
1991-02-25