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