| Autor: |
Nishida, Fujio, Takamatsu, Shinobu, Fujita, Yoneharu, Tani, And Tadaaki |
| Předmět: |
|
| Zdroj: |
IEEE Transactions on Software Engineering; Sep91, Vol. 17 Issue 9, p853-883, 21p, 4 Color Photographs, 11 Diagrams, 4 Charts |
| Abstrakt: |
This paper describes a method of semi-automatic specification refinement and program generation using library modules. Users write their specifications, modify and rearrange them so that the specifications can be refined with the aid of the library modules. When a specification is given, a refinement system called MAPS searches for library modules applicable to the given specification, replaces the specification with a more detailed description written in the operation part of the modules, and converts the refined specification into a program written in a programming language designated by the user. Case-like expressions or pseudo-natural language expressions are used for describing user's specifications and specifications for library modules. [ABSTRACT FROM AUTHOR] |
| Databáze: |
Complementary Index |
| Externí odkaz: |
|
