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」 より

詳細情報

ページトップへ