LITERATURE

 

1. R. Allen and D. Garlan. Beyond definition use—architectural interconnection. ACM SIGPLAN Notices, 29(8):35–

44, 1994.

2. Robert Allen and David Garlan. A formal basis for architectural connection. ACM Transactions on Software

Engineering and Methodology, 6(3):213–249, July 1997.

3. D. R. Barstow. An experiment in knowledge-based automatic programming. Artificial Intelligence, 12(2):73–119,

1979.

4. D. R. Barstow. Domain-specific automatic programming. IEEE Transactions on Software Engineering,

11(11):1321–1336, November 1985.

5. Don Batory. Compositional validation and subjectivity and GenVoca generators. In Proceedings of the Fourth

International Conference on Software Reuse, pages 166–175, 1996. Is sometimes titled ”Subjectivity and Software

System Generators”.

6. S. Castano and V. De Antonellis. A constructive approach to reuse of conceptual components. In Proceedings of

the Second International Workshop on Software Reusability, pages 19–28, 1993.

7. Manuel Clavel, Steven Eker, Patrick Lincoln, and Jos´e Meseguer. Principles of maude. In In Proceedings, First International

Workshop on Rewriting Logic and its Applications, Electronic Notes in Theoretical Computer Science.

Elsevier Science, Inc., 1996.

8. J. C. Cleaveland. Building application generators. IEEE Software, 5(4):25–33, July 1988.

9. Liesbeth Dusink and Jan van Katwijk. Reuse dimensions. In Proceedings of SSR ’95, 1995.

10. J. L. Fiadeiro and T. Maibaum. A mathematical toolbox for the software architect. In Proceedings of the Eighth

International Workshop on Software Specification and Design (IWSSD8 – ’96), 1996.