Presentation | 2008-11-28 A method of VDM-SL specification by Actor relation matrix Komon Ibe, Yuuki Ikuta, Shuichiro Yamamoto, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | To meet requirements change, it's important to clarify the association of the requirement and the formal specification. In this paper, we propose a method to clarify the association of the requirements and the formal specification. To clarify the association, our method analyze requirements by ARM, order actors state transition by state transition matrix based on ARM, and specification by VDM-SL based on these matrices. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Requirements Analysis / Actor Relationship Matrix / Formal Method / Formal Specification Language / VDM-SL |
Paper # | KBSE2008-30 |
Date of Issue |
Conference Information | |
Committee | KBSE |
---|---|
Conference Date | 2008/11/20(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Knowledge-Based Software Engineering (KBSE) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | A method of VDM-SL specification by Actor relation matrix |
Sub Title (in English) | |
Keyword(1) | Requirements Analysis |
Keyword(2) | Actor Relationship Matrix |
Keyword(3) | Formal Method |
Keyword(4) | Formal Specification Language |
Keyword(5) | VDM-SL |
1st Author's Name | Komon Ibe |
1st Author's Affiliation | NTT Data Corporation Research Institute for System Science:The Graduate School of Information Science and Electrical Engineering, Kyushu University() |
2nd Author's Name | Yuuki Ikuta |
2nd Author's Affiliation | The Graduate School of Information Science and Electrical Engineering, Kyushu University |
3rd Author's Name | Shuichiro Yamamoto |
3rd Author's Affiliation | NTT Data Corporation Research Institute for System Science |
Date | 2008-11-28 |
Paper # | KBSE2008-30 |
Volume (vol) | vol.108 |
Number (no) | 326 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |