Sciweavers

Share
CAISE
2005
Springer

The Logic of Correctness in Software Engineering

11 years 7 months ago
The Logic of Correctness in Software Engineering
Abstract. 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.
Mark Priestly
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where CAISE
Authors Mark Priestly
Comments (0)
books