Sökning: "normative texts"

Visar resultat 1 - 5 av 49 avhandlingar innehållade orden normative texts.

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

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

    Sammanfattning : 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. LÄS MER

  2. 2. Analysing normative contracts

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

    Sammanfattning : 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. LÄS MER

  3. 3. Contracts and Computation — Formal modelling and analysis for normative natural language

    Författare :John J. Camilleri; Göteborgs universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; normative texts; contract analysis; controlled natural language; model checking;

    Sammanfattning : Whether we are aware of it or not, our digital lives are governed by contracts of various kinds, such as privacy policies, software licenses, service agreements, and regulations. At their essence, normative documents like these dictate the permissions, obligations, and prohibitions of two or more parties entering into an agreement, including the penalties which must be paid when someone breaks the rules. LÄS MER

  4. 4. Bilden och texten : En studie av ljusets och seendets pedagogik

    Författare :Olof Gustaf Jonsson; Ulf P. Lundgren; Ulla Riis; Staffan Selander; Uppsala universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; visual based education åskådningsundervisning ; visual argumentation; normative texts; curricula; Education; Pedagogik;

    Sammanfattning : The thesis deals with a reading tradition that can be traced to medieval times, a tradition in which images and text, intertwined, convey the message to the reader. The strength of the coupling between image and text has varied over time. Initially closely interconnected, the connections between image and text were later separated. LÄS MER

  5. 5. Skolplanschen : Argument i spänning mellan bild och text, perspektiv och kontext

    Författare :Olof Gustaf Jonsson; Ulf P. Lundgren; Elisabet Malmström; Uppsala universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; visual argumentation; structural; normative texts; curricula; Education; Pedagogik; Pedagogik; Education;

    Sammanfattning : This study reaches back to a reading tradition that can be traced to Antiquity and Medieval times; a reading tradition where images and text joined in a symbiosis conveyed the story to the reader. From initially being closely interconnected, the connections between image and text have separated, and the strength of the coupling between image and text has varied over time. LÄS MER