论文信息 - Formalizing Requirements Systematically

Formalizing Requirements Systematically

“Structured Common Sense” (SCS) is a method for eliciting requirements and formalizing them in modal action logic (MAL). SCS was developed using the methodology of focussing on MAL’s principle concepts and abstract syntactic categories, and inventing or selecting techniques suitable for exactly those concepts. SCS is well suited to MAL because it is directly targeted on it.

Colin Potts | Anthony Finkelstein

[1] Michael Jackson,et al. Principles of program design , 1975 .

[2] Michael Jackson. Constructive Methods of Program Design , 1976 .

[3] Douglas T. Ross,et al. Structured Analysis for Requirements Definition , 1977, IEEE Transactions on Software Engineering.

[4] G. P. Mullery,et al. CORE - a method for controlled requirement specification , 1979, ICSE 1979.

[5] Peter J. Brown,et al. Software engineering 86 , 1986 .

[6] Anthony Finkelstein,et al. Formal requirements specification: the FOREST project , 1986 .

[7] Pamela Zave,et al. The operational versus the conventional approach to software development , 1984, CACM.

[8] James F. Allen. Maintaining knowledge about temporal intervals , 1983, CACM.

[9] Tom DeMarco,et al. Structured Analysis and System Specification , 1978 .