形式的仕様からのプログラムコード生成支援

形式的仕様からのプログラムコード生成支援

ケイシキテキ シヨウ カラ ノ プログラム コード セイセイ シエン

吉田豊伸

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

Thesis / Diss.

Volume No.

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

1

R000506

2

  • [IS]1996(13)

Restricted

Details

Publication year

1996

Series title

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

Note

学位記番号: 修第386号

授与年月日: 1996/09/30

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

学生番号: 9451125

Country of publication

Japan

Title language

Japanese (jpn)

Language of texts

Japanese (jpn)

Author information

吉田, 豊伸 (ヨシダ, トヨノブ)

Subject

ソフトウェア開発

形式的仕様

Z

プログラムコード

Caml言語

プログラムコードの自動生成