抽象解釈に基づくソフトウェアの段階的構成法とその評価
Read via the Internet
Begin reading now
国立国会図書館デジタルコレクション
Search by Bookstore
Read this material in an accessible format.
Table of Contents
要旨
目次
p1
1 はじめに
p2
1.1 背景
p2
1.2 段階的詳細化
p6
Search by Bookstore
Read in Disability Resources
- Mina Search
- プレーンテキスト
Registered users of Mina Search can download or stream this content.
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 博士論文
- Title Transcription
- チュウショウ カイシャク ニ モトズク ソフトウェア ノ ダンカイテキ コウセイホウ ト ソノ ヒョウカ
- Author/Editor
- 吉岡信和 [著]
- Author Heading
- 吉岡, 信和 ヨシオカ, ノブカズ
- Degree grantor/type
- 北陸先端科学技術大学院大学
- Date Granted
- 平成10年3月25日
- Date Granted (W3CDTF)
- 1998
- Dissertation Number
- 甲第33号
- Degree Type
- 博士 (情報科学)