A Systematic Inspection Approach to Verifying and Validating Formal Specifications based on Specification Animation and Traceability

このアイテムのアクセス数:110件（2025-02-05 13:37 集計）

Permalink : https://doi.org/10.15002/00012841

Permalink : https://hdl.handle.net/10114/12172

ファイル	フォーマット	サイズ	閲覧回数	説明
15_thesis_li	pdf	6.54 MB	592	博士論文全文
15_point_li	pdf	181 KB	82	論文および審査の要旨

アイテムタイプ	学位論文
タイトル	A Systematic Inspection Approach to Verifying and Validating Formal Specifications based on Specification Animation and Traceability
その他のタイトル	仕様アニメーションとトレーサビリティーに基づく形式仕様の検証と実証の系統的な検査アプローチ
著者	著者名 LI, Mo
著者	著者名李, 漠
言語	eng
DOI	https://doi.org/10.15002/00012841
開始ページ	1
終了ページ	226
発行年	2015-09-15
著者版フラグ	Not Applicable (or Unknown)
学位授与番号	32675甲第367号
学位授与年月日	2015-09-15
学位名	博士(理学)
学位授与機関	機関名法政大学 (Hosei University)
キーワード	formal specification
	animation
	traceability
	verification
	validation
内容記述	情報科学研究科情報科学専攻; 主査教授小池誠彦, 副査教授劉少英, 副査教授雪田修一, 副査教授藤田悟
資源タイプ	Thesis
インデックス	資料タイプ別＞学位論文＞博士論文＞情報科学研究科
インデックス	109 情報科学部・情報科学研究科＞学位論文＞博士論文