Sökning: "syntactical complexity"

Hittade 3 uppsatser innehållade orden syntactical complexity.

  1. 1. A Transformation of Controlled Natural Language Behavioural Requirements into Modal Sequence Diagram Simulation Models for Requirement Conflict Detection

    Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Alexander Styre; [2017-06-21]
    Nyckelord :model-driven engineering MDE ; requirements engineering RE ; model-driven requirements engineering MDRE ; ScenarioTools; scenario markup language SML ; scenario description language SDL ; modal sequence diagram MSD ; message sequence chart MSC ; live sequence chart LSC ; controlled natural language CNL ; deterministic transformation;

    Sammanfattning : PURPOSE: Specifying requirements in a semi-formal notation, such as a controlled natural language (CNL), allows reduction of ambiguity and underspecification in requirement specifications, as the notation uses well defined semantics and enforces consistency and conformance to syntactical rules. Contradicting requirements can be problematic to detect in practice depending on the size and complexity of the requirement specification. LÄS MER

  3. 2. Normalization of SMT-LIB scripts

    Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Kristian Ionescu; [2016]
    Nyckelord :;

    Sammanfattning : Satisfiability modulo theories (SMT) is about determining the satisfiability of logical formulas over a range of one or more theories. SMT solvers are programs that are designed to determine the satisfiability of logical formulas and to find a satisfying model. LÄS MER

  4. 3. Grammatisk komplexitet och kompensationshypotesen

    Kandidat-uppsats, Lunds universitet/Allmän språkvetenskap

    Författare :Cilla Heinonen; [2012]
    Nyckelord :Dale; Gary; Lupyan; Daniel; Everett; subordination; compensation hypothesis; syntactical complexity; linguistic complexity; morphological complexity; Rick; Languages and Literatures;

    Sammanfattning : It is a widespread and politically correct view among linguists that all languages are equally complex. It is assumed that a language with low complexity in one linguistic domain, e.g. morphology compensates for that with a greater amount of complexity in another domain, e. LÄS MER