An invitation to formal methods

Computer

Volumn 29, Issue 4, 1996, Pages 16-17

  Saiedian, Hossein ^a  

^a UNIVERSITY OF NEBRASKA AT OMAHA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; FORMAL LOGIC; RELIABILITY;

FORMAL METHODS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0030126057     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/mc.1996.488298     Document Type: Article

References (1)

1. B. Boehm, "Improving Software Productivity," IEEE Computer, Vol. 20, No. 10, Sept. 1987, pp. 43-58.