Zによるシステム仕様記述のための変換技術に関する基礎的研究

Zによるシステム仕様記述のための変換技術に関する基礎的研究

Z ニヨル システム シヨウ キジュツ ノタメノ ヘンカン ギジュツ ニ カンスル キソテキ ケンキュウ

張漢明

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

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

R000828

2

  • [IS]1999

Restricted

Details

Publication year

1999

Series title

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

Note

学位記番号: 博第43号

報告番号: 甲第43号

授与年月日: 1999/03/24

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

Country of publication

Japan

Title language

Japanese (jpn)

Language of texts

Japanese (jpn)

Author information

張, 漢明 (チョウ, カンメイ)

Subject

システム仕様記述

仕様記述変換

モデル化

仕様記述分析

形式的手法

Z