A cooperative framework for software engineering

A formal framework for understanding the software development process is proposed, and software development as cooperative work is considered. The requirements for a framework are reviewed and set in the context of an established development paradigm. An underlying model of cooperative based on dialog is motivated and outlined. A formal scheme for expressing this model is introduced, and the basis constructs are described. Examples of the application of the framework taken from a small specification case study are provided. A tool to investigate software development in this style is presented. Software development strategies and methods are discussed. Future research directions are briefly presented.<
>