Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs

Wearepleasedtopresenttheproceedingsofthe14thMontereyWorkshop,which tookplaceSeptember1013,2007inMonterey,CA,USA. Inthispreface,wegive the reader an overview of what took place at the workshop and introduce the contributions in this Lecture Notes in Computer Science volume. A complete introduction to the theme of the workshop, as well as to the history of the Monterey Workshop series, can be found in Luqi and Kordon's Advances in Requirements Engineering: Bridging the Gap between Stakeholders' Needs and Formal Designs in this volume. This paper also contains the case study that many participants used as a problem to frame their analyses, and a summary of the workshop's results. The workshop consisted of three keynote talks, three panels, presentations of peer-reviewed papers, as well as presentations of various position papers by the participants. The keynote speakers at this year's workshop were Daniel Berry, Aravind Joshi, and Lori Clarke. Each of their talks was used to set the tone for the p- sentations and discussions for that particular day. Daniel Berry presented an overview of the needs and challenges of natural language processing in requi- ments engineering, with a special focus on ambiguity in his talk Ambiguity in Natural Language Requirements. Aravind Joshi provided an overview of current natural language processing research in discourse analysis in the talk Some Recent Developments in Natural Language Processing. Finally, Lori Clarke showed how to combine formal requirements speci?cation with natural language processing to cope with the complex domain of medical information processes in Getting the Details Right.

Klappentext

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.

Inhalt
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.