| 体系的番号 |
JPMJPR01P1 |
| DOI |
https://doi.org/10.52926/JPMJPR01P1 |
研究代表者 |
青木 利晃 北陸先端科学技術大学院大学, 情報科学研究科, 助手
|
|---|
| 研究期間 (年度) |
2001 – 2004
|
| 概要 | オブジェクト指向開発手法では、構築するモデルの正確性、特に上流工程で構築する分析モデルの正確性がソフトウェアの信頼性に大な影響を与えます。本研究では、(1)分析モデルを形式的に構築し、(2)構築したモデルを検証することによりその正しさを保証します。これら2つは相補的なものであり、互いに連携させることにより、効率的に分析モデルの正しさを保証することができます。また、本研究ではこれらを扱う計算機支援環境も構築します。
|
|---|
| 研究領域 | 機能と構成 |
|---|
