| 
|
QuoteRef: smitDR11_1985
topics >
all references >
ThesaHelp:
references sa-sz
Topic:
design for change
Topic:
language flexibility
Topic:
information hiding
Topic:
software documentation
Topic:
user-centered operating system
Topic:
source-rich system
Topic:
transformation of programs
Topic:
string transformation languages
Reference
Smith, D.R. , Kotik, G.B. , Westfold, S.J. , "Research on knowledge-based software environments at Kestrel Institute ", IEEE Transactions on Software Engineering , SE-11 , 11 , pp. 1278-1295 , November 1985 . Google
1278 ;;Quote: a program is a complex combination of diverse materials that must undergo continuous modification; how can they be supple
1279 ;;Quote: a system has uniform closure if every component can access every other component, including their descriptions
1279+;;Quote: a system is self-described if every component includes a description
1280 ;;Quote: program refinements can be formalized by transformation rules with a source pattern, target pattern, and enabling condition
ThesaHelp: references sa-sz (237 items)
Topic: design for change (75 items)
Topic: language flexibility (34 items)
Topic: information hiding (50 items)
Topic: software documentation (64 items)
Topic: user-centered operating system (24 items)
Topic: source-rich system (27 items)
Topic: transformation of programs (27 items)
Topic: string transformation languages (17 items)