16725 search results - page 512 / 3345 » Engineering Software Correctness |
210
click to vote
KBSE
2002
IEEE
15 years 12 months ago
2002
IEEE
ort gives their abstracts. s of the position papers Recent Experiences with Code Generation and Task Automation Agents in Software Tools (J. Grundy, J. Hosking) As software grows i...
216
click to vote
HICSS
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract: Software product line engineering is an established methodology for fast and effective development of software-intensive systems and services. To reap maximum benefits fr...
203
click to vote
ISSTA
2010
ACM
15 years 11 months ago
2010
ACM
In program debugging, finding a failing run is only the first step; what about correcting the fault? Can we automate the second task as well as the first? The AutoFix-E tool au...
162
click to vote
JISBD
2000
15 years 8 months ago
2000
The IEEE Computer Society and the Association for Computing Machinery are working on a joint project to develop a guide to the Software Engineering Body of Knowledge (SWEBOK). Art...
200
click to vote
ESEM
2010
ACM
15 years 5 months ago
2010
ACM
The power and the generality of the findings obtained through empirical studies are bounded by the number and type of participating subjects. In software engineering, obtaining a ...