Presentation | 2013/3/6 A Discussion of Applying Formal Methods to Architecture Oriented Development HAN-MYUNG CHANG, MASAMI NORO, ATSUSHI SAWADA, ATSUSHI YOSHIDA, YOSHINARI HACHISU, REISHI YOKOMORI, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | We aim to establish practical specification and verification methods for architecture oriented software development. We pay attention to behavioral specifications, functional specifications and refinement relations, and propose verification models in order to apply existing model checking and testing technologies to the development systematically. In this paper, architectural specifications and verifications of a simple vending machine are presented as a case study. The verification models will be used as practical guidelines for architectural specifications and verifications. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | |
Paper # | Vol.2013-SLDM-160 No.11,Vol.2013-EMB-28 No.11 |
Date of Issue |
Conference Information | |
Committee | DC |
---|---|
Conference Date | 2013/3/6(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 | Dependable Computing (DC) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | A Discussion of Applying Formal Methods to Architecture Oriented Development |
Sub Title (in English) | |
Keyword(1) | |
1st Author's Name | HAN-MYUNG CHANG |
1st Author's Affiliation | () |
2nd Author's Name | MASAMI NORO |
2nd Author's Affiliation | |
3rd Author's Name | ATSUSHI SAWADA |
3rd Author's Affiliation | |
4th Author's Name | ATSUSHI YOSHIDA |
4th Author's Affiliation | |
5th Author's Name | YOSHINARI HACHISU |
5th Author's Affiliation | |
6th Author's Name | REISHI YOKOMORI |
6th Author's Affiliation | |
Date | 2013/3/6 |
Paper # | Vol.2013-SLDM-160 No.11,Vol.2013-EMB-28 No.11 |
Volume (vol) | vol.112 |
Number (no) | 482 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |