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

[1]  Tommi Karhela,et al.  A toolset for model checking of PLC software , 2013, 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA).

[2]  Dana Fisman,et al.  A Practical Introduction to PSL , 2006, Series on Integrated Circuits and Systems.

[3]  Kaarel Kaljurand,et al.  A Multilingual Semantic Wiki Based on Attempto Controlled English and Grammatical Framework , 2013, ESWC.

[4]  Alistair Mavin,et al.  Easy Approach to Requirements Syntax (EARS) , 2009, 2009 17th IEEE International Requirements Engineering Conference.

[5]  Stephan Merz,et al.  Model Checking , 2000 .

[6]  A. Pakonen,et al.  Ontology-Driven Natural Language Requirement Templates for Model Checking I & C Functions , 2013 .

[7]  Mehrdad Sabetzadeh,et al.  RUBRIC: a flexible tool for automated checking of conformance to requirement boilerplates , 2013, ESEC/FSE 2013.

[8]  Pawel Garbacz,et al.  Towards a standard taxonomy of artifact functions , 2006, Appl. Ontology.

[9]  Leslie Lamport,et al.  Proving the Correctness of Multiprocess Programs , 1977, IEEE Transactions on Software Engineering.

[10]  Matthias Schnelte.  Generating Test Cases for Timed Systems from Controlled Natural Language Specifications , 2009, 2009 Third IEEE International Conference on Secure Software Integration and Reliability Improvement.

[11]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[12]  George S. Avrunin,et al.  Property specification patterns for finite-state verification , 1998, FMSP '98.

[13]  N. Crilly.  The roles that artefacts play: technical, social and aesthetic functions , 2010 .

[14]  Teemu Tommila,et al.  Conceptual model for safety requirements specification and management in nuclear power plants , 2015 .

[15]  Andries van Renssen,et al.  Gellish: a generic extensible ontological language - design and application of a universal data structure , 2005 .

[16]  Thomas Moser,et al.  DODT: Increasing requirements formalism using domain ontologies for improved embedded systems development , 2011, 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems.

[17]  Mehrdad Sabetzadeh,et al.  Automatic Checking of Conformance to Requirement Boilerplates via Text Chunking: An Industrial Case Study , 2013, 2013 ACM / IEEE International Symposium on Empirical Software Engineering and Measurement.

[18]  Douglas C. Schmidt,et al.  Pattern Oriented Software Architecture: On Patterns and Pattern Languages (Wiley Software Patterns Series) , 2007 .

[19]  A. Zoitl,et al.  Agile testing concepts based on keyword-driven testing for industrial automation systems , 2012, IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society.

[20]  Tobias Kuhn,et al.  A Survey and Classification of Controlled Natural Languages , 2014, CL.

[21]  Simon Szykman,et al.  A functional basis for engineering design: Reconciling and evolving previous efforts , 2002 .

[22]  Christian Facchi,et al.  Automated Test Code Generation Based on Formalized Natural Language Business Rules , 2012, ICSEA 2012.

[23]  Kaarel Kaljurand,et al.  Attempto Controlled English for Knowledge Representation , 2008, Reasoning Web.

[24]  Xiaofeng Wang,et al.  A Study of the Characteristics of Behaviour Driven Development , 2011, 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications.

[25]  George S. Avrunin,et al.  Patterns in property specifications for finite-state verification , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[26]  Peter Struss,et al.  Automated Test Generation from Models Based on Functional Software Specifications , 2007, IICAI.

[27]  Matthias Biehl,et al.  Integrated tool-chain for improving traceability during the development of automotive systems , 2012 .

[28]  James F. Allen.  Towards a General Theory of Action and Time , 1984, Artif. Intell..

[29]  Alistair Mavin,et al.  Big Ears (The Return of "Easy Approach to Requirements Engineering") , 2010, 2010 18th IEEE International Requirements Engineering Conference.

[30]  Augusto Sampaio,et al.  Test case generation from natural language requirements based on SCR specifications , 2013, SAC '13.

[31]  Using statement-level templates to improve the quality of requirements , 2012 .

[32]  Morten Lind,et al.  Modeling Goals and Functions of Control and Safety Systems - theoretical foundations and extensions of MFM , 2005 .