Skip to main content
SpringerLink
Log in
Book cover

Software Engineering 3 pp 495–501Cite as

Requirements Analysis and Concept Formation

  • Chapter

  • 1198 Accesses

Part of the book series: Texts in Theoretical Computer Science An EATC Series ((TTCS))

This is a preview of subscription content, 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   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   119.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   109.99
Price excludes VAT (USA)
  • Durable hardcover 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

21.6 Bibliographical Notes

  1. A. Dardenne, S. Fikas, A. van Lamsweerde: Goal-Directed Concept Acquisition in Requirements Elicitation. In: Proc. IWSSD-6, 6th Intl. Workshop on Software Specification and Design (IEEE Computer Society Press, USA 1991) pp 14–21

    Google Scholar 

  2. A. Dardenne, A. van Lamsweerde, S. Fikas: Goal-Directed Requirements Acquisition. Science of Computer Programming 20 (1993) pp 3–50

    Article  Google Scholar 

  3. R. Darimont, A. van Lamsweerde: Formal Refinement Patterns for Goal-Driven Requirements Elaboration. In: Proc. FSE’4, Fourth ACM SIGSOFT Symp. on the Foundations of Software Enginering (ACM, 1996) pp 179–190

    Google Scholar 

  4. M. Feather, S. Fikas, A. van Lamsweerde, C. Ponsard: Reconciling System Requirements and Runtime Behaviours. In: Proc. IWSSD’98, 9th Intl. Workshop on Software Specification and Design (IEEE Computer Society Press, Isobe, Japan 1998)

    Google Scholar 

  5. J.A. Goguen, M. Girotka (eds.): Requirements Engineering: Social and Technical Issues (Academic Press, 1994)

    Google Scholar 

  6. J.A. Goguen, C. Linde: Techniques for Requirements Elicitation. In: Proc. RE’93, First IEEE Symposium on Requirements Engineering (IEEE Computer Society Press, CA, USA 1993) pp 152–164

    Google Scholar 

  7. S.J. Greenspan, J. Mylopoulos, A. Borgida: Capturing More World-Knowledge in Requirements Specification. In: Proc. 6th ICSE: Intl. Conf. on Software Engineering (IEEE Computer Society Press, Tokyo, Japan 1982)

    Google Scholar 

  8. S.J. Greenspan, J. Mylopoulos, A. Borgida: A Requirements Modelling Language. Information Systems 11,1 (1986) pp 9–23

    Article  Google Scholar 

  9. A. Hunter, B. Nuseibeh: Managing Inconsistent Specifications: Reasoning, Analysis and Action. ACM Transactions on Software Engineering and Methodology 7,4 (1998) pp 335–367

    Article  Google Scholar 

  10. R.D. Landtsheer, E. Letier, A. van Lamsweerde: Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models. In: RE–03, 11th IEEE Joint International Requirements Engineering Conference (IEEE CS Press, USA 2003) pp 200–210

    Google Scholar 

  11. E. Letier, A. van Lamsweerde: Agent-Based Tactics for Goal-Oriented Requirements Elaboration. In: Proceedings ICSE 2002-24th International Conference on Software Engineering (IEEE CS Press, USA 2002)

    Google Scholar 

  12. E. Letier, A. van Lainsweerde: Deriving Operational Software Specifications from System Goals. In: Proceedings FSE’10-10th ACM S1GSOFT Symp. on the Foundations of Software Engineering (ACM, NC, USA 2002)

    Google Scholar 

  13. J. Mylopoulos: Information Modelling in the Time of Revolution. Information Systems 23,3/4 (1998) pp 127–155

    Article  Google Scholar 

  14. J. Mylopoulos, L. Chung, B. Nixon: Representing and Using Non-functional Requirements: A Process-Oriented Approach. IEEE Trans, on Software Engineering 18,6 (1992) pp 483–497

    Article  Google Scholar 

  15. J. Mylopoulos, L. Chung, E. Yu: From Object-Oriented to Goal-Oriented Requirements Analysis. CACM: Communications of the ACM 42,1 (1999) pp 31–37

    Article  Google Scholar 

  16. B. Nuseibeh, J. Kramer, A. Finkelstein: A Framework for Expressing the Relationships Between Multiple Views in Requirements Specifications. IEEE Transactions on Software Engineering 20,10 (1994) pp 760–773

    Google Scholar 

  17. A. van Lamsweerde: Requirements Engineering in the Year 00: A Research Perspective. In: Proceedings 22nd International Conference on Software Engineering (IEEE Computer Society Press, 2000)

    Google Scholar 

  18. A. van Lamsweerde: Building Formal Requirements Models for Reliable Software. In: 6th International Conference on Reliable Software Technologies, Ada-Europe 2001, vol 2043 of Lecture Notes in Computer Science (Springer, Leuven, Belgium 2001)

    Google Scholar 

  19. A. van Lamsweerde: Goal-Oriented Requirements Engineering: A Guided Tour. In: RE’01 — 5th IEEE International Symposium on Requirements Engineering (IEEE CS Press, Toronto, Canada 2001) pp 249–263

    Google Scholar 

  20. A. van Lamsweerde, R. Darimont, E. Letier: Managing Conflicts in Goal-Driven Requirements Engineering. IEEE Transaction on Software Engineering (1998)

    Google Scholar 

  21. A. van Lamsweerde, E. Letier: Integrating Obstacles in Goal-Driven Requirements Engineering. In: Proc. ICSE 98: 20th International Conference on Software Enginereering (IEEE Computer Society Press. Kyoto, Japan 1998)

    Google Scholar 

  22. A. van Lamsweerde, L. Willemet: Inferring Declarative Requirements Specification from Operational Scenarios. IEEE Transaction on Software Engineering (1998) pp 1089–1114

    Google Scholar 

  23. A. van Lamsweerde, L. Willemet: Handling Obstacles in Goal-Driven Requirements Engineering. IEEE Transaction on Software Engineering (2000)

    Google Scholar 

  24. E. Yu, J. Mylopoulos: Understanding “Why” in Software Process Modelling, Analysis and Design. In: Proc. 16th ICSE: Intl. Conf. on Software Engineering (IEEE Press, 1994)

    Google Scholar 

Download references

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

(2006). Requirements Analysis and Concept Formation. In: Software Engineering 3. Texts in Theoretical Computer Science An EATC Series. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-33653-2_21

Download citation

  • DOI: https://doi.org/10.1007/3-540-33653-2_21

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-21151-8

  • Online ISBN: 978-3-540-33653-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation