Skip to main content
SpringerLink
Log in
Book cover

Software Development Tools

  • Textbook
  • © 1980

Overview

Authors:
  1. William E. Riddle

    1. Cray Laboratories, Boulder, USA

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Richard E. Fairley

    1. Computer Science Department, Colorado State University, Fort Collins, USA

    View author publications

    You can also search for this author 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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight 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 (14 chapters)

  1. Front Matter

    Pages I-VIII
    Download chapter PDF

  2. Introduction

    1. Introduction

      • William E. Riddle, Richard E. Fairley
      Pages 1-8

  4. Experiences

    1. Front Matter

      Pages 63-63
      Download chapter PDF

    2. An Experience-Based Assessment of Development Systems

      • R. A. Snowdon
      Pages 64-79

  5. Development Support Systems

    1. Front Matter

      Pages 81-81
      Download chapter PDF

    2. A Software Lifecycle Methodology and Tool Support

      • Leon J. Osterweil
      Pages 82-92

    3. Software Tools and the User Software Engineering Project

      • Anthony I. Wasserman
      Pages 93-118

  6. Procedural Description Techniques

    1. Front Matter

      Pages 119-119
      Download chapter PDF

    2. The Use of Data Abstraction in Program Design

      • B. Leavenworth
      Pages 120-128

    3. Procedural Approaches to Software Design Modelling

      • William E. Riddle
      Pages 129-146

  7. Non-Procedural Description Techniques

    1. Front Matter

      Pages 147-147
      Download chapter PDF

    2. Software Specification Languages Based on Regular Expressions

      • Alan C. Shaw
      Pages 148-175

    3. A Data Base Approach to Software Specification

      • John Miles Smith, Diane C. P. Smith
      Pages 176-204

  8. Analysis Tools

    1. Front Matter

      Pages 205-205
      Download chapter PDF

    2. The Role of Verification Tools and Techniques

      • Ralph L. London, Lawrence Robinson
      Pages 206-212

    3. Software Validation and Pre-Implementation Issues

      • Richard E. Fairley
      Pages 213-244
Back to top

Keywords

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.

Authors and Affiliations

  • Cray Laboratories, Boulder, USA

    William E. Riddle

  • Computer Science Department, Colorado State University, Fort Collins, USA

    Richard E. Fairley

Bibliographic Information

  • Book Title: Software Development Tools

  • Authors: William E. Riddle, Richard E. Fairley

  • DOI: https://doi.org/10.1007/978-3-642-46430-0

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1980

  • Softcover ISBN: 978-3-540-10326-4Published: 01 September 1980

  • eBook ISBN: 978-3-642-46430-0Published: 06 December 2012

  • Edition Number: 1

  • Number of Pages: VIII, 282

  • Topics: Software Engineering/Programming and Operating Systems, Software Engineering

Publish with us

Policies and ethics

Back to top

Search

Navigation