Really Rethinking 'Formal Methods'

Abstract

We must question the assumptions underlying the well-known current formal software development methods to see why they have not been widely adopted and what should be changed.

Authors

Parnas DL

Journal

Computer, Vol. 43, No. 1, pp. 28–34

Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Publication Date

January 1, 2010

DOI

10.1109/mc.2010.22

ISSN

0018-9162

Associated Experts

David Parnas

Professor Emeritus, Faculty of Engineering

Visit profile

Labels

Fields of Research (FoR)

46 Information and computing sciences 4612 Software Engineering

View published work (Non-McMaster Users)

View published work (McMaster Users)

Contact the Experts team

Get technical help

Provide website feedback