{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T13:16:44Z","timestamp":1772025404887,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540211792","type":"print"},{"value":"9783540246268","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24626-8_23","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T11:32:45Z","timestamp":1283686365000},"page":"325-340","source":"Crossref","is-referenced-by-count":60,"title":["From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering"],"prefix":"10.1007","author":[{"given":"Axel","family":"van Lamsweerde","sequence":"first","affiliation":[]},{"given":"Emmanuel","family":"Letier","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","unstructured":"Bell, T.E., Thayer, T.A.: Software Requirements: Are They Really a Problem? In: Proc. ICSE-2: 2nd Intrnational Conference on Software Enginering, San Francisco, pp. 61\u201368 (1976)"},{"issue":"1","key":"23_CR2","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1023\/A:1008697817793","volume":"6","author":"R. Bharadwaj","year":"1999","unstructured":"Bharadwaj, R., Heitmeyer, C.: Model Checking Complete Requirements Specifications Using Abstraction. Automated Software Engineering\u00a06(1), 37\u201368 (1999)","journal-title":"Automated Software Engineering"},{"key":"23_CR3","volume-title":"Software Engineering Economics","author":"B.W. Boehm","year":"1981","unstructured":"Boehm, B.W.: Software Engineering Economics. Prentice-Hall, Englewood Cliffs (1981)"},{"issue":"4","key":"23_CR4","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MC.1987.1663532","volume":"20","author":"F.P. Brooks","year":"1987","unstructured":"Brooks, F.P.: No Silver Bullet: Essence and Accidents of Software Engineering. IEEE Computer\u00a020(4), 10\u201319 (1987)","journal-title":"IEEE Computer"},{"key":"23_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5269-7","volume-title":"Non-functional requirements in software engineering","author":"L. Chung","year":"2000","unstructured":"Chung, L., Nixon, B., Yu, E., Mylopoulos, J.: Non-functional requirements in software engineering. Kluwer Academic, Dordrecht (2000)"},{"key":"23_CR6","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/ICSE.1993.346033","volume-title":"Proc. ICSE 1993: 15th International Conference on Software Engineering","author":"P.J. Courtois","year":"1993","unstructured":"Courtois, P.J., Parnas, D.L.: Documentation for Safety-Critical Software. In: Proc. ICSE 1993: 15th International Conference on Software Engineering, pp. 315\u2013323. ACM Press, New York (1993)"},{"key":"23_CR7","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A. Dardenne","year":"1993","unstructured":"Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-Directed Requirements Acquisition. Science of Computer Programming\u00a020, 3\u201350 (1993)","journal-title":"Science of Computer Programming"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Darimont, R., van Lamsweerde, A.: Formal Refinement Patterns for Goal-Driven Requirements Elaboration. In: Proc. FSE\u20194 - Fourth ACM SIGSOFT Symp. on the Foundations of Software Engineering, San Francisco, October 1996, pp. 179\u2013190 (1996)","DOI":"10.1145\/239098.239131"},{"key":"23_CR9","volume-title":"Proc. RE 2003 - International Joint Conference on Requirements Engineering","author":"R. Landtsheer De","year":"2003","unstructured":"De Landtsheer, R., Letier, E., van Lamsweerde, A.: Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models. In: Proc. RE 2003 - International Joint Conference on Requirements Engineering, Monterey, CA, IEEE, Los Alamitos (2003); Expanded version to appear in the Requirements Engineering Journal"},{"key":"23_CR10","unstructured":"European Software Institute, \u201cEuropean User Survey Analysis\u201d, Report USV_EUR 2.1, ESPITI Project (January 1996)"},{"issue":"2","key":"23_CR11","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1145\/22719.22947","volume":"9","author":"M. Feather","year":"1987","unstructured":"Feather, M.: Language Support for the Specification and Development of Composite Systems. ACM Trans. on Programming Languages and Systems\u00a09(2), 198\u2013234 (1987)","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"23_CR12","volume-title":"Proc. IWSSD 1998 - 9th International Workshop on Software Specification and Design","author":"M. Feather","year":"1998","unstructured":"Feather, M., Fickas, S., van Lamsweerde, A., Ponsard, C.: Reconciling System Requirements and Runtime Behaviour. In: Proc. IWSSD 1998 - 9th International Workshop on Software Specification and Design, Isobe, April 1998, IEEE CS Press, Los Alamitos (1998)"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Fickas, S., Helm, R.: Knowledge Representation and Reasoning in the Design of Composite Systems. IEEE Trans. on Software Engineering, 470\u2013482 (June 1992)","DOI":"10.1109\/32.142870"},{"key":"23_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/3-540-48166-4_10","volume-title":"Software Engineering - ESEC\/FSE \u201999","author":"A. Gargantini","year":"1999","unstructured":"Gargantini, A., Heitmeyer, C.: Using Model Checking to Generate Tests from Requirements Specifications. In: Nierstrasz, O., Lemoine, M. (eds.) ESEC 1999 and ESEC-FSE 1999. LNCS, vol.\u00a01687, p. 146. Springer, Heidelberg (1999)"},{"key":"23_CR15","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming\u00a08, 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"issue":"6","key":"23_CR16","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1109\/32.508311","volume":"22","author":"M. Heimdahl","year":"1996","unstructured":"Heimdahl, M., Leveson, N.G.: Completness and Consistency Checking in Hierarchical State-Based Requirements. IEEE Transactions on Software Engineering\u00a022(6), 363\u2013377 (1996)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"23_CR17","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1145\/234426.234431","volume":"5","author":"C. Heitmeyer","year":"1996","unstructured":"Heitmeyer, C., Jeffords, R., Labaw, B.: Automated Consistency Checking of Requirements Specifications. ACM Transactions on Software Engineering and Methodology\u00a05(3), 231\u2013261 (1996)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"23_CR18","unstructured":"Jackson, M.: Software Requirements & Specifications - A Lexicon of Practice, Principles and Prejudices. ACM Press, Addison-Wesley (1995)"},{"key":"23_CR19","doi-asserted-by":"crossref","unstructured":"Jeffords, R., Heitmeyer, C.: Automatic Generation of State Invariants from Requirements Specifications. In: 6th International Symposium on the Foundations of Software Engineering (FSE-6), Orlando FL (November 1998)","DOI":"10.1145\/288195.288218"},{"key":"23_CR20","doi-asserted-by":"publisher","first-page":"547","DOI":"10.1145\/581339.581406","volume-title":"Proc. ICSE 2002: 24th International Conference on Software Engineering","author":"J.C. Knight","year":"2002","unstructured":"Knight, J.C.: Safety-Critical Systems: Challenges and Directions\u201d, Invited Mini-Tutorial. In: Proc. ICSE 2002: 24th International Conference on Software Engineering, pp. 547\u2013550. ACM Press, New York (2002)"},{"issue":"11","key":"23_CR21","doi-asserted-by":"crossref","first-page":"908","DOI":"10.1109\/32.730542","volume":"24","author":"A. Lamsweerde van","year":"1998","unstructured":"van Lamsweerde, A., Darimont, R., Letier, E.: Managing Conflicts in Goal-driven Requirements Engineering. IEEE Transactions on Software Engineering, Special Issue on Inconsistency Management in Software Development\u00a024(11), 908\u2013926 (1998)","journal-title":"IEEE Transactions on Software Engineering, Special Issue on Inconsistency Management in Software Development"},{"issue":"10","key":"23_CR22","doi-asserted-by":"crossref","first-page":"978","DOI":"10.1109\/32.879820","volume":"26","author":"A. Lamsweerde van","year":"2000","unstructured":"van Lamsweerde, A., Letier, E.: Handling Obstacles in Goal-Oriented Requirements Engineering. IEEE Transactions on Software Engineering, Special Issue on Exception Handling\u00a026(10), 978\u20131005 (2000)","journal-title":"IEEE Transactions on Software Engineering, Special Issue on Exception Handling"},{"key":"23_CR23","first-page":"5","volume-title":"Invited Keynote Paper, Proc. ICSE 2000: 22nd International Conference on Software Engineering","author":"A. Lamsweerde van","year":"2000","unstructured":"van Lamsweerde, A.: Requirements Engineering in the Year 2000: A Research Perspective. In: Invited Keynote Paper, Proc. ICSE 2000: 22nd International Conference on Software Engineering, pp. 5\u201319. ACM Press, New York (2000)"},{"key":"23_CR24","volume-title":"The Future of Software Engineering","author":"A. Lamsweerde van","year":"2000","unstructured":"van Lamsweerde, A.: Formal Specification: a Roadmap. In: Finkelstein, A. (ed.) The Future of Software Engineering, ACM Press, New York (2000)"},{"key":"23_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-540-39800-4_2","volume-title":"Formal Methods for Software Architectures","author":"A. Lamsweerde van","year":"2003","unstructured":"van Lamsweerde, A.: From System Goals to Software Architecture. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol.\u00a02804, pp. 25\u201343. Springer, Heidelberg (2003)"},{"key":"23_CR26","doi-asserted-by":"crossref","unstructured":"McLean, J., Heitmeyer, C.: High Assurance Computer Systems: A Research Agenda., America in the Age of Information, National Science and Technology Council Committee on Information and Communications Forum, Bethesda (1995)","DOI":"10.21236\/ADA465571"},{"key":"23_CR27","unstructured":"Letier, E.: Reasoning about Agents in Goal-Oriented Requirements Engineering. PhD Thesis, Universit\u00e9 Catholique de Louvain, D\u00e9pt. Ing\u00e9nierie Informatique, Louvain-la-Neuve, Belgium (May 2001), http:\/\/www.info.ucl.ac.be\/people\/eletier\/thesis.html"},{"key":"23_CR28","volume-title":"Proc. ICS 2002: 24th Intl. Conf. on Software Engineering","author":"E. Letier","year":"2002","unstructured":"Letier, E., van Lamsweerde, A.: Agent-Based Tactics for Goal-Oriented Requirements Elaboration. In: Proc. ICS 2002: 24th Intl. Conf. on Software Engineering, Orlando, IEEE Computer Society Press, Los Alamitos (2002)"},{"key":"23_CR29","doi-asserted-by":"crossref","unstructured":"Letier, E., van Lamsweerde, A.: Deriving Operational Software Specifications from System Goals. In: Proc. FSE\u201910: 10th ACM SIGSOFT Symp. on the Foundations of Software Engineering, Charleston (November 2002)","DOI":"10.1145\/587051.587070"},{"key":"23_CR30","unstructured":"Letier, E.: Goal-Oriented Elaboration of Requirements for a Safety Injection Control System. Research Report, D\u00e9partement d\u2019Ing\u00e9nierie Informatique, UCL (June 2002)"},{"key":"23_CR31","volume-title":"Safeware: System Safety and Computers","author":"N. Leveson","year":"1995","unstructured":"Leveson, N.: Safeware: System Safety and Computers. Addison-Wesley, Reading (1995)"},{"key":"23_CR32","doi-asserted-by":"crossref","unstructured":"Lutz, R.: Analyzing Software Requirements Errors in Safety-Critical, Embedded Systems. In: Proc. RE 1993: First IEEE International Symposium on Requirements Engineering, January 1993, pp. 126\u2013133 (1993)","DOI":"10.1109\/ISRE.1993.324825"},{"key":"23_CR33","series-title":"Lecture Notes in Computer Science","first-page":"415","volume-title":"Computer Aided Verification","author":"Z. Manna","year":"1996","unstructured":"Manna, Z., The STep Group: STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 415\u2013418. Springer, Heidelberg (1996)"},{"key":"23_CR34","unstructured":"The Standish Group, \u201cSoftware Chaos\u201d, http:\/\/www.standishgroup.com\/chaos.html"},{"key":"23_CR35","unstructured":"Yue, K.: What Does It Mean to Say that a Specification is Complete? In: Proc. IWSSD- 4, Fourth International Workshop on Software Specification and Design, Monterey (1987)"},{"issue":"1","key":"23_CR36","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/237432.237434","volume":"6","author":"P. Zave","year":"1997","unstructured":"Zave, P., Jackson, M.: Four dark corners of requirements engineering. ACM Trans. on Software Engineering and Methodology\u00a06(1), 1\u201330 (1997)","journal-title":"ACM Trans. on Software Engineering and Methodology"}],"container-title":["Lecture Notes in Computer Science","Radical Innovations of Software and Systems Engineering in the Future"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24626-8_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T15:27:44Z","timestamp":1740497264000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24626-8_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540211792","9783540246268"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24626-8_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}