研究者情報 | 神奈川大学

タケヤマ　マコト Takeyama Makoto 武山　誠所属神奈川大学理学部情報科学科神奈川大学大学院理学研究科理学専攻（情報科学領域）職種教授
言語種別	英語
発行・発表の年月	2010
形態種別	その他論文
査読	査読あり
標題	Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications
執筆形態	共著
掲載誌名	IEEE 16th Pacific Rim International Symposium on Dependable Computing (PRDC2010)
著者・共著者	Takashi Kitamura, Keishi Okamoto, Makoto Takeyama
概要	This research aims to develop a formal framework for (1) formal validation for satisfiability of specifications to requirements, and (2) requirements management based on the Jackson's reference model for requirements and specifications, which provides an insight and perspective basis for relationship between requirements and specifications. To develop the framework, we use propositional logic, from which we derive formal discussion and devices for computer assistance. In the framework the validation for satisfiability of specifications to requirements is ascribed to the validity checking of logical formulas. Also within the framework we develop a useful notion of "weakest adequate specifications" with its calculating technique. We will demonstrate the usefulness of the framework with practical examples.