MURAL - Maynooth University Research Archive Library



    Items where Author is "Farrell, Marie"


    Up a level
    Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
    Group by: Item Type | No Grouping
    Number of items: 4.

    Book Section

    Farrell, Marie and Monahan, Rosemary and Power, James F. (2017) Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability. In: ICFEM 2017: Formal Methods and Software Engineering. Lecture Notes in Computer Science (LNCS) (10610). Springer, pp. 140-156. ISBN 9783319686899

    Farrell, Marie and Monahan, Rosemary and Power, James F. (2017) Specification Clones: An Empirical Study of the Structure of Event-B Specifications. In: SEFM 2017: Software Engineering and Formal Methods. Lecture Notes in Computer Science (LNCS) (10469). Springer, pp. 152-167. ISBN 9783319661964

    Conference or Workshop Item

    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)

    Thesis

    Farrell, Marie (2017) Event-B in the Institutional Framework: Defining a Semantics, Modularisation Constructs and Interoperability for a Specification Language. PhD thesis, National University of Ireland Maynooth.

    This list was generated on Sat May 25 22:23:20 2019 UTC.