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

Research output: Book/Report › Report

Original language	English
Place of Publication	Espoo
Publisher	VTT Technical Research Centre of Finland
Number of pages	66
Publication status	Published - 2014
MoE publication type	D4 Published development or research report or study

Series	Lappeenranta University of Technology: Department of Information Technology. Research report
Volume	VTT-R-01067-14

Tommila, T., & Pakonen, A. (2014). Controlled natural language requirements in the design and analysis of safety critical I&C systems. VTT Technical Research Centre of Finland. Lappeenranta University of Technology: Department of Information Technology. Research report, Vol.. VTT-R-01067-14 http://www.vtt.fi/inf/julkaisut/muut/2014/VTT-R-01067-14.pdf

@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",

}

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 -