{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T21:56:25Z","timestamp":1761947785831,"version":"3.40.2"},"publisher-location":"Cham","reference-count":101,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56777-1_15","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:30:30Z","timestamp":1330255830000},"page":"275-292","source":"Crossref","is-referenced-by-count":34,"title":["The three dimensions of requirements engineering"],"prefix":"10.1007","author":[{"given":"Klaus","family":"Pohl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"issue":"11","key":"15_CR1","doi-asserted-by":"crossref","first-page":"1351","DOI":"10.1109\/TSE.1985.231883","volume":"SE-11","author":"B. Adelson","year":"1985","unstructured":"B. Adelson and E. Soloway. The Role of Domain Experience in Software Design. IEEE Transaction on Software Engineering, 11(11), 1985.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"15_CR2","first-page":"866","volume-title":"Software Requirements Engineering Methodology (SREM) at the age of two","author":"Mack W. W. Alford","year":"1980","unstructured":"Mack W. Alford. Software Requirements Engineering Methodology (SREM) at the age of two. In 4th Int. Computer Software & Applications Conference, New York, pages 866\u2013874. IEEE, 1980."},{"key":"15_CR3","unstructured":"R. Balzer. Tolerating Inconsistency. In Int. Conference on Software Engineering, pages 158\u2013165, Austin, Texas, 1991."},{"issue":"2","key":"15_CR4","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1109\/TSE.1978.231480","volume":"4","author":"R. Balzer","year":"1978","unstructured":"R. Balzer, N. Goldman, and D. Wile. Informality in program specifications. IEEE Transactions on Software Engineering, 4(2):94\u2013103, 1978.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"11","key":"15_CR5","doi-asserted-by":"crossref","first-page":"1321","DOI":"10.1109\/TSE.1985.231881","volume":"SE-11","author":"D.R. Barstow","year":"1985","unstructured":"D.R. Barstow. Domain Specific Automatic Programming. IEEE Transaction on Software Engineering, 11(11), 1985.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"James Bigelow. Hypertext and CASE. IEEE Software, pages 23\u201327, March 1988.","DOI":"10.1109\/52.2007"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"T. Biggerstaff and R. Richter. Reusability Framework, Assesment and Directions. IEEE Transaction on Software Engineering, 13(2), 1987.","DOI":"10.1109\/MS.1987.230095"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"D. Bjoerner and C.B. Jones. VDM'87 VDM-A Formal Method at Work. LNCS 252, Springer Verlag, 1988.","DOI":"10.1007\/3-540-17654-3"},{"issue":"4","key":"15_CR9","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1109\/MC.1985.1662870","volume":"18","author":"A. Borgida","year":"1985","unstructured":"Alexander Borgida, Sol Greenspan, and John Mylopoulos. Knowledge Representation as the Basis for Requirements Specifications. Computer, 18(4):82\u201391, April 1985.","journal-title":"Computer"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Marilyn Bush. Improving Software Quality: The use of Formal Inspections at the Jet Propulsion Laboratory. In Proc. of the 12th Int. Conf. on Software Engineering, March 26\u201330, Nice, France, pages 196\u2013199, 1990.","DOI":"10.1109\/ICSE.1990.63623"},{"issue":"1","key":"15_CR11","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1109\/MS.1984.233702","volume":"1","author":"B. W. Boehm","year":"1984","unstructured":"B.W.Boehm. Verifying and Validating Software Requirements and Design Specifications. IEEE Software, 1(1):75\u201388, January 1984.","journal-title":"IEEE Software"},{"issue":"2","key":"15_CR12","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1109\/TSE.1986.6312938","volume":"12","author":"John R. R. Camaron","year":"1986","unstructured":"John R. Camaron. An Overview of JSD. IEEE Transaction on Software Engineering, 12(2):222\u2013240, February 1986.","journal-title":"IEEE Transaction on Software Engineering"},{"issue":"1","key":"15_CR13","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/320434.320440","volume":"1","author":"Peter Pin-Shan Chen","year":"1976","unstructured":"P.P.S. Chen. The Entity-Relationship Approach: Towards a Unified View of Data. ACM Transactions on Database Systems, 1(1), 1976.","journal-title":"ACM Transactions on Database Systems"},{"key":"15_CR14","volume-title":"Object Oriented Analysis","author":"P. Coad","year":"1990","unstructured":"Peter Coad and Edward Yourdon. Object Oriented Analysis. Prentice-Hall, Englewood Cliffs, New Jersey, 1990."},{"issue":"4","key":"15_CR15","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1145\/58566.59297","volume":"6","author":"J. Conklin","year":"1988","unstructured":"J. Conklin and M. J. Begeman. gIBIS: A Hypertext Tool for Exploratory Policy Discussion. ACM Transaction on Office Information Systems, 6(4):303\u2013331, 1988.","journal-title":"ACM Transaction on Office Information Systems"},{"key":"15_CR16","volume-title":"ESPRIT project ITHACA","author":"P. Constantopoulos","year":"1991","unstructured":"P. Constantopoulos, M. Jarke, J. Mylopoulos, and Y. Vassiliou. Software Information Base: A server for reuse. ESPRIT project ITHACA, Heraklion, Crete, ICS-FORTH, 1991."},{"issue":"11","key":"15_CR17","doi-asserted-by":"crossref","first-page":"1268","DOI":"10.1145\/50087.50089","volume":"33","author":"B. Curtis","year":"1988","unstructured":"B. Curtis, H Krasner, and N. Iscoe. Field Study of the Software Design Process for Large Systems. Communication of the ACM, 33(11): 1268\u20131287, 1988.","journal-title":"Communication of the ACM"},{"issue":"9","key":"15_CR18","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1145\/130994.130998","volume":"35","author":"B. Curtis","year":"1992","unstructured":"Bill Curtis, Marc I. Kellner, and Jim Over. Process Modelling. Communications of the ACM, 35(9):75\u201390, September 1992.","journal-title":"Communications of the ACM"},{"issue":"4","key":"15_CR19","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1109\/64.10017","volume":"3","author":"A. Czuchry","year":"1988","unstructured":"A. Czuchry and D. Harris. KBSA: A New Paradigm for Requirements Engineering. IEEE Expert, 3(4):21\u201335, 1988.","journal-title":"IEEE Expert"},{"key":"15_CR20","unstructured":"Alan M. David. The Analysis and Specification of Systems and Software Requirements. In Thayer R.H. and M. Dorfman, editors, Systems and Software Requirements Engineering, pages 119\u2013134. IEEE Computer Society Press-Tutorial, 1990."},{"issue":"9","key":"15_CR21","doi-asserted-by":"crossref","first-page":"1098","DOI":"10.1145\/48529.48534","volume":"31","author":"Alan M. M. Davids","year":"1988","unstructured":"Alan M. Davids. A Comparison of Techniques for the Specification of External System Behavior. Communications of the ACM, 31(9):1098\u20131115, 1988.","journal-title":"Communications of the ACM"},{"key":"15_CR22","first-page":"1","volume":"14","author":"V. Antonellis de","year":"1991","unstructured":"V. de Antonellis, B. Pernici, and P. Samarati. F-ORM Method: Methodology for reusing Specifications. ITHACA Journal, (14):1\u201324, 1991.","journal-title":"ITHACA Journal"},{"key":"15_CR23","volume-title":"Out of the Crisis","author":"W. E. Deming","year":"1986","unstructured":"W. E. Deming. Out of the Crisis. Massachusetts Institiute of Technology, Center for Advanced Engineering Study, Cambridge, 1986."},{"issue":"2","key":"15_CR24","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1109\/32.4639","volume":"14","author":"V. Dhar","year":"1988","unstructured":"V. Dhar and M. Jarke. Dependency Directed Reasoning and Learning in System Maintenance Support. IEEE Transactions on Software Engineering, 14(2):211\u2013228, 1988.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"15_CR25","unstructured":"Merlin Dorfman and Richard H. Thayer. Standards, Guidelines and Examples on System and Software Requirements Engineering. IEEE Computer Society Press-Tutorial, 1990."},{"key":"15_CR26","unstructured":"M. Dowson. Iteration in the Software Process. In Proceedings 9th Int. Conf. on Software Engineering, April 1987."},{"issue":"1","key":"15_CR27","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1145\/99977.99987","volume":"34","author":"C. A. Ellis","year":"1991","unstructured":"C. A. Ellis, S. J. Gibbs, and G. L. Rein. Groupware: Some Issues and Experience. Communication of the ACM, 34(1):38\u201358, 1991.","journal-title":"Communication of the ACM"},{"key":"15_CR28","unstructured":"M. S. Feather and S. Fickas. Coping with Requirements Freedom. In Proceedings of the International Workshop on the Development of Intelligent Information Systems, pages 42\u201346, Niagara-on-the-Lake, Ontario, Canada, April 1991."},{"key":"15_CR29","unstructured":"S. Fickas. Automating analysis: An example. In Proceedings of the 4th International Workshop Software Specification and Design, pages 58\u201367, Washington, DC, April 1987."},{"key":"15_CR30","doi-asserted-by":"crossref","unstructured":"S. Fickas and P. Nagarajan. Critiquing Software Specifications. IEEE Software, pages 37\u201347, November 1988.","DOI":"10.1109\/52.10002"},{"key":"15_CR31","doi-asserted-by":"crossref","unstructured":"A. Finkelstein, J. Kramer, B. Nuseibeh, L. Finkelstein, and M. Goedicke. Viewpoints: A Framework for Integration Multiple Perspectives in System Development. International Journal of Software Engineering and Knowledge Engineering, 1(2), May 1992.","DOI":"10.1142\/S0218194092000038"},{"key":"15_CR32","doi-asserted-by":"crossref","unstructured":"Gerhard Fischer, Raymond McCall, and Anders Morch. JANUS: Integrating Hypertext with a Knowledge-based Design Environment. In Proceedings of Hypertext '89, November 5\u20138, Pittsburgh, Pennsylvania, pages 105\u2013117, 1989.","DOI":"10.1145\/74224.74233"},{"key":"15_CR33","unstructured":"R.F. Flynn and D. Dorfmann. The Automated Requirements Traceability System (ARTS): An Experience of Eight Year. In Thayer R.H. and M. Dorfman, editors, Systems and Software Requirements Engineering, pages 423\u2013438. IEEE Computer Society Press \u2014 Tutorial, 1990."},{"issue":"5","key":"15_CR34","doi-asserted-by":"crossref","first-page":"454","DOI":"10.1109\/32.90448","volume":"17","author":"Martin D. D. Fraser","year":"1991","unstructured":"Martin D. Fraser, Kuldeep Kumar, and Vijay K. Vaishnavi. Informal and Formal Requirements Specification Languages Bridging the Gap. IEEE Transactions on Software Engineering, 17(5):454\u2013466, May 1991.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"15_CR35","volume-title":"Handbook of Walkthroughs, Inspections and Technical Reviews","author":"Daniel P. P. Freeman","year":"1990","unstructured":"Daniel P. Freeman and Gerald M. Weinberg. Handbook of Walkthroughs, Inspections and Technical Reviews. Dorset House Publishing, New York, 1990."},{"key":"15_CR36","unstructured":"P. Freemann, editor. Software reusability. IEEE Press \u2014 Tutorial, 1987."},{"key":"15_CR37","doi-asserted-by":"crossref","unstructured":"Pankaj K. Garg and Walt Scacchi. On Designing Intelligent Hypertext Systems for Information Management in Software Engineering. In Proceedings of Hypertext '87, November 13\u201315, Chapel Hill, North Carolina, pages 409\u2013432, 1987.","DOI":"10.1145\/317426.317455"},{"key":"15_CR38","doi-asserted-by":"crossref","unstructured":"Pankaj K. Garg and Walt Scacchi. A Hypertext System to Manage Software Life-Cycle Documents. IEEE Software, pages 90\u201398, May 1990.","DOI":"10.1109\/52.55233"},{"key":"15_CR39","first-page":"121","volume":"5","author":"D. Gentner","year":"1983","unstructured":"D. Gentner. Structure Mapping: A Theoretical Framework for Analogy. Cognitive Science, 5:121\u2013152, 1983.","journal-title":"Cognitive Science"},{"key":"15_CR40","unstructured":"Joseph A. Goguen, Marina Jirotka, and Matthew J. Bickerton. Research on Requirements Capture and Analysis. Technical report, Oxford University Computing Laboratory, Centre for Requirements and Foundations, December 1991."},{"key":"15_CR41","unstructured":"S.J. Greenspan. Requirements Modeling: A Knowledge Representation Approach to Software Requirements Definition. PhD thesis, Dept. of Computer Science, University of Toronto, 1984."},{"key":"15_CR42","unstructured":"I. Greif, editor. Readings in Computer-Supported Cooperative Work. Morgan Kaufmann, 1988."},{"key":"15_CR43","doi-asserted-by":"crossref","unstructured":"George Grosz and Colette Roland. Using artificial intelligence techniques to formalize the information system design process. In Proc. Int. Conf. Databases and expert Systems Applications, pages 374\u2013380, 1990.","DOI":"10.1007\/978-3-7091-7553-8_61"},{"key":"15_CR44","first-page":"263","volume-title":"Control of cognitive process during software design: What tools are needed?","author":"R. Guidon","year":"1991","unstructured":"R. Guidon and B. Curtis. Control of cognitive process during software design: What tools are needed? In E. Soloway, D. Frye, and S.B. Sheppard, editors, Proc. of CHI '88 Conference: Human Factors in Computer Systems pages 263\u2013269. ACM Press NY, 1991."},{"issue":"4","key":"15_CR45","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1016\/0950-7051(88)90031-7","volume":"1","author":"J. Hagelstein","year":"1988","unstructured":"J. Hagelstein. Declarative Approach to Information Systems Requirements. Knowledge Base Systems, 1(4):211\u2013220, 1988.","journal-title":"Knowledge Base Systems"},{"key":"15_CR46","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/52.57887","volume":"9","author":"A. Hall","year":"1990","unstructured":"Anthony Hall. Seven Myths of Formal Methods. IEEE Software, (9): 11\u201319, September 1990.","journal-title":"IEEE Software"},{"key":"15_CR47","unstructured":"C.A.R. Hoare. International Conference on VDM and Z. LNCS 428, Springer Verlag, 1990."},{"key":"15_CR48","unstructured":"IEEE. Standards, Guidelines, and Examples on System and Software Requirements Engineering. IEEE Computer Society Press \u2014 Tutorial, 1990."},{"key":"15_CR49","volume-title":"IEEE Software Engineering Standards Collection","author":"IEEE","year":"1991","unstructured":"IEEE. IEEE Std. 830-1984. In IEEE Software Engineering Standards Collection. IEEE, New York, 1991."},{"key":"15_CR50","unstructured":"Matthias Jarke, Janis Bubenko, Colette Rolland, Allistair Sutcliffe, and Yannis Vassiliou. Theories Underlying Requirements Engineering: An Overview of NATURE at Genesis. In Proceedings of the 1th Int. Symposium of Requirements Engineering, San Diego, CA, 1993. to appear."},{"key":"15_CR51","unstructured":"Matthias Jarke, Stephan Jacobs, and Klaus Pohl et. al. Requirements Engineering: An Integrated View of Representation, Process and Domain. In submitted to: ECSE '93, 1993."},{"issue":"1","key":"15_CR52","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0306-4379(90)90018-K","volume":"15","author":"M. Jarke","year":"1990","unstructured":"Matthias Jarke, Manfred Jeusfeld, and Thomas Rose. A Software Process Data Model for Knowledge Engineering in Information Systems. Information Systems, 15(1):85\u2013116, 1990.","journal-title":"Information Systems"},{"key":"15_CR53","unstructured":"Matthias Jarke and Klaus Pohl. Information System Quality and Quality Information Systems. In Proceedings of the IFIP 8.2 Working Conference on the Impact of Computer-Supported Techniques on Information Systems Development, 1992."},{"key":"15_CR54","unstructured":"Matthias Jarke and T. Rose. Specification Management with CAD0. In P. Loucopoulos and R. Zicari, editors, Conceptual Modeling Databases, and CASE, 1991."},{"key":"15_CR55","volume-title":"\u00c4nderungskontrolle in deduktiven Objektbanken","author":"M. Jeusfeld","year":"1992","unstructured":"Manfred Jeusfeld. \u00c4nderungskontrolle in deduktiven Objektbanken. INFIX Pub, Bad Honnef, Germany, 1992."},{"key":"15_CR56","unstructured":"P. Johannesson and K. Kaiman. A Method for Translating Relational Schemas into Conceptual Schemas. In 8th Int. Conf. on Entity-Relationship Approach, pages 279\u2013294, 1989."},{"key":"15_CR57","doi-asserted-by":"crossref","unstructured":"W. Lewis Johnson. Deriving Specifications from Requirements. In Proceedings of the 10th International Conference on Software Engineering, pages 428\u2013438, Singapore, April 1988.","DOI":"10.1109\/ICSE.1988.93723"},{"key":"15_CR58","unstructured":"W. Lewis Johnson and Martin Feather. Building An Evolution Transformation Library. In Proceedings of the 12th International Conference on Software Engineering, pages 428\u2013438, Nice, France, March 1990."},{"issue":"10","key":"15_CR59","doi-asserted-by":"crossref","first-page":"853","DOI":"10.1109\/32.163603","volume":"18","author":"W.L. Johnson","year":"1992","unstructured":"W. Lewis Johnson, Martin. S. Feather, and David. R. Harris. Representation and Presentation of Requirements Knowledge. IEEE Transactions on Software Engineering, 18(10), October 1992.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"15_CR60","unstructured":"W. Lewis Johnson and David R. Harris. The ARIES Project. In Proceedings 5th KBSA Conference, pages 121\u2013131, Liverpool, N.Y., 1990."},{"key":"15_CR61","unstructured":"S. E. Keller, L. G. Kahn, and R. B.Panara. Specifying Software Quality Requirements with Metric. In Thayer R.H. and M. Dorfman, editors, Systems and Software Requirements Engineering, pages 145\u2013163. IEEE Computer Society Press-Tutorial, 1990."},{"key":"15_CR62","unstructured":"Manolis Koubarakis, John Mylopoulos, Martin Stanley, and Matthias Jarke. Telos: A Knowledge Representation Language for Requirements Modelling. Technical Report KRR-TR-89-1, Department of Computer Science, University of Toronto, 1989."},{"key":"15_CR63","doi-asserted-by":"crossref","unstructured":"Julio Cesar S. P. Leite. Viewpoint Analysis: A Case Study. In Proceedings of the 5th International Workshop on Software and Design, pages 111\u2013119, Pittsburgh, PA, 1989.","DOI":"10.1145\/75199.75217"},{"issue":"12","key":"15_CR64","doi-asserted-by":"crossref","first-page":"1253","DOI":"10.1109\/32.106986","volume":"17","author":"Julio Cesar S. Cesar S. P. S. P. P. Leite","year":"1991","unstructured":"Julio Cesar S. P. Leite and Peter A. Freeman. Requirements Validation Through Viewpoint Resolution. IEEE Transactions on Software Engineering, 17(12): 1253\u20131269, December 1991.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"15_CR65","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0950-7051(88)90076-7","volume":"1","author":"P. Loucopoulos","year":"1988","unstructured":"P. Loucopoulos and R. Champion. Knowledge-Based Approach to Requirements Engineering Using Method and Domain Knowledge. Knowledge-Based Systems, 1(3), 1988.","journal-title":"Knowledge-Based Systems"},{"key":"15_CR66","unstructured":"M.D. Lubars and M.T. Harandi. Knowledge-Based Software Design Using Design Schemas. In Proceedings 9th Int. Conf. on Software Engineering, April 1987."},{"key":"15_CR67","doi-asserted-by":"crossref","unstructured":"Neil Maiden. Analogy as a Paradigm for Specification Reuse. Software Engineering Journal, 1991.","DOI":"10.1049\/sej.1991.0001"},{"key":"15_CR68","unstructured":"Neil Maiden. Analogical specification Reuse during Requirements Analysis. PhD thesis, City University London, 1992."},{"key":"15_CR69","first-page":"391","volume-title":"Int. Conf. on Entity-Relationship Approach","author":"M. Mannino","year":"1989","unstructured":"M. Mannino and V. Tseng. Inferring Database Requirements from Examples in Forms. In Int. Conf. on Entity-Relationship Approach, pages 391\u2013405. Elsevier Publishers B.V. (North-Holland), 1989."},{"key":"15_CR70","volume-title":"Groupware: Software for Computer-Supported Cooperative Work","author":"D. Marca","year":"1992","unstructured":"David Marca and Geoffrey Bock. Groupware: Software for Computer-Supported Cooperative Work. IEEE Computer Society Press, Los Alamitos, CA, 1992."},{"key":"15_CR71","volume-title":"Essential System Analysis","author":"Stephen M. M. McMenamin","year":"1984","unstructured":"Stephen M. McMenamin and John F. Palmer. Essential System Analysis. Yourdon Press, Prentice Hall, Englewood Cliffs, NJ 07632, 1984."},{"key":"15_CR72","unstructured":"Richard H. Thayer Merlin Dorfman, editor. Standards, Guidelines, and Examples on System and Software Requirements Engineering, chapter ESA Software Engineering Standards, pages 101\u2013120. IEEE Computer Society Press Tutorial, 1990."},{"key":"15_CR73","doi-asserted-by":"crossref","unstructured":"Bertrand Meyer. On Formalism in Specifications. IEEE Software, pages 6\u201326, January 1985.","DOI":"10.1109\/MS.1985.229776"},{"issue":"10","key":"15_CR74","doi-asserted-by":"crossref","first-page":"1126","DOI":"10.1109\/32.99198","volume":"17","author":"K. Miriyala","year":"1991","unstructured":"Kanth Miriyala and Mehdi T. Harandi. Automatic Derivation of Formal Software Specifications Form Informal Descriptions. IEEE Transactions on Software Engineering, 17(10): 1126\u20131142, October 1991.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"9","key":"15_CR75","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/130994.130995","volume":"35","author":"David E. E. Monarchi","year":"1992","unstructured":"David E. Monarchi and Gretchen I. Puhr. A Research Typology for Object-Oriented Analysis and Design. Communications of the ACM, 35(9):35\u201347, September 1992.","journal-title":"Communications of the ACM"},{"issue":"4","key":"15_CR76","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1145\/102675.102676","volume":"8","author":"J. Mylopoulos","year":"1990","unstructured":"John Mylopoulos, Alex Borgida, Matthias Jarke, and Manolis Koubarakis. Telos: Representing Knowledge about Information Systems. Transactions on Information Systems, 8(4):325\u2013362, 1990.","journal-title":"Transactions on Information Systems"},{"key":"15_CR77","unstructured":"John Mylopoulos and Hector J. Levesque. On Conceptual Modelling. Springer Verlag, 1986."},{"key":"15_CR78","unstructured":"J. S. Oakland. Total Quality Management. In Proceedings 2nd Int. Conf. on Total Quality Management, pages 3\u201317. Cotswold Press Ltd., 1989."},{"key":"15_CR79","first-page":"43","volume":"8","author":"B. Pernici","year":"1991","unstructured":"Barbara Pernici. Requirements Specifications for Object Oriented Systems. ITHACA Journal, (8):43\u201363, January 1991.","journal-title":"ITHACA Journal"},{"key":"15_CR80","series-title":"Informatik-Berichte","first-page":"37","volume-title":"Technical report","author":"K. Pohl","year":"1992","unstructured":"Klaus Pohl and Matthias Jarke. Quality Information Systems: Repository Support for Evolving Process Models. Technical report, RWTH Aachen, Informatik-Berichte 37\u201392, 1992."},{"key":"15_CR81","volume-title":"Competitive Advantage","author":"M. Porter","year":"1985","unstructured":"M. Porter. Competitive Advantage. Free Press, New York, 1985."},{"key":"15_CR82","doi-asserted-by":"crossref","unstructured":"C. Potts. A Generic Model for Representing Design Methods. In Proceedings 11th International Conference on Software Engineering, 1989.","DOI":"10.1145\/74587.74616"},{"key":"15_CR83","doi-asserted-by":"crossref","unstructured":"C. Potts and G. Bruns. Recording the Reasons for Design Decisions. In Proceedings 10th International Conference on Software Engineering, 1988.","DOI":"10.1109\/ICSE.1988.93722"},{"key":"15_CR84","doi-asserted-by":"crossref","unstructured":"P. Paolo Puncello, Piero Torrigiani, Francesco Pietri, Riccardo Burlon, Bruno Cardile, and Mirella Conti. ASPIS: A Knowledge-Based CASE Environment. IEEE Software, pages 58\u201365, March 1988.","DOI":"10.1109\/52.2012"},{"issue":"6","key":"15_CR85","doi-asserted-by":"crossref","first-page":"498","DOI":"10.1109\/32.142872","volume":"18","author":"B. Ramesh","year":"1992","unstructured":"B. Ramesh and V. Dhar. Process-Knowledge Based Group Support in Requirements Engineering. IEEE Transactions on Software Engineering, 18(6), 1992.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"15_CR86","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1109\/32.75413","volume":"17","author":"Howard B. B. Reubenstein","year":"1991","unstructured":"Howard B. Reubenstein and Richard C. Waters. The Requirements Apprentice: Automated Assistance for Requirements Acquisition. IEEE Transactions on Software Engineering, 17(3):226\u2013240, March 1991.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"15_CR87","unstructured":"C. Rolland and C. Proix. A Natural Language Approach for Requirements Engineering. In Proceedings of the 4th International Conference on Advanced Information Systems Engineering, LNCS 593, 1992."},{"issue":"5","key":"15_CR88","first-page":"332","volume":"6","author":"T. Rose","year":"1991","unstructured":"T. Rose, M. Jarke, M. Gocek, C.G. Maltzahn, and H.W. Nissen. A Decision-based Configuration Process Environment. Special Issue on Software Process Support, IEE Software Engineering Journal, 6(5):332\u2013346, 1991.","journal-title":"Special Issue on Software Process Support, IEE Software Engineering Journal"},{"key":"15_CR89","unstructured":"H.H. Sayani. PSL\/PSA at the Age of Fifteen. In Thayer R.H. and M. Dorfman, editors, Systems and Software Requirements Engineering, pages 403\u2013417. IEEE Computer Society Press-Tutorial, 1990."},{"issue":"1","key":"15_CR90","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1109\/TSE.1984.5010198","volume":"10","author":"W. Scacchi","year":"1984","unstructured":"Walt Scacchi. Managing Software Engineering Projects: A Social Analysis. IEEE Transaction on Software Engineering, 10(1):49\u201359, 1984.","journal-title":"IEEE Transaction on Software Engineering"},{"key":"15_CR91","unstructured":"G. Spanoudakis and P. Constantopoulos. Similarity for Analogical Software Reuse. In Proc. ERCIM Workshop on Methods and Tools for Software Reuse, Heraklion, Crete, 1992."},{"issue":"1","key":"15_CR92","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1049\/sej.1989.0006","volume":"4","author":"J. M. Spivey","year":"1990","unstructured":"J.M. Spivey. An introduction to Z and formal specifications. Software Engineering Journal, 4(1):40\u201350, 1990.","journal-title":"Software Engineering Journal"},{"key":"15_CR93","unstructured":"Alistair Sutcliffe. Object Oriented Systems Analysis: The Abstract Question. In Proc. IFIP WG 8.1 Conf. The Object Oriented Approach in Information Systems, Quebec City, Canada, 1991."},{"key":"15_CR94","unstructured":"Alistair Sutcliffe and Neil Maiden. Software reuseability: Delivering Productivity gains or short cuts. In Proceedings INTERACT, pages 948\u2013956. North-Holland, 1990."},{"key":"15_CR95","unstructured":"C.P. Svoboda. Structured Analysis. In Thayer R.H. and M. Dorfman, editors, Systems and Software Requirements Engineering, pages 218\u2013227. IEEE Computer Society Press-Tutorial, 1990."},{"key":"15_CR96","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1109\/2.58215","volume":"9","author":"Jeanette M. M. Wing","year":"1990","unstructured":"Jeanette M. Wing. A Specifier's Introduction to Formal Methods. Computer, (9):8\u201324, September 1990.","journal-title":"Computer"},{"key":"15_CR97","volume-title":"Understanding Computers and Cognition: A New Foundation for Design","author":"T. Winograd","year":"1986","unstructured":"T. Winograd and F. Flores. Understanding Computers and Cognition: A New Foundation for Design. Ablex Norwood, NJ, 1986."},{"key":"15_CR98","volume-title":"Modern Structured Analysis","author":"E. Yourdon","year":"1989","unstructured":"Edward Yourdon. Modern Structured Analysis. Prentice-Hall, Englewood Cliffs, NJ, 1989."},{"key":"15_CR99","volume-title":"Structured Walkthroughs","author":"E. Yourdon","year":"1989","unstructured":"Edward Yourdon. Structured Walkthroughs. Prentice-Hall, Englewood Cliffs, NJ, 1989."},{"issue":"3","key":"15_CR100","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1109\/32.75412","volume":"17","author":"P. Zave","year":"1991","unstructured":"Pamala Zave. An Insider's Evaluation of PAISLey. IEEE Transaction on Software Engineering, 17(3):212\u2013225, March 1991.","journal-title":"IEEE Transaction on Software Engineering"},{"key":"15_CR101","unstructured":"Pamela Zave. A Comparison of the Major Approaches to Software Specification and Design. In Thayer R.H. and M. Dorfman, editors, Systems and Software Requirements Engineering, pages 197\u2013199. IEEE Computer Society Press-Tutorial, 1990."}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56777-1_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:53:57Z","timestamp":1742594037000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56777-1_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783319981765","9783319981772"],"references-count":101,"URL":"https:\/\/doi.org\/10.1007\/3-540-56777-1_15","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[1993]]}}}