12th International Conference on Software Engineering, March 26-30, 1990, Nice, France
Author(s)
Bibliographic Information
12th International Conference on Software Engineering, March 26-30, 1990, Nice, France
IEEE Computer Society Press, c1990
- Other Title
-
International Conference on Software Engineering
90CH2815-9
Related Bibliography 1 items
Available at / 3 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes index
"IEEE Computer Society order number 2026"
"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"