| Presentation | 2003/11/20 Evaluation of suitablity for the requirement specification of a framework(Software Science) Teruyoshi ZENMYO, Takashi KOBAYASHI, Motoshi SAEKI, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | Framework technology is one of the promising approaches to support efficient software development and various frameworks have been developed in a application domain. In this situation, it is significant to evaluate them and to select a suitable one for the requirements specification. In this paper, we model a requirements specification and a framework with their behavior, and represent them as labelled transition systems (LTSs). We propose an evaluation technique by means of comparing these two LTSs based on bi-simular relation of process algebra. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | framework / scenario / labelled transition system / bi-simulation |
| Paper # | SS2003-17,KBSE2003-20 |
| Date of Issue |
| Conference Information | |
| Committee | SS |
|---|---|
| Conference Date | 2003/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 | Software Science (SS) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Evaluation of suitablity for the requirement specification of a framework(Software Science) |
| Sub Title (in English) | |
| Keyword(1) | framework |
| Keyword(2) | scenario |
| Keyword(3) | labelled transition system |
| Keyword(4) | bi-simulation |
| 1st Author's Name | Teruyoshi ZENMYO |
| 1st Author's Affiliation | Department of Computer Science, Graduate school of Information Science and Engineering, Tokyo Institute of Technology() |
| 2nd Author's Name | Takashi KOBAYASHI |
| 2nd Author's Affiliation | Global Scientific Information and Computing Center , Tokyo Institute of Technology |
| 3rd Author's Name | Motoshi SAEKI |
| 3rd Author's Affiliation | Department of Computer Science, Graduate school of Information Science and Engineering, Tokyo Institute of Technology |
| Date | 2003/11/20 |
| Paper # | SS2003-17,KBSE2003-20 |
| Volume (vol) | vol.103 |
| Number (no) | 481 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |