MURAL - Maynooth University Research Archive Library

    A Logical Framework for Integrating Software Models via Refinement

    Farrell, Marie and 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)

    Download (205kB) | Preview

    Share your research

    Twitter Facebook LinkedIn GooglePlus Email more...

    Add this article to your Mendeley library


    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

      Repository Staff Only(login required)

      View Item Item control page


      Downloads per month over past year

      Origin of downloads