| Paper Abstract and Keywords |
| Presentation |
2005-12-20 14:00
A Layered Architecture of Formal Specification
Xiaojing Zhang, Yoichi Omori, Keijiro Araki (Kyushu Univ.) |
| Abstract |
(in Japanese) |
(See Japanese page) |
| (in English) |
Software productline extracts similarities of a series of products, thus a specification of a product can be applied to another product in a family with slight modification. But, the process of feedback from a product to the core asset still requires an analysis about reusability after whole of the design was complicatedly combined. Formal descriptions of specifications can define strict semantics, so that they clarify the commonalities and variabilities among a product family. We propose a layered architecture to improve efficiency of this feedback process by separating descriptions into the logical level and the physical level which were distinguished by hardware dependency. |
| Keyword |
(in Japanese) |
(See Japanese page) |
| (in English) |
Formal Method / Formal Specification / Software Product-line / / / / / |
| Reference Info. |
IEICE Tech. Rep., vol. 105, no. 491, SS2005-70, pp. 43-48, Dec. 2005. |
| Paper # |
SS2005-70 |
| Date of Issue |
2005-12-13 (SS) |
| ISSN |
Print edition: ISSN 0913-5685 |
| Download PDF |
|
| Conference Information |
| Committee |
SS |
| Conference Date |
2005-12-19 - 2005-12-20 |
| Place (in Japanese) |
(See Japanese page) |
| Place (in English) |
Kochi Women's University |
| Topics (in Japanese) |
(See Japanese page) |
| Topics (in English) |
general |
| Paper Information |
| Registration To |
SS |
| Conference Code |
2005-12-SS |
| Language |
Japanese |
| Title (in Japanese) |
(See Japanese page) |
| Sub Title (in Japanese) |
(See Japanese page) |
| Title (in English) |
A Layered Architecture of Formal Specification |
| Sub Title (in English) |
|
| Keyword(1) |
Formal Method |
| Keyword(2) |
Formal Specification |
| Keyword(3) |
Software Product-line |
| Keyword(4) |
|
| Keyword(5) |
|
| Keyword(6) |
|
| Keyword(7) |
|
| Keyword(8) |
|
| 1st Author's Name |
Xiaojing Zhang |
| 1st Author's Affiliation |
Kyushu University (Kyushu Univ.) |
| 2nd Author's Name |
Yoichi Omori |
| 2nd Author's Affiliation |
Kyushu University (Kyushu Univ.) |
| 3rd Author's Name |
Keijiro Araki |
| 3rd Author's Affiliation |
Kyushu University (Kyushu Univ.) |
| 4th Author's Name |
|
| 4th Author's Affiliation |
() |
| 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-12-20 14:00:00 |
| Presentation Time |
30 minutes |
| Registration for |
SS |
| Paper # |
SS2005-70 |
| Volume (vol) |
vol.105 |
| Number (no) |
no.491 |
| Page |
pp.43-48 |
| #Pages |
6 |
| Date of Issue |
2005-12-13 (SS) |