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

1. Front Matter

   PDF

2. Abstracts

   1. Ambiguity in Natural Language Requirements Documents

      • Daniel M. Berry

      Pages 1-7

   2. Towards Discourse Meaning

      • Aravind K. Joshi

      Pages 8-9

   3. Getting the Details Right

      • Lori A. Clarke

      Pages 10-12

   4. Defect Detection and Prevention (DDP)

      • Martin S. Feather

      Pages 13-14

3. Papers

   1. Advances in Requirements Engineering: Bridging the Gap between Stakeholders’ Needs and Formal Designs

      • Luqi, Fabrice Kordon

      Pages 15-24

   2. Innovative Requirements Engineering Techniques

      1. Could an Agile Requirements Analysis Be Automated?—Lessons Learned from the Successful Overhauling of an Industrial Automation System

         • Thomas Aschauer, Gerd Dauenhauer, Patricia Derler, Wolfgang Pree, Christoph Steindl

         Pages 25-42

      2. Model-Driven Prototyping Based Requirements Elicitation

         • Jicheng Fu, Farokh B. Bastani, I-Ling Yen

         Pages 43-61

      3. A Case for ViewPoints and Documents

         • Michael Goedicke, Thomas Herrmann

         Pages 62-84

      4. Towards Combining Ontologies and Model Weaving for the Evolution of Requirements Models

         • Allyson M. Hoss, Doris L. Carver

         Pages 85-102

      5. Reducing Ambiguities in Requirements Specifications Via Automatically Created Object-Oriented Models

         • Daniel Popescu, Spencer Rugaber, Nenad Medvidovic, Daniel M. Berry

         Pages 103-124

   3. Innovative Applications of Natural-Language Processing Techniques

      1. Innovations in Natural Language Document Processing for Requirements Engineering

         • Valdis Berzins, Craig Martell, Luqi, Paige Adams

         Pages 125-146

      2. Logic-Based Regulatory Conformance Checking

         • Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky

         Pages 147-160

      3. On the Identification of Goals in Stakeholders’ Dialogs

         • Leonid Kof

         Pages 161-181

      4. Text Classification and Machine Learning Support for Requirements Analysis Using Blogs

         • Douglas S. Lange

         Pages 182-195

      5. Profiling and Tracing Stakeholder Needs

         • Pete Sawyer, Ricardo Gacitua, Andrew Stone

         Pages 196-213

4. Back Matter

   PDF

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.

• Natural
• Processing
• Requirements Engineering
• agile computing
• ants
• conformance checking
• design
• discourse meaning
• machine learning
• model-driven prototyping
• natural language
• ontologies
• requirement models
• requirements elicitation
• structured analysis

• University of Heidelberg, Im Neuenheimer Feld 326, Heidelberg, Germany

  Barbara Paech

• Department of Computer Science, Naval Postgraduate School, Monterey, USA

  Craig Martell

Policies and ethics