Advertisement

Introduction

  • Thomas W. Reps
  • Tim Teitelbaum
Part of the Texts and Monographs in Computer Science book series (MCS)

Abstract

One of the most pressing practical problems faced by computer programmers is that of managing the development and maintenance of large software systems. This poses a challenge for computer scientists: how can computers best be applied to the software-development process?

Keywords

Proof Obligation Editing Operation Derivation Tree Incremental Algorithm Current Selection 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag New York Inc. 1989

Authors and Affiliations

  • Thomas W. Reps
    • 1
  • Tim Teitelbaum
    • 2
  1. 1.Computer Sciences DepartmentUniversity of Wisconsin, MadisonMadisonUSA
  2. 2.Department of Computer ScienceCornell UniversityIthacaUSA

Personalised recommendations