The role of formal reusable frameworks

Authors:
David Garlan
Affiliations:
Computer Research Labs, Tektronix Laboratories, Beaverton, OR
Venue:
Conference proceedings on Formal methods in software development
Year:
1990

Citing 4
Cited 2

Systematic software development using VDM

Systematic software development using VDM
The Z notation: a reference manual

The Z notation: a reference manual
Formally specifying electronic instruments

IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
The Science of Programming

The Science of Programming

Software reuse

ACM Computing Surveys (CSUR)
Formalizing design patterns

Proceedings of the 20th international conference on Software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract