Browsing by Keywords "Non Formal Methods"
Now showing items 1-1 of 1
-
Specifications are necessarily informal or: some more myths of formal methods
(Elsevier, 1998)We reconsider the concept of specification in order to bring new insights into the debate of formal versus non-formal methods in computer science. In our view, the correctness of a useful program corresponds to an objective ...