© 1980

Software Development Tools


Table of contents

  1. Front Matter
    Pages I-VIII
  2. Introduction

    1. William E. Riddle, Richard E. Fairley
      Pages 1-8
  3. Needs

  4. Experiences

    1. Front Matter
      Pages 63-63
  5. Development Support Systems

    1. Front Matter
      Pages 81-81
  6. Procedural Description Techniques

    1. Front Matter
      Pages 119-119
    2. B. Leavenworth
      Pages 120-128
    3. William E. Riddle
      Pages 129-146
  7. Non-Procedural Description Techniques

    1. Front Matter
      Pages 147-147
    2. John Miles Smith, Diane C. P. Smith
      Pages 176-204
  8. Analysis Tools

    1. Front Matter
      Pages 205-205
    2. Ralph L. London, Lawrence Robinson
      Pages 206-212
    3. Richard E. Fairley
      Pages 213-244

About this book


This text contains the proceedings of a workshop on software develoDment tools, held at Pingree Park, Colorado in May, 1979. The workshop, for which we were co-chair­ men, was primarily, but not exclusively, concerned with a variety of tools supporting pre-implementation phases of software development. The workshop brought together researchers and practitioners from industrial, governmental, and academic sectors to compare and assess current work and to set some directions for future work in this emerging technical area. The fifty participants represented research and development efforts in software tools within the United States, Canada, France, Great Britain, and Japan. (A list of participants appears at the end of the text. ) Sponsorship was provided by the National Aeronautics and Space Administration, the National Bureau of Standards, the National Science Foundation, and Digital Equipment Corporation. The conference consisted of seven formal sessions and numerous organized and impromptu discussions. Each session (except the last) included invited papers, prepared remarks by discussants, and an open discussion.


Software Software Engineering design modeling system development validation verification

Authors and affiliations

  1. 1.Cray LaboratoriesBoulderUSA
  2. 2.Computer Science DepartmentColorado State UniversityFort CollinsUSA

Bibliographic information