Lessons from DEPLOYment
- Lookup NU author(s)
- Dr Manuel Mazzara
- Professor Cliff Jones
- Dr Alexei Iliasov
|
|
|
|
| Author(s) | | Jones C; Mazzara M; Iliasov A |
| Publication type | | Report |
| Series Title | | School of Computing Science Technical Report Series |
| Year | | 2012 |
| Date | | January 2012 |
| Report Number | | 1309 |
| Pages | | 8 |
|
|
|
| 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. |
|
|
|
| Institution | | School of Computing Science, University of Newcastle upon Tyne |
| Place Published | | Newcastle upon Tyne |
| Actions | |  |
