Reuse of Specification Patterns with the B Method

Sandrine Blazy, Frédéric Gervais, Régine Laleau

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…