2011-0928-01
情報通信
掲載日:2011/09/28
高信頼ソフトウェアシステムの高効率な開発技術
鷲崎 弘宜 教授 (理工学術院 基幹理工学部)
トラブルを未然に防ぐためにはソフトウェアの信頼性の向上が必要不可欠である。ソフトウェアの開発は基本設計から実装まで複数の段階を経ることなり、徐々に信頼性が失われて行く。これに対して段階ごとの処理過程によって、過去の開発事例を参考にパターン化・抽象化を行い形式検証を行うことで、...