21 research outputs found

    Symbolic Hybrid Programming Tool for Software Understanding

    No full text

    Visualizing Normative Systems: an Abstract Approach

    Get PDF
    Abstract normative systems allow to reason with norms even when their content is not detailed. In this paper, we propose a our preliminary results to visualize abstract normative systems, in such a way that we are able to reason with institutional facts, obligations and permissions. Moreover, we detect meaningful patterns emerging from the proposed visualization, and we show how these patterns can be used to define commonly used reusable solutions
    corecore