Sciweavers

16725 search results - page 7 / 3345
» Engineering Software Correctness
Sort
View
ICSE
2003
IEEE-ACM
15 years 4 months ago
An Analysis of the Fault Correction Process in a Large-Scale SDL Production Model
Improvements in the software development process depend on our ability to collect and analyze data drawn from various phases of the development life cycle. Our design metrics rese...
Dolores M. Zage, Wayne M. Zage
101
Voted
ICSE
2005
IEEE-ACM
15 years 11 months ago
Automatic generation and maintenance of correct spreadsheets
Existing spreadsheet systems allow users to change cells arbitrarily, which is a major source of spreadsheet errors. We propose a system that prevents errors in spreadsheets by re...
Martin Erwig, Robin Abraham, Irene Cooperstein, St...
SEW
2005
IEEE
15 years 5 months ago
Case Studies for Software Engineers
The topic of this full-day tutorial was the correct use and interpretation of case studies as an empirical research method. Using an equal blend of lecture and discussion, it gave...
Dewayne E. Perry, Susan Elliott Sim, Steve M. East...
90
Voted
WCRE
2006
IEEE
15 years 5 months ago
An Analysis of the Correctness and Completeness of Aspect Weaving
Jointly deployed aspects may interact with each other. While some interactions might be intended, unintended interactions (interferences) can break a program. Detecting and resolv...
Günter Kniesel, Uwe Bardey
VL
2002
IEEE
109views Visual Languages» more  VL 2002»
15 years 4 months ago
Assertions in End-User Software Engineering: A Think-Aloud Study
There has been little research on end-user program development beyond the programming phase. Devising ways to address additional phases may be critical, because research shows tha...
Christine Wallace, Curtis R. Cook, Jay Summet, Mar...