研課題
J-GLOBAL ID:202104008506475347  研究課題コード:7700000663

オブジェクト指向分析モデルの形式的構築法と検証法

体系的課題番号:JPMJPR01P1
実施期間:2001 - 2004
実施機関 (1件):
研究代表者: ( , 情報科学研究科, 助手 )
DOI: https://doi.org/10.52926/JPMJPR01P1
研究概要:
オブジェクト指向開発手法では、構築するモデルの正確性、特に上流工程で構築する分析モデルの正確性がソフトウェアの信頼性に大な影響を与えます。本研究では、(1)分析モデルを形式的に構築し、(2)構築したモデルを検証することによりその正しさを保証します。これら2つは相補的なものであり、互いに連携させることにより、効率的に分析モデルの正しさを保証することができます。また、本研究ではこれらを扱う計算機支援環境も構築します。
タイトルに関連する用語 (5件):
タイトルに関連する用語
J-GLOBALで独自に切り出した研究課題タイトルの用語をもとにしたキーワードです
研究制度:
上位研究課題: 機能と構成
研究所管機関:
国立研究開発法人科学技術振興機構
報告書等:

前のページに戻る