Proceedings : 12th International Conference on Software Engineering, March 26-30, 1990, Nice, France
著者
書誌事項
Proceedings : 12th International Conference on Software Engineering, March 26-30, 1990, Nice, France
IEEE Computer Society Press, c1990
- : pbk.
- タイトル別名
-
12th International Conference on Software Engineering
並立書誌 全1件
大学図書館所蔵 件 / 全13件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes index
"IEEE Computer Society order number 2026"
"IEEE catalog number 90CH2815-9"
"ACM order number 592900"
内容説明・目次
内容説明
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.
目次
- 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.
「Nielsen BookData」 より