Formal Approaches to Software Architecture

Authors:
David Garlan
Affiliations:
-
Venue:
ICSE '93 Selected papers from the Workshop on Studies of Software Design
Year:
1993

Citing 0
Cited 2

Pinnacles of software engineering: 25 years of formal methods

Annals of Software Engineering
Refinement of Pipe-and-Filter Architectures

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I

Quantified Score

Hi-index	0.00

Visualization

Abstract