Title :
Software process in a concurrent, formally-based framework
Author :
Sa, J. ; Keane, J.A. ; Warboys, B.C.
Author_Institution :
Dept. of Comput., Univ. of West of England, Bristol, UK
Abstract :
The specification and refinement of a large software system is given using a concurrent, formally based framework. The framework, OBM, is concerned with the development of software process models. The case study of interest is an ICL retail system. In this paper, OBM is applied to the development of the system
Keywords :
formal specification; temporal logic; ICL retail system; OBM; concurrent formally-based framework; large software system; refinement; software process models; specification; Application software; Joining processes; Keyboards; Logic; Marketing and sales; Poles and towers; Prototypes; Software systems;
Conference_Titel :
Systems, Man, and Cybernetics, 1996., IEEE International Conference on
Conference_Location :
Beijing
Print_ISBN :
0-7803-3280-6
DOI :
10.1109/ICSMC.1996.571385
