Sökning: "controlled natural language CNL"

Hittade 1 uppsats innehållade orden controlled natural language CNL.

  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