"Formal methods" technology transfer will fail

Journal of Systems and Software

Volumn 40, Issue 3, 1998, Pages 195-198

  Parnas, David Lorge ^a  

^a MCMASTER UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED INSTRUCTION; ENGINEERING EDUCATION; TECHNOLOGY TRANSFER;

FORMAL METHODS TECHNOLOGY TRANSFER;

FORMAL LOGIC;

EID: 0032022685     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0164-1212(97)00166-0     Document Type: Article

References (4)

1. Parnas, D. L., Mathematical Descriptions and Specification of Software. Proceedings of IFIP World Congress 1994a, Volume I, August 1994, pp. 354-359.
2. Parnas, D. L., Inspection of Safety Critical Software using Function Tables. Proceedings of IFIP World Congress 1994, Volume III, August 1994b, pp. 270-277.
3. Parnas, D. L., Asmis, G. J. K., Madey, J., Assessment of Safety-Critical Software in Nuclear Power Plants. Nuclear Safety, Vol. 32, No. 2, (1991), pp. 189-198.
4. Parnas, D. L., Madey, J., Functional Documentation for Computer Systems Engineering. Science of Computer Programming, Vol. 25, No. 1, (1995), pp. 41-61.