Mark Priestley - The Logic of Correctness in Software Engineering

[gusl]

Mark Priestley - 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.

He discusses Dijkstra and Lakatos in the same paper!

Comments

[xpaerimtlslaekv.livejournal.com]

the architecture of proof optimizations and certainty [within the self,

an interesting article: look for proof carrying code and optimizations... (http://66.102.7.104/search?q=cache:otKbhbFGnc8J:https://www.cs.unm.edu/research/view_all_technical_reports/+%22proof-carrying+code%22+loopy+logic&hl=en)

optimizations and the architecture of proof.... [or the optimized self...

..... I need some colloborate debate to be back to...