Software Development Tools

W.E. Riddle, R.E. Fairley (Autoren)

Buch | Softcover

VIII, 282 Seiten

1980
Springer Berlin (Verlag)
978-3-540-10326-4 (ISBN)

Artikel merken

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.

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.- III. Experiences.- An Experience-based Assessment of Development Systems.- IV. Development Support Systems.- A Software Lifecycle Methodology and Tool Support.- Software Tools and the User Software Engineering Project.- V. Procedural Description Techniques.- The Use of Data Abstraction in Program Design.- Procedural Approaches to Software Design Modelling.- VI. Non-Procedural Description Techniques.- Software Specification Languages Based on Regular Expressions.- A Data Base Approach to Software Specification.- VII. Analysis Tools.- The Role of Verification Tools and Techniques.- Aerospace and Communications Corporation Software Validation and Pre-implementation Issues.- VIII. Summary.- VIII. Summary.- Bibliography and References.- List of Attendees.

Erscheint lt. Verlag	1.9.1980
Zusatzinfo	VIII, 282 p.
Verlagsort	Berlin
Sprache	englisch
Maße	170 x 244 mm
Gewicht	507 g
Themenwelt	Mathematik / Informatik ► Informatik ► Betriebssysteme / Server
Themenwelt	Mathematik / Informatik ► Informatik ► Software Entwicklung
Schlagworte	Design • Modeling • Software • Software engineering • system development • Validation • verification
ISBN-10	3-540-10326-0 / 3540103260
ISBN-13	978-3-540-10326-4 / 9783540103264
Zustand	Neuware