A Translation Method from Natural Language Specifications of Communication Protocols into Executable Algebraic Specifications

石原, 靖哲

アクセス数:352件（2025-03-19 02:53 集計）

固定URL: https://doi.org/10.11501/3100717

ファイル	フォーマット	利用条件	サイズ	閲覧回数	利用開始日	説明	information
11969_Abstract	pdf	なし	153 KB	99	2014.08.04	要旨/Abstract
11969_Dissertation	pdf	なし	2.81 MB	75	2012.09.22	論文/Dissertation

タイトル	A Translation Method from Natural Language Specifications of Communication Protocols into Executable Algebraic Specifications
	通信プロトコルの自然語仕様から実行可能な代数的仕様への変換法
	ツウシンプロトコルノシゼンゴシヨウカラジッコウカノウナダイスウテキシヨウエノヘンカンホウ
著者	NRID 1000000263434 1000000263434 著者名石原, 靖哲 ; イシハラ, ヤスノリ ; Ishihara, Yasunori
学位名	博士（工学）
学位授与年月日	1995-03-23
学位授与機関	大阪大学
学位授与番号	乙第06604号
学位記番号	11969
言語	英語
ハンドルURL	https://hdl.handle.net/11094/717
DOI	https://doi.org/10.11501/3100717
アクセス権	open access
出版タイプ	Version of Record
カテゴリ	博士論文本文あり / その他 / 1994年度
カテゴリ	博士論文 / その他 / 1994年度

資源タイプ	博士論文
ローカル資源タイプ	博士論文本文あり
ローカル資源タイプ	博士論文
DCMI資源タイプ	text
DCTERMS.bibliographicCitation	大阪大学, 1995, 博士論文
DC.title	A Translation Method from Natural Language Specifications of Communication Protocols into Executable Algebraic Specifications
	通信プロトコルの自然語仕様から実行可能な代数的仕様への変換法
	ツウシンプロトコルノシゼンゴシヨウカラジッコウカノウナダイスウテキシヨウエノヘンカンホウ
DC.creator	石原, 靖哲
	イシハラ, ヤスノリ
	Ishihara, Yasunori
DC.language' scheme='DCTERMS.RFC1766	英語
DC.type' scheme='DCTERMS.DCMIType	text
DCTERMS.issued' scheme='DCTERMS.W3CDTF	1995-03-23
DC.identifier	10.11501/3100717
DC.format	717
citation_title	A Translation Method from Natural Language Specifications of Communication Protocols into Executable Algebraic Specifications
citation_author	石原, 靖哲
citation_language	英語
citation_public_url	https://hdl.handle.net/11094/717
citation_date	1995-03-23
citation_doi_detail	10.11501/3100717
citation_doi	https://doi.org/10.11501/3100717