Title : 
A cooperative framework for software engineering
         
        
            Author : 
Finkelstein, Anthony ; Fuks, Hugo
         
        
            Author_Institution : 
Dept. of Comput., Imperial Coll. of Sci. & Technol., London, UK
         
        
        
        
        
        
            Abstract : 
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
         
        
            Keywords : 
software engineering; cooperative framework; formal framework; software development process; software engineering; specification case study; Animation; Joining processes; Merging; Natural languages; Problem-solving; Programming profession; Protocols; Software engineering;
         
        
        
        
            Conference_Titel : 
System Sciences, 1989. Vol.II: Software Track, Proceedings of the Twenty-Second Annual Hawaii International Conference on
         
        
            Conference_Location : 
Kailua-Kona, HI
         
        
            Print_ISBN : 
0-8186-1912-0
         
        
        
            DOI : 
10.1109/HICSS.1989.47992