16725 search results - page 40 / 3345 » Engineering Software Correctness |
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
Completing software maintenance and evolution tasks for today’s large, complex software systems can be difficult, often requiring considerable time to understand the system well...
FASE
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. When model checking a software component, a model of the environment in which that component is supposed to run is constructed. One of the major threats to the validity o...
SIGSOFT
2005
ACM
16 years 16 days ago
2005
ACM
126
click to vote
KBSE
2010
IEEE
14 years 10 months ago
2010
IEEE
A method is described for automatically repairing legacy software at the assembly code level using evolutionary computation. The technique is demonstrated on Java byte code and x8...
EUROMICRO
2002
IEEE
15 years 4 months ago
2002
IEEE
Today there is a number of established software development lifecycle models (SDLMs) supporting software development. Correct implementation of these models helps develop software...