新しいソフトウェアの実現 モデル検査法のソフトウェアデザイン検証への応用
スポンサーリンク
概要
- 論文の詳細を見る
開発上流工程で不具合を早期に発見する技術として，形式検証技術のひとつであるモデル検査法への関心が高まっている．本稿では，従来理論中心の研究として敬遠されることが多かったモデル検査法に関して，厳密さよりは技術の適用方法を伝えることに主眼をおいて解説する．ソフトウェア開発のいろいろな局面での利用例を紹介することで実際的な技術になってきていることを述べる.
- 日本ソフトウェア科学会の論文
日本ソフトウェア科学会 | 論文
- LCDと透明弾性体の光弾性を用いたユーザインタフェース (特集 インタラクティブシステムとソフトウェア)
- Bluetoothによる位置検出
- COINSにおけるSIMD並列化(最新コンパイラ技術とCOINSによる実践)
- データ型を考慮した軽量なXML文書処理系の自動生成(ソフトウェア開発を支援する基盤技術)
- 計算と論理のための自然枠組NF/CAL(システム検証の科学技術)