Searching for a Global Search Algorithm

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.

[1]  W BoehmBarry.  A Spiral Model of Software Development and Enhancement , 1988 .

[2]  Maritta Heisel,et al.  Tool Support for Formal Software Development: A Generic Architecture , 1995, ESEC.

[3]  Richard Jüllig,et al.  Specware: Formal Support for Composing Software , 1995, MPC.

[4]  Barry W. Boehm,et al.  A spiral model of software development and enhancement , 1986, Computer.

[5]  Carroll Morgan,et al.  Programming from specifications , 1990, Prentice Hall International Series in computer science.

[6]  Rodney J. Douglas,et al.  Synthesis of High-Performance Transportation Schedulers , 1995 .

[7]  David Gries,et al.  The Science of Programming , 1981, Text and Monographs in Computer Science.

[8]  Michael R. Lowry,et al.  Automating software design , 1989, Digest of Papers. COMPCON Spring 89. Thirty-Fourth IEEE Computer Society International Conference: Intellectual Leverage.

[9]  Burkhart Wolff,et al.  Correct and User-Friendly Implementations of Transformation Systems , 1996, FME.

[10]  Lawrence Charles Paulson,et al.  Isabelle: A Generic Theorem Prover , 1994 .

[11]  Christoph Kreitz,et al.  Deriving Programs that Develop Programs , 2001 .

[12]  Wolfgang Bibel,et al.  Syntax-Directed, Semantics-Supported Program Synthesis , 1979, Artif. Intell..

[13]  Manfred Broy,et al.  The Requirement and Design Speciication Language Spectrum an Informal Introduction Version 1.0 in Cooperation With , 1993 .

[14]  Nachum Dershowitz.  The evolution of programs , 1983, Progress in computer science.

[15]  Rance Cleaveland,et al.  Implementing mathematics with the Nuprl proof development system , 1986 .

[16]  Douglas R. Smith,et al.  KIDS: A Semiautomatic Program Development System , 1990, IEEE Trans. Software Eng..

[17]  Zohar Manna,et al.  A Deductive Approach to Program Synthesis , 1979, TOPL.

[18]  Douglas R. Smith.  Structure and Design of Global Search Algorithms , 2006 .

[19]  Douglas R. Smith,et al.  Transformational approach to transportation scheduling , 1993, Proceedings of 8th Knowledge-Based Software Engineering Conference.