ようこそ ゲスト さん
ログイン
入力補助
English
カテゴリ
インデックスツリー
ランキング
アクセスランキング
ダウンロードランキング
その他
法政大学
法政大学図書館
インデックスツリー
資料タイプ別
学内論文
大学院紀要=Bulletin of graduate studies
法政大学大学院紀要. 理工学・工学研究科編
法政大学大学院紀要. 理工学研究科編
法政大学大学院紀要. デザイン工学研究科編
法政大学大学院紀要. 情報科学研究科編
法政大学懸賞論文優秀論文集
法政大学国際文化学部国際社会演習トランスナショナル・ヒストリー研究卒業論文集
このアイテムのアクセス数:
76
件
(
2025-06-13
10:09 集計
)
Permalink : https://doi.org/10.15002/00009543
Permalink : https://hdl.handle.net/10114/8769
閲覧可能ファイル
ファイル
フォーマット
サイズ
閲覧回数
説明
Weichen Chai
pdf
1.02 MB
73
論文情報
ファイル出力
アイテムタイプ
紀要論文
タイトル
Building Traceability for Specification Evolution and Inspection
著者
著者名
CAI, Weichen
言語
eng
ISSN
18810667
DOI
https://doi.org/10.15002/00009543
出版者
法政大学大学院情報科学研究科
雑誌名
法政大学大学院紀要. 情報科学研究科編
法政大学大学院紀要. 情報科学研究科編
巻
8
開始ページ
49
終了ページ
54
発行年
2013-03
著者版フラグ
Version of Record
キーワード
Requirements traceability
formal specification
documentation evolution
抄録
Requirements traceability has been widely recognized as an indispensable support to software development activity, especially during recent years, with the scale of the software system becoming unprecendentedly larger and the time period of developing a software system becoming longer. This situation brings up more evolution in requirements specifications and makes requirements traceability more attractive. However, due to the informality of the specifications, the traceability of requirements during evolutions is unlikely to be built systematically and precisely. In this paper, we use SOFL specification to establish an effective approach to building requirements traceability systematically and automatically under certain conditions.
資源タイプ
Article
書誌レコードID
AA12222297
インデックス
資料タイプ別
 > 
学内論文
 > 
法政大学大学院紀要. 情報科学研究科編
501 学内論文
 > 
紀要
 > 
法政大学大学院紀要. 情報科学研究科編
 > 
8
ホームへ戻る