| Paper Abstract and Keywords |
| Presentation |
2005-07-25 15:30
SPIN-Based Verification of Specifications Described with A Specification Description Language
Hayato Douzono, Masaaki Hashimoto, Naoyasu Ubayashi, Keiichi Katamine (KIT) |
| Abstract |
(in Japanese) |
(See Japanese page) |
| (in English) |
For improving the reliability of software specifications, this article describes the research to extract a state transition diagram from specifications described with a specification description language named e-PSDL and to verify the state transition diagram by SPIN. Recently, software needs the improvement of development methodology because of its increasing scale and complexity. Therefore, we have been studying a specification description language for helping the comprehension and the specification synthesis, and a program generator. This article describes the research on the specification verification and discusses the future study topics. |
| Keyword |
(in Japanese) |
(See Japanese page) |
| (in English) |
Specification Description Language / Rule / State Transition Diagram / SPIN / Specification Verification / / / |
| Reference Info. |
IEICE Tech. Rep., vol. 105, no. 207, KBSE2005-8, pp. 19-24, July 2005. |
| Paper # |
KBSE2005-8 |
| Date of Issue |
2005-07-18 (KBSE) |
| ISSN |
Print edition: ISSN 0913-5685 |
| Download PDF |
|
| Conference Information |
| Committee |
KBSE |
| Conference Date |
2005-07-25 - 2005-07-26 |
| Place (in Japanese) |
(See Japanese page) |
| Place (in English) |
Ehime University |
| Topics (in Japanese) |
(See Japanese page) |
| Topics (in English) |
Knowledge-Based Software engineering, etc |
| Paper Information |
| Registration To |
KBSE |
| Conference Code |
2005-07-KBSE |
| Language |
Japanese |
| Title (in Japanese) |
(See Japanese page) |
| Sub Title (in Japanese) |
(See Japanese page) |
| Title (in English) |
SPIN-Based Verification of Specifications Described with A Specification Description Language |
| Sub Title (in English) |
|
| Keyword(1) |
Specification Description Language |
| Keyword(2) |
Rule |
| Keyword(3) |
State Transition Diagram |
| Keyword(4) |
SPIN |
| Keyword(5) |
Specification Verification |
| Keyword(6) |
|
| Keyword(7) |
|
| Keyword(8) |
|
| 1st Author's Name |
Hayato Douzono |
| 1st Author's Affiliation |
Kyushu Institute of Technology (KIT) |
| 2nd Author's Name |
Masaaki Hashimoto |
| 2nd Author's Affiliation |
Kyushu Institute of Technology (KIT) |
| 3rd Author's Name |
Naoyasu Ubayashi |
| 3rd Author's Affiliation |
Kyushu Institute of Technology (KIT) |
| 4th Author's Name |
Keiichi Katamine |
| 4th Author's Affiliation |
Kyushu Institute of Technology (KIT) |
| 5th Author's Name |
|
| 5th Author's Affiliation |
() |
| 6th Author's Name |
|
| 6th Author's Affiliation |
() |
| 7th Author's Name |
|
| 7th Author's Affiliation |
() |
| 8th Author's Name |
|
| 8th Author's Affiliation |
() |
| 9th Author's Name |
|
| 9th Author's Affiliation |
() |
| 10th Author's Name |
|
| 10th Author's Affiliation |
() |
| 11th Author's Name |
|
| 11th Author's Affiliation |
() |
| 12th Author's Name |
|
| 12th Author's Affiliation |
() |
| 13th Author's Name |
|
| 13th Author's Affiliation |
() |
| 14th Author's Name |
|
| 14th Author's Affiliation |
() |
| 15th Author's Name |
|
| 15th Author's Affiliation |
() |
| 16th Author's Name |
|
| 16th Author's Affiliation |
() |
| 17th Author's Name |
|
| 17th Author's Affiliation |
() |
| 18th Author's Name |
|
| 18th Author's Affiliation |
() |
| 19th Author's Name |
|
| 19th Author's Affiliation |
() |
| 20th Author's Name |
|
| 20th Author's Affiliation |
() |
| Speaker |
Author-1 |
| Date Time |
2005-07-25 15:30:00 |
| Presentation Time |
40 minutes |
| Registration for |
KBSE |
| Paper # |
KBSE2005-8 |
| Volume (vol) |
vol.105 |
| Number (no) |
no.207 |
| Page |
pp.19-24 |
| #Pages |
6 |
| Date of Issue |
2005-07-18 (KBSE) |