4335 search results - page 631 / 867 » Ontology Engineering Relationally |
103
click to vote
KBSE
1999
IEEE
15 years 5 months ago
1999
IEEE
Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of...
83
Voted
METRICS
1999
IEEE
15 years 5 months ago
1999
IEEE
Time to market or project duration has increasing significance for commercial software development. We report on a longitudinal study of a project at IBM Hursley Park. The focus o...
134
Voted
FSTTCS
1999
Springer
15 years 5 months ago
1999
Springer
We present a (the rst?) sound and relatively complete Hoare logic for a simple imperative programming language including mutually recursive procedures with call-by-value parameters...
109
click to vote
WCRE
1999
IEEE
15 years 5 months ago
1999
IEEE
In reengineering an object-oriented system we want to benefit from the expertise developed in earlier efforts. It is therefore essential to have a way to communicate expertise at ...
140
click to vote
APSEC
1998
IEEE
15 years 5 months ago
1998
IEEE
Modified programs are required to be retested to determine whether changes have been made correctly and to investigate whether those cause any adverse effect on the program behavi...