Publications by David Garlan

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

Journal Article

VIEWS FOR TOOLS IN INTEGRATED ENVIRONMENTS

1987 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 244:314-343
GARLAN D

Conference

GNOME

1984 65-72
Garlan DB, Miller PL