Proceedings : 12th International Conference on Software Engineering, March 26-30, 1990, Nice, France
Author(s)
Bibliographic Information
Proceedings : 12th International Conference on Software Engineering, March 26-30, 1990, Nice, France
IEEE Computer Society Press, c1990
- : pbk.
- Other Title
-
12th International Conference on Software Engineering
Related Bibliography 1 items
Available at / 13 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
C-P||Nice||1990.391037474
-
No Libraries matched.
- Remove all filters.
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"