Software development tools
著者
書誌事項
Software development tools
Springer-Verlag, 1980
大学図書館所蔵 全20件
注記
"Proceedings of a workshop ... held at Pingree Park, Colorado in May 1979."
Bibliography: p. [259]-277
内容説明・目次
内容説明
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.- 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.
「Nielsen BookData」 より