%A A.N. Habermann
%T Tools for software system construction
%B Software development tools
%E W.E. Riddle
%E R.E. Fairley
%I Springer-Verlag
%C Berlin
%D 1980
%P 10-21

%A Victor R. Lesser
%A Jack C. Wileden
%T Issues in the design of tools for distributed software system development
%B Software development tools
%E W.E. Riddle
%E R.E. Fairley
%I Springer-Verlag
%C Berlin
%D 1980
%P 22-39

%A I. Nassi
%T A critical look at the process of tool development: an industrial perspective
%B Software development tools
%E W.E. Riddle
%E R.E. Fairley
%I Springer-Verlag
%C Berlin
%D 1980
%P 40-51

%A R.A. Snowdon
%T An experience-based assessment of development systems
%B Software development tools
%E W.E. Riddle
%E R.E. Fairley
%I Springer-Verlag
%C Berlin
%D 1980
%P 64-75

%A Leon J. Osterweil
%T A software lifecycle methodology and tool support
%B Software development tools
%E W.E. Riddle
%E R.E. Fairley
%I Springer-Verlag
%C Berlin
%D 1980
%P 82-92

%A Anthony I. Wasserman
%T Software tools and the user software engineering project
%B Software development tools
%E W.E. Riddle
%E R.E. Fairley
%I Springer-Verlag
%C Berlin
%D 1980
%P 93-113

%A B. Leavenworth
%T The use of data abstraction in program design
%B Software development tools
%E W.E. Riddle
%E R.E. Fairley
%I Springer-Verlag
%C Berlin
%D 1980
%P 120-128

%A William E. Riddle
%T Procedural approaches to software design modelling
%B Software development tools
%E W.E. Riddle
%E R.E. Fairley
%I Springer-Verlag
%C Berlin
%D 1980
%P 129-141

%A Alan C. Shaw
%T Software specification languages based on regular expressions
%B Software development tools
%E W.E. Riddle
%E R.E. Fairley
%I Springer-Verlag
%C Berlin
%D 1980
%P 148-175
%K path expressions, COSY

%A John Miles Smith
%A Diane C.P. Smith
%T A data base approach to software specification
%B Software development tools
%E W.E. Riddle
%E R.E. Fairley
%I Springer-Verlag
%C Berlin
%D 1980
%P 176-200

%A Ralph L. London
%A Lawrence Robinson
%T The role of verification tools and techniques
%B Software development tools
%E W.E. Riddle
%E R.E. Fairley
%I Springer-Verlag
%C Berlin
%D 1980
%P 206-212

%A Richard E. Fairley
%T Software validation and pre-implementation issues
%B Software development tools
%E W.E. Riddle
%E R.E. Fairley
%I Springer-Verlag
%C Berlin
%D 1980
%P 213-233