Lessons from DEPLOYment (2012)

Author(s): Jones C; Mazzara M; Iliasov A

    Abstract: 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.

      • Date: January 2012
      • Series Title: School of Computing Science Technical Report Series
      • Pages: 8
      • Institution: School of Computing Science, University of Newcastle upon Tyne
      • Publication type: Report
      • Bibliographic status: Published

      Keywords: Event-B, Problem Frames, Automotive Systems, Requirements Engineering


      Dr Alexei Iliasov
      Research Associate

      Professor Cliff Jones

      • Telephone: +44 191 208 8183