4 citations · 4 across the 2 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2016★ 4 cited
Formal refinement of extended state machines
Thomas Fayolle, Marc Frappier, Régine Laleau +1
In a traditional formal development process, e.g. using the B method, the informal user requirements are (manually) translated into a global abstract formal specification. This tra…
cs.SE2006
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…