Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths

    SEFM, pp. 240-249, 2009.

    Cited by: 20|Bibtex|Views3|Links
    EI
    Keywords:
    traditional notionrelevant transformationsignature morphismsspecification refinementright propositional neighborhood logicMore(18+)

    Abstract:

    Traditional notions of refinement of algebraic specifications, based on signature morphisms, are often too rigid to capture a number of relevant transformations in the context of software design, reuse and adaptation. This paper proposes an alternative notion of specification refinement, building on recent work on logic interpretation. Th...More

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments