Lessons Learned/Sharing the Experience of Developing a Metro System Case Study
Software Engineering
2012-10-29 v1
Abstract
In this document we share the experiences gained throughout the development of a metro system case study. The model is constructed in Event-B using its respective tool set, the Rodin platform. Starting from requirements, adding more details to the model in a stepwise manner through refinement, we identify some keys points and available plugins necessary for modelling large systems (requirement engineering, decomposition, generic instantiation, among others), which ones are lacking plus strengths and weaknesses of the tool.
Keywords
Cite
@article{arxiv.1210.7030,
title = {Lessons Learned/Sharing the Experience of Developing a Metro System Case Study},
author = {Renato Silva},
journal= {arXiv preprint arXiv:1210.7030},
year = {2012}
}
Comments
In Proceedings of DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B, in conjunction with ICFEM 2012 - Kyoto, Japan, November 13, 2012