Paper Info
Title
Applying restricted english grammar on automotive requirements: does it work? a case study
Abstract
[Context and motivation] For an automatic consistency check on requirements the requirements have to be formalized first. However, logical formalisms are seldom accessible to stakeholders in the automotive context. Konrad and Cheng proposed a restricted English grammar that can be automatically translated to logics, but looks like natural language. [Question/problem] In this paper we investigate whether this grammar can be applied in the automotive domain, in the sense that it is expressive enough to specify automotive behavioral requirements. [Principal ideas/results] We did a case study over 289 informal behavioral requirements taken from the automotive context. We evaluated whether these requirements could be formulated in the grammar and whether the grammar has to be adapted to the automotive context. [Contribution] The case study strongly indicates that the grammar, extended with 3 further patterns, is suited to specify automotive behavioral requirements of BOSCH.
Year
DOI
Venue
2011
10.1007/978-3-642-19858-8_17
REFSQ
Keywords
Field
DocType
automatic consistency check,informal behavioral requirement,restricted english grammar,principal idea,automotive context,automotive domain,automotive requirement,logical formalisms,english grammar,natural language,case study,automotive behavioral requirement,requirements,automotive,real time
English grammar,Programming language,Computer science,Grammar,Natural language,Rotation formalisms in three dimensions,Automotive industry
Conference
Volume
ISSN
Citations 
6606
0302-9743
10
PageRank 
References 
Authors
0.60
17
3
Name
Order
Citations
PageRank
Amalinda Post1494.00
Igor Menzel2392.36
Andreas Podelski32760197.87