Requirements verification in the industry

Proceedings of the 2nd International Conference on Complex Systems Design and Management, CSDM 2011

Volumn , Issue , 2011, Pages 145-160

  Fanmuy, Gauthier ^a   Fraga, Anabel ^b   Llorens, Juan ^b  

^a ADN   (France)

^b UNIVERSIDAD CARLOS III DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

CORRECTNESS VERIFICATIONS; INDUSTRIAL SECTOR; INTERNATIONAL ORGANIZATIONS; LEXICAL LEVEL; MODELING TECHNIQUE; NATURAL LANGUAGE PROCESSING; REQUIREMENTS VERIFICATION; VERIFICATION TECHNIQUES;

KNOWLEDGE MANAGEMENT; NATURAL LANGUAGE PROCESSING SYSTEMS; REQUIREMENTS ENGINEERING; SURVEYS; SYSTEMS ANALYSIS;

INDUSTRY;

EID: 84878238267     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-642-25203-7_10     Document Type: Conference Paper

References (23)

1. Guidelines for Development of Civil Aircraft and Systems. Society of Automotive Engineers. ARP4754A, http://standards.sae.org/arp4754a
2. Boehm, B.: Software Engineering Economics, p. 37. Prentice-Hall, L/S 004.41 BOE (1981)
3. Brooks, F.P.: No Silver Bullet. Essence and Accidents of Software Engineering. IEEE Computer 20(4), 10-19 (1987);
4. reprinted in: Brooks, F.P.: The Mytical Man-Month, Essays on Software Engineering. Addison-Wesley (20th Anniversary Edition) (1995)
5. Chale, H., et al.: Reducing the Gap between Formal and Informal Worlds in Automotive Safety-Critical Systems. In: INCOSE Symposium 2011, Denver (2011)
6. The Standish Group, Chaos Report (2003), http://www.standishgroup.com/
7. de Pablo, C.: Boostrapping Named Entity resources for adaptive question answering Systems. PHD. Universidad Carlos III de Madrid. Informatics Department, Universidad Carlos III de Madrid (2010), http://hdl.handle.net/ 10016/9867
8. Requirements Quality Monitoring - Main results and outcomes. In: RAMP Workshop (June 10, 2010)
9. Fanmuy, G., et al.: Requirements Analysis and Modeling Process (RAMP) for the Development of Complex Systems. In: INCOSE Symposium 2011, Chicago (2011)
10. United States General Accounting Office, Defense Acquisition: Stronger Management practices are needed to improve DOD's software-intensive weapon acquisitions (2004)
11. Hull, E., Jackson, K., Dick, J.: Requirements Engineering. Springer, Heidelberg (2010)
12. Eric, H.: Systems Engineering return on investment (SE-ROI). In: INCOSE International Symposium, Chicago, IL
13. Kasser, J.E.: The First Requirements Elucidator Demonstration (FRED) Tool. Systems Engineering 7(3), 243-256 (2004)
14. Kasser, J.E., Scott, W., Tran, X.L., Nesterov, S.: A Proposed Research Programme for Determining a Metric for a Good Requirement. In: The Conference on Systems Engineering Research, Los Angeles, California, USA (2006)
15. Kiyavitskaya, N., Zeni, N., Mich, L., Berry, D.M.: Requirements for tools for ambiguity identification and measurement in natural language requirements specifications. Requirements Engineering 13(3), 207-239 (2008)
16. Latimer-Livingston, N.S.: Market Share: Requirements Management, Worldwide (2003) (Executive Summary); Gartner Research (July 1, 2004), http://www.gartner.com/DisplayDocument?ref=g-search&id=452522
17. Report CMU/SEI-2008-SR-034 Sadraei, E., Aurum, A., Beydoun, G., Paech, B.: A field study of the requirements engineering practice in Australian software industry. Requirements Engineering 12(3), 145-162 (2007)
18. Standish Group International, Extreme Chaos (2001)
19. SWEBOK Guide to the Software Engineering Body of Knowledge. IEEE Computer Society (2004), http://www. swebok.org/ironman/pdf/SWEBOK-Guide-2004.pdf
20. http://www.reusecompany.com (Website last visited July 5, 2011)
21. Wilson, W.M., Rosenberg, L.H., Hyatt, L.E.: Automated Analysis of Requirement Specifications. In: Proceedings of the 19th International Conference on Software Engineering, ICSE 1997,
22. Boston, Massachusetts, USA, May 17-23, pp. 161-171 (1997)
23. Withall, J.: Software Requirement Patterns. Microsoft Press (2007)