研究者情報 | 神奈川大学

タケヤマ　マコト Takeyama Makoto 武山　誠所属神奈川大学理学部情報科学科神奈川大学大学院理学研究科理学専攻（情報科学領域）職種教授
言語種別	日本語
発行・発表の年月	2010
形態種別	その他論文
標題	A Formal Approach to Requirements Traceability based on the Jason's Reference Model for Requirements and Specifications
執筆形態	共著
掲載誌名	日本ソフトウェア科学会第8回ディペンダブルシステムワークショップ（DSW)
著者・共著者	Takashi Kitamura, Keishi Okamoto, Makoto Takeyama
概要	This research aims to develop a formal method for requirements traceability with focus on traceability methods to manage requirement changes and to trace system errors to their origins in the requirement-specification phase. Our approach is based on (1) the Jackson's reference model for requirements and specifications, which provides a perspective framework and based on which we achieve a fine-grained traceability method, and (2) formal logic, from which we define formal discussion and techniques for computer assistance.