DocumentCode
306472
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
Volume
2
fYear
1996
fDate
14-17 Oct 1996
Firstpage
1580
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man, and Cybernetics, 1996., IEEE International Conference on
Conference_Location
Beijing
ISSN
1062-922X
Print_ISBN
0-7803-3280-6
Type
conf
DOI
10.1109/ICSMC.1996.571385
Filename
571385
Link To Document