Software requirements: objects, functions, and states
Software requirements: objects, functions, and states
Handbook of theoretical computer science (vol. B)
Techniques for automatic verification of real-time systems
Techniques for automatic verification of real-time systems
Completeness and consistency analysis of state-based requirements
Proceedings of the 17th international conference on Software engineering
Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
A graphical environment for the design of concurrent real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Experimentation in software engineering: an introduction
Experimentation in software engineering: an introduction
NuSMV 2: An OpenSource Tool for Symbolic Model Checking
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Experiences in Managing an Automotive Requirements Engineering Process
RE '04 Proceedings of the Requirements Engineering Conference, 12th IEEE International
Real-time specification patterns
Proceedings of the 27th international conference on Software engineering
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
Formal methods in industry: achievements, problems, future
Proceedings of the 28th international conference on Software engineering
From Language to Time: A Temporal Expression Anchorer
TIME '06 Proceedings of the Thirteenth International Symposium on Temporal Representation and Reasoning
User guidance for creating precise and accessible property specifications
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Model-driven development and analysis of high assurance systems
Model-driven development and analysis of high assurance systems
Specification patterns for probabilistic quality properties
Proceedings of the 30th international conference on Software engineering
Completeness and Consistency Analysis on Requirements of Distributed Event-Driven Systems
TASE '08 Proceedings of the 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering
A systematic literature review to identify and classify software requirement errors
Information and Software Technology
AceRules: executing rules in controlled natural language
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
CSSL: a logic for specifying conditional scenarios
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Formalization and analysis of real-time requirements: a feasibility study at BOSCH
VSTTE'12 Proceedings of the 4th international conference on Verified Software: theories, tools, experiments
Specification patterns from research to industry: a case study in service-based applications
Proceedings of the 34th International Conference on Software Engineering
Hi-index | 0.00 |
[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.