Skip to main content
SpringerLink
Log in

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

  • Conference paper
Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs (Monterey Workshop 2007)

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

Included in the following conference series:

Abstract

The lions’s share of the software faults can be traced to requirements and specification errors, so improvements in requirements engineering can have a large impact on the effectiveness of the overall system development process. A weak link in the chain is the transition from the vague and informal needs of system stakeholders to the formal models that support theoretical analysis and software tools.

This paper explains the context for the 2007 Monterey workshop that was dedicated to this problem. It provides the case study that participants were asked to use to illustrate their new methods, and summarizes the discussion and conclusions of the workshop.

This work was supported in part by ARO grant 45614CI.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aschauer, T., Dauenhauer, G., Derler, P., Pree, W., Steindl, C.: Could an Agile Requirements Analysis be Automated? In: Paech, B., Martell, C. (eds.) Monterey Workshop 2007. LNCS, vol. 5320, pp. 25–42. Springer, Heidelberg (2008)

    Google Scholar 

  2. Berry, D.: Ambiguity in Natural Language Requirements Documents: Extended Abstract. In: Paech, B., Martell, C. (eds.) Monterey Workshop 2007. LNCS, vol. 5320, pp. 1–7. Springer, Heidelberg (2008)

    Google Scholar 

  3. Berzins, V., Martell, C., Luqi, Adams, P.: Innovations in Natural Language Document Processing for Requirements Engineering. In: Paech, B., Martell, C. (eds.) Monterey Workshop 2007. LNCS, vol. 5320, pp. 125–146. Springer, Heidelberg (2008)

    Google Scholar 

  4. Boehm, B.: Software Engineering Economics, Upper Saddle River, NJ, USA. Prentice Hall PTR, Englewood Cliffs (1981)

    MATH  Google Scholar 

  5. Dinesh, N., Joshi, A., Lee, I., Sokolsky, O.: Logic-based Regulatory Conformance Checking. In: Paech, B., Martell, C. (eds.) Monterey Workshop 2007. LNCS, vol. 5320, pp. 147–160. Springer, Heidelberg (2008)

    Google Scholar 

  6. Fu, J., Bastani, F., Yen, I.: Model-Driven Prototyping Based Requirements Elicitation. In: Paech, B., Martell, C. (eds.) Monterey Workshop 2007. LNCS, vol. 5320, pp. 43–61. Springer, Heidelberg (2008)

    Google Scholar 

  7. Goedicke, M., Herrmann, T.: A Case for ViewPoints and Documents. In: Paech, B., Martell, C. (eds.) Monterey Workshop 2007. LNCS, vol. 5320, pp. 62–84. Springer, Heidelberg (2008)

    Google Scholar 

  8. Hoss, A., Carver, D.: Towards Combining Ontologies and Model Weaving for the Evolution of Requirements Models. In: Paech, B., Martell, C. (eds.) Monterey Workshop 2007. LNCS, vol. 5320, pp. 85–102. Springer, Heidelberg (2008)

    Google Scholar 

  9. Kelly, D.: A software chasm: Software engineering and scientific computing. IEEE Software 24(6), 119–120 (November-December 2007)

    Article  Google Scholar 

  10. Kof, L.: On the Identification of Goals in Stakeholders Dialogs. In: Paech, B., Martell, C. (eds.) Monterey Workshop 2007. LNCS, vol. 5320, pp. 161–181. Springer, Heidelberg (2008)

    Google Scholar 

  11. Lange, D.: Text Classification and Machine Learning Support for Requirements Analysis Using Blogs. In: Paech, B., Martell, C. (eds.) Monterey Workshop 2007. LNCS, vol. 5320, pp. 182–195. Springer, Heidelberg (2008)

    Google Scholar 

  12. Popescu, D., Rugaber, S., Medvidovic, N., Berry, D.: Reducing Ambiguities in Requirements Specifications via Automatically Created Object-Oriented Models. In: Paech, B., Martell, C. (eds.) Monterey Workshop 2007. LNCS, vol. 5320, pp. 103–124. Springer, Heidelberg (2008)

    Google Scholar 

  13. Sawyer, P., Gacitua, R., Stone, A.: Profiling and Tracing Stakeholder Needs. In: Paech, B., Martell, C. (eds.) Monterey Workshop 2007. LNCS, vol. 5320, pp. 196–213. Springer, Heidelberg (2008)

    Google Scholar 

  14. Stone, A., Sawyer, P.: Identifying tacit knowledge-based requirements. Software, IEE Proceedings 153(6), 211–218 (2006)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Naval Postgraduate School, Monterey, California, USA

    Luqi

  2. LIP6, Université Pierre et Marie Curie, Paris, France

    Fabrice Kordon

Authors
  1. Luqi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Fabrice Kordon
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Heidelberg, Im Neuenheimer Feld 326, 61920, Heidelberg, Germany

    Barbara Paech

  2. Department of Computer Science, Naval Postgraduate School, 1411 Cunningham Road, CA 93943, Monterey, USA

    Craig Martell

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Luqi, Kordon, F. (2008). Advances in Requirements Engineering: Bridging the Gap between Stakeholders’ Needs and Formal Designs. In: Paech, B., Martell, C. (eds) Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs. Monterey Workshop 2007. Lecture Notes in Computer Science, vol 5320. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89778-1_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-89778-1_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-89777-4

  • Online ISBN: 978-3-540-89778-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation