This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, and the contrasting methodological approaches of formal methods and testing. It is argued that software engineering has neglected performative accounts of software development in favour of those inspired by formal logic.
CITATION STYLE
Priestley, M. (2011). The Logic of Correctness in Software Engineering (pp. 253–276). https://doi.org/10.1007/978-1-84882-555-0_10
Mendeley helps you to discover research relevant for your work.