Incorporating design explanation within formal object-oriented method (FOOM)

Specifically investigates incorporating a formal design explanation process within the requirements engineering method "FOOM". More generally, the research generated a new understanding of the nature of requirements engineering as inherently insight-driven and opportunistic; and offers an informed basis from which to approach managment of the requirements engineering process.

[1]  Paul A. Swatman,et al.  Extending the Useful Application Domain for Formal Methods , 1991, Z User Workshop.

[2]  Graeme Smith,et al.  The object-Z specification language: version 1 , 1991 .

[3]  Carroll Morgan,et al.  Programming from specifications , 1990, Prentice Hall International Series in computer science.

[4]  Danielle Fowler.  Formal Methods in a Commercial Information Systems Setting: the FOOM Method , 1996 .

[5]  Anthony Hall,et al.  Seven myths of formal methods , 1990, IEEE Software.

[6]  Herbert E Cohen.  Software Engineering in Ada , 1988 .

[7]  Chris Dollin,et al.  Object-oriented development: the fusion method , 1994 .

[8]  Paula M. C. Swatman,et al.  Electronic Data Interchange a High-level Formal Specification in Object-Z , 1991 .

[9]  Jim E. Everett,et al.  Stages of Growth of an Innovative Software House: An Additional Criterion for Software Package Selection , 1990, Aust. Comput. J..

[10]  Frederick P. Brooks,et al.  No Silver Bullet: Essence and Accidents of Software Engineering , 1987 .

[11]  Tom DeMarco,et al.  Structured Analysis and System Specification (Reprint) , 2002, Software Pioneers.

[12]  Jeannette M. Wing.  A specifier's introduction to formal methods , 1990, Computer.

[13]  Trevor Wood-Harper,et al.  Multiview - An Exploration in Information Systems Development , 1986, Aust. Comput. J..

[14]  Ellis Horowitz,et al.  An Expansive View of Reusable Software , 1984, IEEE Transactions on Software Engineering.

[15]  Peter Checkland,et al.  Systems Thinking, Systems Practice , 1981 .

[16]  PA Swatman,et al.  Formal specification – an analytic tool for (management) information systems , 1992, Inf. Syst. J..

[17]  Enid Mumford,et al.  Computer systems in work design--the ETHICS method : effective technical and human implementation of computer systems , 1979 .