Sciweavers

16725 search results - page 214 / 3345
» Engineering Software Correctness
Sort
View
108
Voted
COMPSAC
1997
IEEE
15 years 7 months ago
An optimization of disjunctive queries: union-pushdown
Jae-young Chang, Sang-goo Lee
94
Voted
ICSE
1998
IEEE-ACM
15 years 7 months ago
The Use of Goals to Surface Requirements for Evolving Systems
Annie I. Antón, Colin Potts
94
Voted
ICSE
1998
IEEE-ACM
15 years 7 months ago
Process Assurance Audits: Lessons Learned
Alain April, Alain Abran, Ettore Merlo
ICSE
1998
IEEE-ACM
15 years 7 months ago
Formalizing Design Patterns
Tommi Mikkonen