A translation method from natural language specifications of communication protocols into executable algebraic specifications
Available with Digitized Contents Transmission Service
Find on the publisher's website
国立国会図書館デジタルコレクション
Available for viewing via the Digitized Contents Transmission Service for Individuals to official registered users of the NDL, who resides in Japan.
Search by Bookstore
Read this material in an accessible format.
Table of Contents
Abstract
p1
Contents
p5
1 Introduction
p1
2 Algebraic Specification Language ASL
p6
3 Analysis of Contextual Dependencies in Natural Language Specifications of Communication Protocols
p8
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
- 博士論文
- Author/Editor
- 石原靖哲 [著]
- Author Heading
- 石原, 靖哲 イシハラ, ヤスノリ
- Alternative Title
- 通信プロトコルの自然語仕様から実行可能な代数的仕様への変換法 ツウシン プロトコル ノ シゼンゴ シヨウ カラ ジッコウ カノウナ ダイスウテキ シヨウ エ ノ ヘンカンホウ
- Degree grantor/type
- 大阪大学
- Date Granted
- 平成7年3月23日
- Date Granted (W3CDTF)
- 1995
- Dissertation Number
- 乙第6604号
- Degree Type
- 博士 (工学)