Sciweavers

16541 search results - page 421 / 3309
» Ontologies and Software Engineering
Sort
View
PEPM
1998
ACM
15 years 11 months ago
Partial Evaluation for the Lambda Calculus
Neil D. Jones, Carsten K. Gomard, Peter Sestoft
ICSM
1997
IEEE
15 years 11 months ago
Causal Analysis of the Requirements Change Process for a Large System
Khaled El Emam, Dirk Höltje, Nazim H. Madhavj...
KBSE
1997
IEEE
15 years 11 months ago
A Metric-based Approach to Detect Abstract Data Types and State Encapsulations
Jean-Francois Girard, Rainer Koschke, Georg Schied
KBSE
1997
IEEE
15 years 11 months ago
A Structured Approach for Synthesizing Planners from Specifications
Biplav Srivastava, Subbarao Kambhampati, Amol Datt...