References

Bat97

Don Batory.
Intelligent components and software generators.
Technical Report 97-06, University of Texas at Austin, 1997.

BM88

R. S. Boyer and J. S. Moore.
A Computational Logic Handbook.
Academic Press, New York, 1988.

fARSS96

Software Technology for Adaptable Reliable Systems (STARS).
Organization domain modeling (odm) guidebook, version 2.0.
Technical Report STARS-VC-A023/011/00, STARS, 1996.

Fen95

Dieter Fensel.
The Knowledge Acquisition and Representation Language KARL.
Kluwer Academic Press, Boston, 1995.

GMW96

David Garlan, Robert Monroe, and David Wile.
Acme: An architecture interchange language.
IEEE Transactions on Software Engineering, 1996.

Kic97

Gregor Kiczales.
Aspect-oriented programming.
In Proceedings of WISR 8, Columbus, OH, 1997.

Lie96

Karl Lieberherr.
Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns.
PWS Publishing Company, 1996.

Liv96

Beat Liver.
A functional model of software and its application in troubleshooting, design and reuse.
PhD thesis, Ecole Polytechnique Fédérale de Lausanne, 1996.

LKA⁺95

David Luckham, John Kenney, Larry Augustin, James Vera, Dough Bryan, and Walter Mann.
Specification and analysis of system architecture useing rapide.
IEEE Transactions on Software ENgineering, 21(4):336-355, 1995.

Str94

Eleni Stroulia.
Failure-Driven Learning as Model-Based Self-Redesign.
PhD thesis, Georgia Institute of Technology, 1994.

Tre94

J. Treur.
Temporal semantics of meta-level architectures for dynamic control of reasoning.
In Fribourg et al., editor, Logic Program Synthesis and Transformation - Meta Programming in Logic. Springer Verlag, 1994.

vHB92

Frank van Harmelen and J. Balder.
$\hbox{(ML)}^2$: A formal language for kads conceptual models.
Knowledge Acquisition, 4(1), 1992.

WOS94

Bruce Weide, William Ogden, and Murali Sitaraman.
Recasting algorithms to encourage reuse.
IEEE Software, pages 80-88, September 1994.