12th International Conference on Software Engineering, March 26-30, 1990, Nice, France
著者
書誌事項
12th International Conference on Software Engineering, March 26-30, 1990, Nice, France
IEEE Computer Society Press, c1990
- タイトル別名
-
International Conference on Software Engineering
90CH2815-9
大学図書館所蔵 全3件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
注記
Includes index
"IEEE Computer Society order number 2026"
"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」 より