Sciweavers

19 search results - page 1 / 4
» snpd 2003
Sort
View
SNPD
2003
13 years 5 months ago
Using a Semantic Web for Process Information and Quality Management
This paper describes an approach (and its implementation) on how to handle the large number of data from user centered engineering processes. It uses objectoriented abstraction me...
Ronald Hartwig
SNPD
2003
13 years 5 months ago
Deductive and Inductive Methods for Program Synthesis
The paper discusses simple functional constraint networks and a value propagation method for program construction. Structural synthesis of programs is described as an example of d...
Jaan Penjam, Elena Sanko