Requirements Verification in the Industry

Requirements Engineering is a discipline that has been promoted, implemented and deployed for more than 20 years through the impulsion of standardization agencies (IEEE, ISO, ECSS,...) and national / international organizations such as AFIS, GfSE, INCOSE. Ever since, despite an increasing maturity, the Requirements Engineering discipline remains unequally understood and implemented, even within one same organization. The challenges faced today by industry include: “How to explain and make understandable the fundamentals of Requirements Engineering”, “How to be more effective in Requirements authoring”, “How to reach a Lean Requirements Engineering, in particular with improved knowledge management and the extensive use of modeling techniques”.

[1]  T.C. Lethbridge,et al.  Guide to the Software Engineering Body of Knowledge (SWEBOK) and the Software Engineering Education Knowledge (SEEK) - a preliminary mapping , 2001, 10th International Workshop on Software Technology and Engineering Practice.

[2]  Barry W. Boehm,et al.  Software Engineering Economics , 1993, IEEE Transactions on Software Engineering.

[3]  Luisa Mich,et al.  Requirements for tools for ambiguity identification and measurement in natural language requirements specifications , 2008, Requirements Engineering.

[4]  Stephen Withall.  Software Requirement Patterns , 2007 .

[5]  Joseph Kasser.  The First Requirements Elucidator Demonstration (FRED) tool , 2004 .

[6]  Camille Salinesi,et al.  4.5.1 Requirements Analysis and Modeling Process (RAMP) for the Development of Complex Systems , 2010 .

[7]  Kate Marvel,et al.  Tunneling with negative tension , 2008, 0808.3186.

[8]  Linda H. Rosenberg,et al.  Automated Analysis of Requirement Specifications , 1997, Proceedings of the (19th) International Conference on Software Engineering.

[9]  Nicole Lévy,et al.  11.2.2 Reducing the Gap Between Formal and Informal Worlds in Automotive Safety‐Critical Systems , 2011 .

[10]  Frederick P. Brooks,et al.  No Silver Bullet: Essence and Accidents of Software Engineering , 1987 .

[11]  Joseph Kasser,et al.  A Proposed Research Programme for Determining a Metric for a Good Requirement , 2006 .

[12]  Ghassan Beydoun,et al.  A field study of the requirements engineering practice in Australian software industry , 2007, Requirements Engineering.

[13]  David Endler,et al.  Systems Engineering Return on Investment , 2013 .

[14]  Stuart Harman,et al.  No silver bullet , 2013 .

[15]  Cheryl Andrew,et al.  Defense Acquisitions: Stronger Management Practices are Needed to Improve DOD's Software-Intensive Weapon Acquisitions , 2004 .