| Presentation | 2015-07-24 Two-Staged Modeling Method with Alloy and Event-B Shin Nakajima, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | |
| Paper # | SS2015-32,KBSE2015-25 |
| Date of Issue | 2015-07-15 (SS, KBSE) |
| Conference Information | |
| Committee | KBSE / SS / IPSJ-SE |
|---|---|
| Conference Date | 2015/7/22(3days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | Tadashi Iijima(Keio Univ.) / Shoji Yuen(Nagoya Univ.) |
| Vice Chair | Shigeo Kaneda(Doshisha Univ.) / Kazuhiro Ogata(JAIST) |
| Secretary | Shigeo Kaneda(Nihon Univ.) / Kazuhiro Ogata(Osaka Univ.) / (Tokyo Inst. of Tech.) |
| Assistant | Shinpei Ogata(Shinshu Univ.) / Hiroaki Hashiura(Nippon Inst. of Tech.) / Yoshiki Higo(Osaka Univ.) |
| Paper Information | |
| Registration To | Technical Committee on Knowledge-Based Software Engineering / Technical Committee on Software Science / Special Interest Group on Software Engineering |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Two-Staged Modeling Method with Alloy and Event-B |
| Sub Title (in English) | |
| Keyword(1) | |
| 1st Author's Name | Shin Nakajima |
| 1st Author's Affiliation | National Institute of Informatics(NII) |
| Date | 2015-07-24 |
| Paper # | SS2015-32,KBSE2015-25 |
| Volume (vol) | vol.115 |
| Number (no) | SS-153,KBSE-154 |
| Page | pp.pp.161-166(SS), pp.161-166(KBSE), |
| #Pages | 6 |
| Date of Issue | 2015-07-15 (SS, KBSE) |