2132 search results - page 158 / 427 » Automated software winnowing |
CL
2006
Springer
14 years 11 months ago
2006
Springer
Intensional views and relations have been proposed as a way of actively documenting high-level structural regularities in the source code of a software system. By checking conform...
103
click to vote
COMPSAC
2003
IEEE
15 years 4 months ago
2003
IEEE
Short product cycles and rapidly changing requirements are increasingly forcing developers to use agile development strategies like extreme programming and test–driven developme...
DLOG
2007
15 years 1 months ago
2007
Object-Role modellers miss the advantages of automated reasoning over their ORM conceptual models, which could be addressed by DL reasoners. DLs are not considered user-friendly an...
HICSS
2007
IEEE
15 years 5 months ago
2007
IEEE
There are many commercial software security assurance tools that claim to detect and prevent vulnerabilities in application software. However, a closer look at the tools often lea...
COMPSAC
2006
IEEE
15 years 5 months ago
2006
IEEE
Even though traceability is legally required in most safety critical software applications and is a recognized component of many software process improvement initiatives, organiza...