1799 search results - page 22 / 360 » The Logic of Correctness in Software Engineering |
125
click to vote
APSEC
2009
IEEE
15 years 8 months ago
2009
IEEE
— This paper describes a controlled experiment of student programmers performing maintenance tasks on a C++ program. The goal of the study is to assess the maintenance size, effo...
104
click to vote
ARCS
2006
Springer
15 years 5 months ago
2006
Springer
: We investigate image steganography under re-encoding of images. After a secret message or a digital watermark is embedded into a jpeg image, quite frequently the image is re-enco...
105
click to vote
DAGSTUHL
2006
15 years 3 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
125
click to vote
EMSOFT
2011
Springer
14 years 1 months ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
FOSSACS
2009
Springer
15 years 8 months ago
2009
Springer
