© 2008

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

14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers

  • Barbara Paech
  • Craig Martell
Conference proceedings Monterey Workshop 2007

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5320)

Table of contents

  1. Front Matter
  2. Abstracts

    1. Aravind K. Joshi
      Pages 8-9
    2. Lori A. Clarke
      Pages 10-12
    3. Martin S. Feather
      Pages 13-14
  3. Papers

    1. Innovative Requirements Engineering Techniques

      1. Thomas Aschauer, Gerd Dauenhauer, Patricia Derler, Wolfgang Pree, Christoph Steindl
        Pages 25-42
      2. Jicheng Fu, Farokh B. Bastani, I-Ling Yen
        Pages 43-61
      3. Michael Goedicke, Thomas Herrmann
        Pages 62-84
      4. Daniel Popescu, Spencer Rugaber, Nenad Medvidovic, Daniel M. Berry
        Pages 103-124
    2. Innovative Applications of Natural-Language Processing Techniques

      1. Valdis Berzins, Craig Martell, Luqi, Paige Adams
        Pages 125-146
      2. Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky
        Pages 147-160
      3. Pete Sawyer, Ricardo Gacitua, Andrew Stone
        Pages 196-213
  4. Back Matter

About these proceedings


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.


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

Editors and affiliations

  • Barbara Paech
    • 1
  • Craig Martell
    • 2
  1. 1.University of Heidelberg, Im Neuenheimer Feld 326HeidelbergGermany
  2. 2.Department of Computer ScienceNaval Postgraduate SchoolMontereyUSA

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Finance, Business & Banking
Energy, Utilities & Environment