A System Development Process with Event-B and the Rodin Platform - Archive ouverte HAL
Communication Dans Un Congrès Année : 2008

A System Development Process with Event-B and the Rodin Platform

Résumé

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.
Fichier principal
Vignette du fichier
JR.Abrial_ETHZ (1).pdf (79.97 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02270340 , version 1 (24-08-2019)

Identifiants

  • HAL Id : hal-02270340 , version 1

Citer

Jean-Raymond Abrial. A System Development Process with Event-B and the Rodin Platform. Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France. ⟨hal-02270340⟩

Collections

ERTS2008
109 Consultations
163 Téléchargements

Partager

More