| Presentation | 1995/11/17 The Software Developing Environment with Component-ware : Software Factory Yoshitsugu Kakemoto, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | In this paper, we propose the Software Factory, that is a software development environment based on the component ware. We make easy to composite every components though formalizing the interface of every components in the Software Factory. Additionally, it makes easy to verify formally. We apply the type theory for verifying connection among components that are developed newly. In this paper, we show the overview about the Software Factory and discuss about the relation between the software component for reuse, the object oriented developing environment and the Software Factory. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Software Components for reuse / Object-Oriented developing environment, Componentware / type theory. |
| Paper # | KBSE95-38 |
| Date of Issue |
| Conference Information | |
| Committee | KBSE |
|---|---|
| Conference Date | 1995/11/17(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 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | The Software Developing Environment with Component-ware : Software Factory |
| Sub Title (in English) | |
| Keyword(1) | Software Components for reuse |
| Keyword(2) | Object-Oriented developing environment, Componentware |
| Keyword(3) | type theory. |
| 1st Author's Name | Yoshitsugu Kakemoto |
| 1st Author's Affiliation | Information Technology and Development Department, The Japan Research Institute, Limited() |
| Date | 1995/11/17 |
| Paper # | KBSE95-38 |
| Volume (vol) | vol.95 |
| Number (no) | 362 |
| Page | pp.pp.- |
| #Pages | 8 |
| Date of Issue | |