Share and Export
Share and Export
Farrell, Marie, Monahan, Rosemary and Power, James F. (2016) A Logical Framework for Integrating Software Models via Refinement. In: 32nd British Colloquium of Theoretical Computer Science, March 22-24, 2016, Queens University, Belfast, Northern Ireland. (Unpublished)
Preview
Available under License Creative Commons Attribution Non-commercial Share Alike.
Download (205kB) | Preview
Abstract
We propose the development of an institution-based framework within which software models can be combined not only at different levels of abstraction but across multiple formalisms. Event-B is an industrial-strength formalism that supports refinement, we envisage that the construction of an institution for Event-B, EVT, will not only increase the modularity of Event-B specifications but also provide a foundation for the interoperability of Event-B with other formalisms.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Keywords: | Integrating Software Models; Refinement; Event-B; |
| Academic Unit: | Faculty of Science and Engineering > Computer Science |
| Item ID: | 8219 |
| Depositing User: | Dr. James Power |
| Date Deposited: | 17 May 2017 15:38 |
| Refereed: | No |
| Use Licence: | This item is available under a Creative Commons Attribution Non Commercial Share Alike Licence (CC BY-NC-SA). Details of this licence are available here |
Downloads
Downloads per month over past year
Origin of downloads
Repository Staff Only (login required)
- Item control page
