Constructing Specifications by Combining Parallel Elaborations

IEEE Transactions on Software Engineering

Volumn 15, Issue 2, 1989, Pages 198-208

  Feather, Martin S ^a  

^a UNIVERSITY OF SOUTHERN CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA PROCESSING--HOSPITAL APPLICATIONS;

ELABORATION OF DESIGNS; FORMAL SPECIFICATIONS; HIGH LEVEL EDITING; PATIENT MONITORING SYSTEM;

COMPUTER SOFTWARE;

EID: 0024612323     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.21745     Document Type: Note

References (2)

1. R. Balzer, “Evolution as a new basis for reusability,” in Proc. ITT Workshop Reusability in Programming, Newport. RI, 1983, pp. 8082.
2. R. Balzer, “Automated enhancement of knowledge representations,” in Proc. 9th Int. Joint Conf. Artificial Intelligence, A. Joshi, Ed., Los Angeles, CA, Aug. 1985, pp. 203–207.