10241 search results - page 429 / 2049 » Goal-Driven Software Development |
181
click to vote
ESE
1998
15 years 6 months ago
1998
Software inspection is an e ective method of defect detection. Recent research activity has considered the development of tool support to further increase the e ciency and e ectiv...
172
click to vote
SAFECOMP
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We present several problem frames that serve to structure, characterize and analyze software development problems in the area of software and system security. These probl...
149
click to vote
ISICT
2003
15 years 8 months ago
2003
Abstract: A vision of tools to support software development organizations in the process of development, maintenance and evolution of systems is presented. The envisioned tools see...
193
click to vote
PERCOM
2004
ACM
16 years 6 months ago
2004
ACM
There is growing interest in the use of context-awareness as a technique for developing pervasive computing applications that are flexible, adaptable, and capable of acting autono...
160
click to vote
LPAR
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...