Proceedings : 12th International Conference on Software Engineering, March 26-30, 1990, Nice, France

Bibliographic Information

Proceedings : 12th International Conference on Software Engineering, March 26-30, 1990, Nice, France

organized by ACM Special Interest Group on Software Engineering ... [et al.] ; in association with Association for Computing Machinery ... [et al.]

IEEE Computer Society Press, c1990

  • : pbk.

Other Title

12th International Conference on Software Engineering

Available at  / 13 libraries

Search this Book/Journal

Note

Includes index

"IEEE Computer Society order number 2026"

"IEEE catalog number 90CH2815-9"

"ACM order number 592900"

Description and Table of Contents

Description

The proceedings of a conference sponsored by the ACM, the IEE Computer Society and AFCET. The theme of the papers in this book is "building a foundation for the future", and they present a selection of research results and workshop reports, surveys, panels and forward-looking plenary addresses.

Table of Contents

  • Process models
  • formal verification
  • recent advances in metrics
  • real-time and reactive systems
  • environments
  • metrics and reliability
  • software engineering
  • experience reports
  • tools for formal verification
  • recent advances in object management systems
  • prototyping
  • design and architecture
  • real-life safety-critical software
  • AI applications to software engineering.

by "Nielsen BookData"

Details

Page Top