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).