形式的仕様記述法を用いたソフトウェア開発法における仕様記述法の研究

形式的仕様記述法を用いたソフトウェア開発法における仕様記述法の研究

ケイシキテキ シヨウ キジュツホウ オ モチイタ ソフトウェア カイハツホウ ニ オケル シヨウ キジュツホウ ノ ケンキュウ

古木良子

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

Thesis / Diss.

Volume No.

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

1

R000102

2

  • [IS]1995(9)

Restricted

Details

Publication year

1995

Form

63p

Series title

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

Note

学位記番号: 修第47号

授与年月日: 1995/03/24

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

学生番号: 0351100

Country of publication

Japan

Title language

Japanese (jpn)

Language of texts

Japanese (jpn)

Author information

古木, 良子 (フルキ, リョウコ)

Subject

ソフトウエア開発法

形式的仕様記述

機能からの観点

データからの観点

形式的仕様記述言語Z