Controlled natural language requirements in the design and analysis of safety critical I&C systems

Teemu Tommila, Antti Pakonen

    Research output: Book/ReportReport

    Original languageEnglish
    Place of PublicationEspoo
    PublisherVTT Technical Research Centre of Finland
    Number of pages66
    Publication statusPublished - 2014
    MoE publication typeD4 Published development or research report or study

    Publication series

    SeriesLappeenranta University of Technology: Department of Information Technology. Research report
    VolumeVTT-R-01067-14

    Keywords

    • Requirements
    • Controlled Natural Languages
    • model checking
    • templates
    • patterns

    Cite this

    Tommila, T., & Pakonen, A. (2014). Controlled natural language requirements in the design and analysis of safety critical I&C systems. Espoo: VTT Technical Research Centre of Finland. Lappeenranta University of Technology: Department of Information Technology. Research report, Vol.. VTT-R-01067-14
    Tommila, Teemu ; Pakonen, Antti. / Controlled natural language requirements in the design and analysis of safety critical I&C systems. Espoo : VTT Technical Research Centre of Finland, 2014. 66 p. (Lappeenranta University of Technology: Department of Information Technology. Research report, Vol. VTT-R-01067-14).
    @book{9678e5a84d01495bae011b42d7620795,
    title = "Controlled natural language requirements in the design and analysis of safety critical I&C systems",
    keywords = "Requirements, Controlled Natural Languages, model checking, templates, patterns",
    author = "Teemu Tommila and Antti Pakonen",
    note = "Project code: 77380 / SAREMAN-2013",
    year = "2014",
    language = "English",
    series = "Lappeenranta University of Technology: Department of Information Technology. Research report",
    publisher = "VTT Technical Research Centre of Finland",
    address = "Finland",

    }

    Tommila, T & Pakonen, A 2014, Controlled natural language requirements in the design and analysis of safety critical I&C systems. Lappeenranta University of Technology: Department of Information Technology. Research report, vol. VTT-R-01067-14, VTT Technical Research Centre of Finland, Espoo.

    Controlled natural language requirements in the design and analysis of safety critical I&C systems. / Tommila, Teemu; Pakonen, Antti.

    Espoo : VTT Technical Research Centre of Finland, 2014. 66 p. (Lappeenranta University of Technology: Department of Information Technology. Research report, Vol. VTT-R-01067-14).

    Research output: Book/ReportReport

    TY - BOOK

    T1 - Controlled natural language requirements in the design and analysis of safety critical I&C systems

    AU - Tommila, Teemu

    AU - Pakonen, Antti

    N1 - Project code: 77380 / SAREMAN-2013

    PY - 2014

    Y1 - 2014

    KW - Requirements

    KW - Controlled Natural Languages

    KW - model checking

    KW - templates

    KW - patterns

    M3 - Report

    T3 - Lappeenranta University of Technology: Department of Information Technology. Research report

    BT - Controlled natural language requirements in the design and analysis of safety critical I&C systems

    PB - VTT Technical Research Centre of Finland

    CY - Espoo

    ER -

    Tommila T, Pakonen A. Controlled natural language requirements in the design and analysis of safety critical I&C systems. Espoo: VTT Technical Research Centre of Finland, 2014. 66 p. (Lappeenranta University of Technology: Department of Information Technology. Research report, Vol. VTT-R-01067-14).