Searching for a Global Search Algorithm

Authors:
Sabine Dick;Thomas Santen
Affiliations:
Universitä/t Bremen, FB3, Informatik, Bibliothekstraß/ et, D-28359 Bremen, Germany/ E-mail: sab&commat/informatik.uni-bremen.de;German National Research Center for Information Technology (GMD FIRST), Rudower Chaussee 5, D-12489 Berlin, Germany/ E-mail: santen&commat/first.gmd.de
Venue:
Automated Software Engineering
Year:
1997

Citing 12
Cited 0

Implementing mathematics with the Nuprl proof development system

Implementing mathematics with the Nuprl proof development system
A Spiral Model of Software Development and Enhancement

Computer
Programming from specifications

Programming from specifications
KIDS: A Semiautomatic Program Development System

IEEE Transactions on Software Engineering
Automating software design

Automating software design
A Deductive Approach to Program Synthesis

ACM Transactions on Programming Languages and Systems (TOPLAS)
The Science of Programming

The Science of Programming
The Evolution of Programs

The Evolution of Programs
Tool Support for Formal Software Development: A Generic Architecture

Proceedings of the 5th European Software Engineering Conference
Correct and User-Friendly Implementations of Transformation Systems

FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
Algorithm Theories and Design Tactics

Proceedings of the International Conference on Mathematics of Program Construction, 375th Anniversary of the Groningen University
Specware: Formal Support for Composing Software

MPC '95 Mathematics of Program Construction

Quantified Score

Hi-index	0.00

Visualization

Abstract

We report on a case study to assess the use of an advancedknowledge-based software design technique with programmers who have notparticipated in the technique‘s development. We use the KIDS approachto algorithm design to construct two global search algorithms thatroute baggage through a transportation net. Construction of the secondalgorithm involves extending the KIDS knowledge base. Experience withthe case study leads us to integrate the approach with the spiral andprototyping models of software engineering, and to discuss ways to dealwith incomplete design knowledge.