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

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

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

松村知子

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

Thesis / Diss.

There are further volumes for this material.

Show other volumes

Volume No.

No. Printing year Location Call Number Material ID Circulation class Status Waiting

1

R003592

2

  • [IS]2004

Restricted

Details

Publication year

2004

Alternative title

Formulating Implicit Code Constraints and Detecting Potential Faults in Legacy Software

Series title

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

Note

学位記番号: 博第436号

報告番号: 甲第436号

授与年月日: 2004/06/29

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

学生番号: 0261025

Country of publication

Japan

Title language

Japanese (jpn)

Language of texts

Japanese (jpn)

Author information

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

Subject

レガシーソフトウェア

ソフトウェア保守

コーディング規則

パターンマッチング

フォールト検出