Specifications are necessarily informal or: Some more myths of formal methods

@article{Charlier1998SpecificationsAN,
  title={Specifications are necessarily informal or: Some more myths of formal methods},
  author={Baudouin Le Charlier and Pierre Flener},
  journal={Journal of Systems and Software},
  year={1998},
  volume={40},
  pages={275-296}
}
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 fact, which must have a simple, precise, and understandable formulation. As a consequence, a specification can (and must) only make precise the link existing between the program (formality) and its purpose (informality). Moreover, program correctness can be argued only by… CONTINUE READING
Highly Cited
This paper has 27 citations. REVIEW CITATIONS