A System Development Process with Event-B and the Rodin Platform
Abstract
The aim of this presentation is to show that the Event-B technology can be put into practice. For this, we must follow a well defined development process. That process is precisely the one which has to be transferred to industry. The Rodin platform, in its final form, will be the supporting tool for achieving this. Before describing the Event-B development process however, we make precise what we mean by an industrial development process in general terms.
Origin : Files produced by the author(s)
Loading...