Search for dissertations about: "set of prohibitions"

Found 3 swedish dissertations containing the words set of prohibitions.

  2. 1. Symbolic sequences, crucial words and iterations of a morphism

    Author : Sergey Kitaev; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; symbolic sequence; combinatorics on words; morphism; iteration of a morphism; set of prohibitions; complete set of prohibitions; crucial word; Arshon sequence; sequence of sigma; set of prohibitions;

    Abstract : .... READ MORE

  4. 2. Analysing normative contracts : On the semantic gap between natural and formal languages

    Author : John J. Camilleri; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; contract analysis; controlled natural language; formal methods; timed automata; model checking;

    Abstract : Normative contracts are documents written in natural language, such as English or Swedish, which describe the permissions, obligations, and prohibitions of two or more parties over a set of actions, including descriptions of the penalties which must be payed when the main norms are violated. We encounter such texts frequently in our daily lives in the form of privacy policies, software licenses, and service agreements. READ MORE

  5. 3. Analysing normative contracts

    Author : John J. Camilleri; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; timed automata; model checking; contract analysis; formal methods; controlled natural language;

    Abstract : Normative contracts are documents written in natural language, such as English or Swedish, which describe the permissions, obligations, and prohibitions of two or more parties over a set of actions, including descriptions of the penalties which must be payed when the main norms are violated. We encounter such texts frequently in our daily lives in the form of privacy policies, software licenses, and service agreements. READ MORE