Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs [electronic resource] : 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers / edited by Barbara Paech, Craig Martell.

Abstracts -- Ambiguity in Natural Language Requirements Documents -- Towards Discourse Meaning -- Getting the Details Right -- Defect Detection and Prevention (DDP) -- Papers -- Advances in Requirements Engineering: Bridging the Gap between Stakeholders’ Needs and Formal Designs -- Could an Agile Requirements Analysis Be Automated?—Lessons Learned from the Successful Overhauling of an Industrial Automation System -- Model-Driven Prototyping Based Requirements Elicitation -- A Case for ViewPoints and Documents -- Towards Combining Ontologies and Model Weaving for the Evolution of Requirements Models -- Reducing Ambiguities in Requirements Specifications Via Automatically Created Object-Oriented Models -- Innovations in Natural Language Document Processing for Requirements Engineering -- Logic-Based Regulatory Conformance Checking -- On the Identification of Goals in Stakeholders’ Dialogs -- Text Classification and Machine Learning Support for Requirements Analysis Using Blogs -- Profiling and Tracing Stakeholder Needs.

This book presents the thoroughly refereed and revised proceedings of the 14th Monterey workshop, held in Monterey, CA, USA, September 10-13, 2007. The theme of the workshop was Innovations for Requirement Analysis: From Stakeholders' Needs to Formal Designs. The 10 revised full papers included in the book were carefully selected during two rounds of reviewing and revision. These are preceded by the abstracts of the three keynote talks as well as a detailed introduction to the theme of the workshop, including a case study used by many participants to frame their analyses, and a summary of the workshop's results. The full papers have been grouped thematically under the headings Innovative Requirements Engineering Techniques and Innovative Applications of Natural-Language Processing Techniques.