1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.SE2016★ 1 cited
Lessons from DEPLOYment
Manuel Mazzara, Cliff Jones, Alexei Iliasov
This paper reviews the major lessons learnt during two significant pilot projects by Bosch Research during the DEPLOY project. Principally, the use of a single formalism, even when…
cs.SE2013
Event-B/SLP
Alexei Iliasov
We show how the event-based notation offered by Event-B may be augmented by algorithmic modelling constructs without disrupting the refinement-based development process.