| Presentation | 1993/9/21 Components Searching by Formal Specification and its Evaluation Syunichi Kurino, Hirofumi Matsuzawa, Yoshiaki Fukazawa, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | In order to reuse software components,a database which contains many components and its management system are necessary.Most important function of this kind of systems is to retrieve a component correctly and speedily which satisfies user′s requests.S ince programs are very complex objects as data in database,this function is indispensable.In this paper,a retrieval method which utilizes a formal specification is described.By this method, correct retrieval can be realized.Also,a speedy retrieval algorithm is shown.An automatic component synthesis method is reported as the application of this retrieval method.Lastly, experimental results are described. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Software Component / Component Retrieval / Component Synthesis / Reuse / Conponent Database / Formal Specification |
| Paper # | SS93-28 |
| Date of Issue |
| Conference Information | |
| Committee | SS |
|---|---|
| Conference Date | 1993/9/21(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) | Components Searching by Formal Specification and its Evaluation |
| Sub Title (in English) | |
| Keyword(1) | Software Component |
| Keyword(2) | Component Retrieval |
| Keyword(3) | Component Synthesis |
| Keyword(4) | Reuse |
| Keyword(5) | Conponent Database |
| Keyword(6) | Formal Specification |
| 1st Author's Name | Syunichi Kurino |
| 1st Author's Affiliation | Media Science Laboratory,Nihon University() |
| 2nd Author's Name | Hirofumi Matsuzawa |
| 2nd Author's Affiliation | Tokyo Research Laboratory,IBM Research |
| 3rd Author's Name | Yoshiaki Fukazawa |
| 3rd Author's Affiliation | School of Science and Engineering,Waseda University |
| Date | 1993/9/21 |
| Paper # | SS93-28 |
| Volume (vol) | vol.93 |
| Number (no) | 244 |
| Page | pp.pp.- |
| #Pages | 8 |
| Date of Issue | |