Lessons from DEPLOYment

  1. Lookup NU author(s)
  2. Dr Manuel Mazzara
  3. Professor Cliff Jones
  4. Dr Alexei Iliasov
Author(s)Jones C; Mazzara M; Iliasov A
Publication type Report
Series TitleSchool of Computing Science Technical Report Series
Source Publication DateJanuary 2012
Report Number1309
Full text is available for this publication:
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 it comes together with a rigorous refinement methodology like Event-B, cannot offer a complete solution. Unfortunately (but not unexpectedly), we cannot offer a panacea to cover every phase from requirements to code; in fact any specific formalism or language (or tool) should be used only where and when it is really suitable and not necessarily (and somehow forcibly) over the entire lifecycle.
InstitutionSchool of Computing Science, University of Newcastle upon Tyne
Place PublishedNewcastle upon Tyne
ActionsLink to this publication