Software Development Tools - Brossura

Riddle, William E.

Brossura

ISBN 10: 3540103260 ISBN 13: 9783540103264

Casa editrice: Springer Berlin Heidelberg, 1980

Riassunto

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.

Su questo libro

Contenuti

I. Introduction.- I. Introduction.- II. Needs.- Tools for Software System Construction.- Issues in the Design of Tools for Distributed Software System Development.- A Critical Look at the Process of Tool Development: An Industrial Perspective.- Discussion.- III. Experiences.- An Experience-based Assessment of Development Systems.- Discussion.- IV. Development Support Systems.- A Software Lifecycle Methodology and Tool Support.- Software Tools and the User Software Engineering Project.- Discussion.- V. Procedural Description Techniques.- The Use of Data Abstraction in Program Design.- Procedural Approaches to Software Design Modelling.- Discussion.- VI. Non-Procedural Description Techniques.- Software Specification Languages Based on Regular Expressions.- A Data Base Approach to Software Specification.- Discussion.- VII. Analysis Tools.- The Role of Verification Tools and Techniques.- Aerospace and Communications Corporation Software Validation and Pre-implementation Issues.- Discussion.- VIII. Summary.- VIII. Summary.- Discussion.- Bibliography and References.- List of Attendees.

Dettagli dell'edizione

• Editore: Springer Berlin Heidelberg
• Data di pubblicazione: 1980
• Lingua: Inglese
• ISBN 10: 3540103260
• ISBN 13: 9783540103264
• Rilegatura: Copertina flessibile
• Numero di pagine: 292
• Contatto del produttore: ProductSafety@springernature.com; ProductSafety@springernature.com; ; Poststr. 9; Darmstadt; 64293; Germania