Sciweavers

CORR
2006
Springer
89views Education» more  CORR 2006»
13 years 11 months ago
Reuse of Specification Patterns with the B Method
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...
Sandrine Blazy, Frédéric Gervais, R&...