Sciweavers

16725 search results - page 421 / 3345
» Engineering Software Correctness
Sort
View
113
Voted
ICSM
1997
IEEE
15 years 9 months ago
Causal Analysis of the Requirements Change Process for a Large System
Khaled El Emam, Dirk Höltje, Nazim H. Madhavj...
111
Voted
KBSE
1997
IEEE
15 years 9 months ago
A Metric-based Approach to Detect Abstract Data Types and State Encapsulations
Jean-Francois Girard, Rainer Koschke, Georg Schied
114
Voted
KBSE
1997
IEEE
15 years 9 months ago
A Structured Approach for Synthesizing Planners from Specifications
Biplav Srivastava, Subbarao Kambhampati, Amol Datt...
111
Voted
METRICS
1997
IEEE
15 years 9 months ago
Evaluating the Interrater Agreement of Process Capability Ratings
Pierfrancesco Fusaro, Khaled El Emam, Bob Smith