Publications by David Garlan

Conference

Preconditions for understanding

1991 • Iwssd 1991 Proceedings of the 6th International Workshop on Software Specification and Design • 242-245
Garlan D

Journal Article

FORMAL SPECIFICATIONS AS REUSABLE FRAMEWORKS

1990 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 428:150-163
GARLAN D, DELISLE N

Conference

COMPOSING SOFTWARE SYSTEMS FROM REUSABLE BUILDING BLOCKS.

1987 • Proceedings of the Hawaii International Conference on System Science • 2:536-545
Kaiser GE, Garlan D

Conference

MELD: A DECLARATIVE LANGUAGE FOR WRITING METHODS.

1987 • Conference Proceedings Annual Phoenix Conference • 280-285
Kaiser GE, Garlan D