BibTeX
@MISC{Dick95searchingfor,
author = {Sabine Dick and Thomas Santen},
title = {Searching for a Global Search Algorithm},
year = {1995}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
. We report on a case study to assess the use of an advanced knowledge-based software design technique with programmers who have not participated in the technique's development. We use the KIDS approach to algorithm design to construct two global search algorithms that route baggage through a transportation net. Construction of the second algorithm involves extending the KIDS knowledge base. Experience with the case study leads us to integrate the approach with the spiral and prototyping models of software engineering, and to discuss ways to deal with incomplete design knowledge. Keywords: Formal Methods, KIDS, Program Synthesis, Scheduling. 1. Introduction Advanced techniques to support software construction will only be widely accepted by practitioners if they can be successfully used by software engineers who were not involved in their development and did not receive on-site training by their inventors. Experience has to be gained how knowledge-based methods can be integrated into...
Keyphrases
global search algorithm case study advanced knowledge-based software design technique knowledge-based method route baggage incomplete design knowledge software engineering second algorithm kid approach transportation net software construction formal method program synthesis software engineer kid knowledge base on-site training introduction advanced technique
