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
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
C-P||Nice||1990.391037474
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"