Title :
Really Rethinking ´Formal Methods´
Author :
Parnas, David Lorge
Author_Institution :
McMaster Univ., Hamilton, ON, Canada
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.
Keywords :
formal specification; software engineering; formal methods; software development; Programming; Formal methods; Software development; Software documentation;
