レガシーソフトウェアにおける暗黙的コード制約の形式化と潜在フォールトの検出

レガシーソフトウェアにおける暗黙的コード制約の形式化と潜在フォールトの検出

レガシー ソフトウェア ニ オケル アンモクテキ コード セイヤク ノ ケイシキカ ト センザイ フォールト ノ ケンシュツ

松村知子

生駒 : 奈良先端科学技術大学院大学, 2004.6

学位論文

この資料には他にも巻号があります。

他の巻号を見る

巻号情報

No. 刷年 所在 請求記号 資料ID 貸出区分 状況 予約人数

1

R003592

2

  • [IS]2004

禁帯出

詳細情報

刊年

2004

別書名

Formulating Implicit Code Constraints and Detecting Potential Faults in Legacy Software

シリーズ名

奈良先端科学技術大学院大学情報科学研究科博士論文 ; 2004年6月

注記

学位記番号: 博第436号

報告番号: 甲第436号

授与年月日: 2004/06/29

学位の種類: 博士(工学)

学生番号: 0261025

標題言語

日本語 (jpn)

本文言語

日本語 (jpn)

著者情報

松村, 知子 (マツムラ, トモコ)

件名

レガシーソフトウェア

ソフトウェア保守

コーディング規則

パターンマッチング

フォールト検出