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.
['David Lorge Parnas']
Really Rethinking 'Formal Methods'