Skip to main content
SpringerLink
Log in

Knowledge-Based Software Engineering

  • Book
  • © 1997

Overview

Editors:
  1. Dorothy Setliff

    1. University of Pittsburgh, Pittsburgh

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Howard Reubenstein

    1. Concept Five Technologies, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (6 chapters)

  1. Front Matter

    Pages 1-3
    Download chapter PDF

  2. Introduction

    • Howard Reubenstein, Dorothy Setliff
    Pages 5-5

  3. Searching for a Global Search Algorithm

    • Sabine Dick, Thomas Santen
    Pages 7-31

  4. Specification and Animation of a Bank Transfer using KIDS/VDM

    • Yves Ledru
    Pages 33-51

  5. Interactive Explanation of Software Systems

    • W. Lewis Johnson, Ali Erdem
    Pages 53-75

  6. Test Case Generation as an AI Planning Problem

    • Adele E. Howe, Anneliese von Mayrhauser, Richard T. Mraz
    Pages 77-106

  7. Desert Island Column

    • Wladyslaw M. Turski
    Pages 107-109
Back to top

Keywords

About this book

Knowledge-Based Software Engineering brings together in one place important contributions and up-to-date research results in this important area.
Knowledge-Based Software Engineering serves as an excellent reference, providing insight into some of the most important research issues in the field.

Editors and Affiliations

  • University of Pittsburgh, Pittsburgh

    Dorothy Setliff

  • Concept Five Technologies, USA

    Howard Reubenstein

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation