MURAL - Maynooth University Research Archive Library

    Creating Formal Specifications with Analogical Reasoning

    O’Donoghue, Diarmuid and Monahan, Rosemary and Grijincu, D. and Pitu, M. and Halim, F. and Rahman, F. and Abgaz, Yalemisew and Hurley, D. (2014) Creating Formal Specifications with Analogical Reasoning. PICS - Publication Series of the Institute of Cognitive Science, 1-2014. ISSN 1610-5389

    Download (339kB) | Preview

    Share your research

    Twitter Facebook LinkedIn GooglePlus Email more...

    Add this article to your Mendeley library


    We describe the Arís (Analogical Reasoning for Implementations and Specifications) system that uses analogical reasoning to create formal specifications for a given implementation. Arís is built on the hypothesis that structurally similar implementations often represent similar functionality. It leverages this similarity to create new specifications, by analogy to a retrieved similar example. Of course some similarly structured implementations provide different functionality, so a major focus of Arís is to discriminate between analogous and dis-analogous pairs of code. Examples are used to highlight Arís’ ability to create specifications, across a range of similar implementations and even similar algorithms. Results are presented on Arís ability to create verified specifications for a sample of ten textbook problems. We argue that Arís both emulates and supports the workaday little-c creativity of formal software developers.

    Item Type: Article
    Keywords: Creating Formal Specifications; Analogical Reasoning; ARIS; Analogical Reasoning for Implementations and Specifications;
    Academic Unit: Faculty of Science and Engineering > Computer Science
    Item ID: 5624
    Identification Number:
    Depositing User: Dr. Diarmuid O'Donoghue
    Date Deposited: 16 Dec 2014 17:09
    Journal or Publication Title: PICS - Publication Series of the Institute of Cognitive Science
    Publisher: Institute of Cognitive Science
    Refereed: Yes
      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