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

organized by ACM Special Interest Group on Software Engineering ... [et al.] ; in association with Association for Computing Machinery ... [et al.]

IEEE Computer Society Press, c1990

  • : pbk.

タイトル別名

12th International Conference on Software Engineering

大学図書館所蔵 件 / 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」 より

詳細情報

ページトップへ