1799 search results - page 1 / 360 » The Logic of Correctness in Software Engineering |
CAISE
2005
Springer
13 years 10 months ago
2005
Springer
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, ...
JFP
2007
13 years 4 months ago
2007
Software engineering courses offer one of many opportunities for providing students with a significant experience in declarative programming. This report discusses some results fr...
VSTTE
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. The Verifying Compiler checks the correctness of the program it compiles. The workhorse of such a tool is the reasoning engine, which decides validity of formulae in a su...
DRM
2007
Springer
13 years 10 months ago
2007
Springer
The goal of obfuscation is to transform a program, without affecting its functionality, such that some secret information within the program can be hidden for as long as possible...
ICSE
2008
IEEE-ACM
14 years 5 months ago
2008
IEEE-ACM
Graduates of computer science degree programs are increasingly being asked to maintain large, multi-threaded software systems; however, the maintenance of such systems is typicall...