Name
Abstract | ||
|---|---|---|
The Event Refinement Structures ERS approach provides a graphical extension of the Event-B formal method to represent event decomposition and control-flow explicitly. In this paper we present an improved version of the ERS plug-in, which provides a graphical environment for the ERS approach within the Event-B tool, Rodin. The improved ERS plug-in is based on the available frameworks that are developed to support Event-B with an EMF framework, language extensions and generic diagram extensions. |
Year | DOI | Venue |
|---|---|---|
2016 | 10.1007/978-3-319-33600-8_20 | ABZ |
DocType | Volume | ISSN |
Conference | 9675 | 0302-9743 |
Citations | PageRank | References |
1 | 0.37 | 1 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Dana Dghaym | 1 | 4 | 6.11 |
| Matheus Garay Trindade | 2 | 1 | 0.37 |
| Michael Butler | 3 | 1768 | 104.74 |
| Asieh Salehi Fathabadi | 4 | 48 | 8.14 |