13 search results - page 3 / 3 » kbse 1999 |
KBSE
1999
IEEE
13 years 9 months ago
1999
IEEE
Refactorings are behavior-preserving program transformations that automate design evolution in object-oriented applications. Three kinds of design evolution are: schema transformat...
KBSE
1999
IEEE
13 years 9 months ago
1999
IEEE
Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of...
KBSE
1999
IEEE
13 years 9 months ago
1999
IEEE
The language AML is used to specify the semantics of architecture description languages, ADLs. It is a very primitive language, having declarations for only three constructs: elem...