Show simple item record

dc.contributor.authorLe Charlier, B.en_US
dc.contributor.authorFlener, P.en_US
dc.date.accessioned2015-07-28T11:56:43Z
dc.date.available2015-07-28T11:56:43Z
dc.date.issued1998en_US
dc.identifier.issn0164-1212
dc.identifier.urihttp://hdl.handle.net/11693/11055en_US
dc.description.abstractWe 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 means of non-formal reasonings, which should be as explicit as possible. This allows us to explain why specifications cannot be written in a strictly formal language. Our view of specifications does not imply a rejection of all ideas put forward in the literature on formal methods. On the contrary, we agree with the proponents of formal methods on most of their arguments, except on those following from the assumption that specifications could (or should) be formal. Finally, we examine why the role and nature of specifications are so often misunderstood. © 1998 Elsevier Science Inc.en_US
dc.language.isoEnglishen_US
dc.source.titleJournal of Systems and Softwareen_US
dc.relation.isversionofhttp://dx.doi.org/10.1016/S0164-1212(98)00172-1en_US
dc.subjectComputer Hardware Description Languagesen_US
dc.subjectComputer Scienceen_US
dc.subjectComputer Softwareen_US
dc.subjectFormal Languagesen_US
dc.subjectNon Formal Methodsen_US
dc.subjectFormal Logicen_US
dc.titleSpecifications are necessarily informal or: some more myths of formal methodsen_US
dc.typeArticleen_US
dc.departmentDepartment of Computer Engineeringen_US
dc.citation.spage275en_US
dc.citation.epage296en_US
dc.citation.volumeNumber40en_US
dc.citation.issueNumber3en_US
dc.identifier.doi10.1016/S0164-1212(98)00172-1en_US
dc.publisherElsevieren_US
dc.identifier.eissn1873-1228


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record