Advertisement

Software Development Tools

  • William E. Riddle
  • Richard E. Fairley

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
  9. Summary

    1. William E. Riddle, Richard E. Fairley
      Pages 245-257
  10. Back Matter
    Pages 259-282

About this book

Introduction

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.

Keywords

Software Software Engineering design modeling system development validation verification

Authors and affiliations

  • William E. Riddle
    • 1
  • Richard E. Fairley
    • 2
  1. 1.Cray LaboratoriesBoulderUSA
  2. 2.Computer Science DepartmentColorado State UniversityFort CollinsUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-46430-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 1980
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-10326-4
  • Online ISBN 978-3-642-46430-0
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering