ようこそ ゲスト さん
ログイン
入力補助
English
カテゴリ
インデックスツリー
ランキング
アクセスランキング
ダウンロードランキング
その他
法政大学
法政大学図書館
インデックスツリー
資料タイプ別
学内論文
大学院紀要=Bulletin of graduate studies
法政大学大学院紀要. 理工学・工学研究科編
法政大学大学院紀要. 理工学研究科編
法政大学大学院紀要. デザイン工学研究科編
法政大学大学院紀要. 情報科学研究科編
法政大学懸賞論文優秀論文集
法政大学国際文化学部国際社会演習トランスナショナル・ヒストリー研究卒業論文集
このアイテムのアクセス数:
70
件
(
2025-02-12
00:55 集計
)
Permalink : https://hdl.handle.net/10114/9761
閲覧可能ファイル
ファイル
フォーマット
サイズ
閲覧回数
説明
1-9_Xi_Wang
pdf
1.71 MB
277
論文情報
ファイル出力
アイテムタイプ
紀要論文
タイトル
A Pattern-based Approach to Requirements Formalization and Its Supporting Tool
著者
著者名
WANG, Xi
著者名
王, 皙
言語
eng
ISSN
18810667
出版者
法政大学大学院情報科学研究科
雑誌名
法政大学大学院紀要. 情報科学研究科編
法政大学大学院紀要. 情報科学研究科編
巻
9
開始ページ
1
終了ページ
8
発行年
2014-03
著者版フラグ
Version of Record
抄録
Formalizing requirements in formal specifications usually requires high skills for abstraction and experience in using the formal notation in which the specification is written. This poses a challenge to many practitioners who have to deal with realistic systems within the required schedule and budget. To handle this challenge, this thesis describes a pattern-based approach to facilitate the formalization of requirements. In this approach, a specification pattern system is pre-defined to guide requirements formalization where each pattern provides a specific solution for formalizing one kind of function into a formal specification. All of the patterns are classified and organized into a hierarchical structure according to the functions they can he used to formalize. Based on the pattern system, a method that guides the requirements formalization process by applying the pattern system is described. To facilitate the understanding of the guidance produced by the pattern system and the utilization and maintenance of the pattern knowledge, a method for representing the pattern system is proposed. We also describe a prototype tool that supports the pattern-based approach.
資源タイプ
Article
書誌レコードID
AA12222297
インデックス
資料タイプ別
 > 
学内論文
 > 
法政大学大学院紀要. 情報科学研究科編
501 学内論文
 > 
紀要
 > 
法政大学大学院紀要. 情報科学研究科編
 > 
9
ホームへ戻る