16725 search results - page 9 / 3345 » Engineering Software Correctness |
88
Voted
ENTCS
2010
14 years 11 months ago
2010
In component-based software engineering, reconfiguration describes structural changes to the architecture of a component system. For stateful components, not only structural but a...
120
click to vote
PAMI
2012
13 years 2 months ago
2012
—We present an algorithm that simultaneously calibrates two color cameras, a depth camera, and the relative pose between them. The method is designed to have three key features: ...
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
There has been little research on end-user program development beyond the activity of programming. Devising ways to address additional activities related to end-user program devel...
111
Voted
VSTTE
2005
Springer
15 years 5 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...
101
Voted
ICSM
2009
IEEE
15 years 6 months ago
2009
IEEE
Existing studies on the maintenance of open source projects focus primarily on the analyses of the overall maintenance of the projects and less on specific categories like the co...