Category: CMUTR Institution: Carnegie Mellon University, School of Computer Science Number: CMU-CS-91-114 Bibtype: TechReport Author: David Garlan David Notkin Month: mar Title: Formalizing Design Spaces: Implicit Invocation Mechanisms Year: 1991 Key: Software reuse, software architecture, formal methods, implicit invocation, tool integration Address: Pittsburgh, PA