Innovations for requirements analysis : from stakeholders' needs to formal designs : 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007 : revised selected papers

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. Wearepleasedtopresenttheproceedingsofthe14thmontereyworkshop,which Tookplaceseptember10–13,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. Front Matter....Pages - Ambiguity in Natural Language Requirements Documents....Pages 1-7 Towards Discourse Meaning....Pages 8-9 Getting the Details Right....Pages 10-12 Defect Detection and Prevention (DDP)....Pages 13-14 Advances in Requirements Engineering: Bridging the Gap between Stakeholders’ Needs and Formal Designs....Pages 15-24 Could an Agile Requirements Analysis Be Automated?—Lessons Learned from the Successful Overhauling of an Industrial Automation System....Pages 25-42 Model-Driven Prototyping Based Requirements Elicitation....Pages 43-61 A Case for ViewPoints and Documents....Pages 62-84 Towards Combining Ontologies and Model Weaving for the Evolution of Requirements Models....Pages 85-102 Reducing Ambiguities in Requirements Specifications Via Automatically Created Object-Oriented Models....Pages 103-124 Innovations in Natural Language Document Processing for Requirements Engineering....Pages 125-146 Logic-Based Regulatory Conformance Checking....Pages 147-160 On the Identification of Goals in Stakeholders’ Dialogs....Pages 161-181 Text Classification and Machine Learning Support for Requirements Analysis Using Blogs....Pages 182-195 Profiling and Tracing Stakeholder Needs....Pages 196-213 Back Matter....Pages - Barbara Paech, Craig Martell (eds.). International Conference Proceedings. Includes Bibliographical References And Index.