構造化ダイアグラムの一貫性検証に対する形式的手法の適用について

構造化ダイアグラムの一貫性検証に対する形式的手法の適用について

コウゾウカ ダイアグラム ノ イッカンセイ ケンショウ ニ タイスル ケイシキテキ シュホウ ノ テキヨウ ニ ツイテ

河野勝利

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

学位論文

巻号情報

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

1

R000176

2

  • [IS]1996(4)

禁帯出

詳細情報

刊年

1996

形態

59p

シリーズ名

奈良先端科学技術大学院大学情報科学研究科修士論文 ; 1996年3月

注記

学位記番号: 修第153号

授与年月日: 1996/03/22

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

学生番号: 9451037

標題言語

日本語 (jpn)

本文言語

日本語 (jpn)

著者情報

河野, 勝利 (コウノ, ショウリ)

件名

CASEツール

ER図

DFD

形式的手法

Z