118
click to vote
CORR
2006
Springer
15 years 2 months ago
2006
Springer
This paper describes an approach for reusing specification patterns. Specification patterns are design patterns that are expressed in a formal specification language. Reusing a spe...