{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T13:58:23Z","timestamp":1766066303644},"publisher-location":"Berlin, Heidelberg","reference-count":101,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642369254"},{"type":"electronic","value":"9783642369261"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[[2013]]},"DOI":"10.1007\/978-3-642-36926-1_5","type":"book-chapter","created":{"date-parts":[[2013,6,7]],"date-time":"2013-06-07T12:30:17Z","timestamp":1370608217000},"page":"63-80","source":"Crossref","is-referenced-by-count":8,"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":[[2013,5,27]]},"reference":[{"key":"5_CR00051","doi-asserted-by":"crossref","unstructured":"B. Adelson and E. Soloway. The Role of Domain Experience in Software Design. IEEE Transaction on Software Engineering, 11(11), 1985.","DOI":"10.1109\/TSE.1985.231883"},{"key":"5_CR00052","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":"5_CR00053","unstructured":"R. Balzer. Tolerating Inconsistency. In Int. Conference on Software Engineering, pages 158\u2013165, Austin, Texas, 1991."},{"issue":"2","key":"5_CR00054","doi-asserted-by":"publisher","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"},{"key":"5_CR00055","doi-asserted-by":"crossref","unstructured":"D.R. Barstow. Domain Specific Automatic Programming. IEEE Transaction on Software Engineering, 11(11), 1985.","DOI":"10.1109\/TSE.1985.231881"},{"key":"5_CR00056","doi-asserted-by":"crossref","unstructured":"James Bigelow. Hypertext and CASE. IEEE Software, pages 23\u201327, March 1988.","DOI":"10.1109\/52.2007"},{"key":"5_CR00057","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":"5_CR00058","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":"5_CR00059","doi-asserted-by":"publisher","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":"5_CR000510","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."},{"issue":"1","key":"5_CR000511","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1109\/MS.1984.233702","volume":"1","author":"BW 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":"5_CR000512","first-page":"222","volume":"12","author":"R John","year":"1986","unstructured":"John R. Camaron. An Overview of JSD. IEEE Transaction on Software Engineering, 12(2):222\u2013240, February 1986.","journal-title":"An Overview of JSD. IEEE Transaction on Software Engineering"},{"key":"5_CR000513","doi-asserted-by":"crossref","unstructured":"P.P.S. Chen. The Entity-Relationship Approach: Towards a Unified View of Data. ACM Transactions on Database Systems, 1(1), 1976.","DOI":"10.1145\/320434.320440"},{"key":"5_CR000514","unstructured":"Peter Coad and Edward Yourdon. Object Oriented Analysis. Prentice-Hall, Englewood Cliffs, New Jersey, 1990."},{"issue":"4","key":"5_CR000515","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 lnfonnation Systems, 6(4):303\u2013331, 1988.","journal-title":"ACM Transaction on Office lnfonnation Systems"},{"key":"5_CR000516","volume-title":"Software Information Base: A server for reuse","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."},{"key":"5_CR000517","doi-asserted-by":"crossref","unstructured":"B. Curtis, H Krasner, and N. lscoe. Field Study of the Software Design Process for Large Systems. Communication of the ACM, 33(11):1268\u20131287, 1988.","DOI":"10.1145\/50087.50089"},{"issue":"9","key":"5_CR000518","doi-asserted-by":"publisher","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":"5_CR000519","doi-asserted-by":"publisher","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":"5_CR000520","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":"5_CR000521","first-page":"1098","volume":"31","author":"M Alan","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":"A Comparison of Techniques for the Specification of External System Behavior. Communications of the ACM"},{"key":"5_CR000522","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":"5_CR000523","unstructured":"W. E. Deming. Out of the Crisis. Massachusetts Institiute of Technology, Center for Advanced Engineering Study, Cambridge, 1986."},{"issue":"2","key":"5_CR000524","doi-asserted-by":"publisher","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":"5_CR000525","unstructured":"Merlin Dorfman and Richard H. Thayer. Standards, Guidelines and Examples on System and Software Requirements Engineering. IEEE Computer Society Press- Tutorial, 1990."},{"key":"5_CR000526","unstructured":"M. Dowson. Iteration in the Software Process. In Proceedings 9th Int. Conf. on Software Engineering, April 1987."},{"issue":"1","key":"5_CR000527","first-page":"38","volume":"34","author":"CA Ellis","year":"1991","unstructured":"C. A. Ellis, S. J. Gibbs, and G. L. Rein. Groupware: Some Issues and Experience. Conununication of the ACM, 34(1):38\u201358, 1991.","journal-title":"Conununication of the ACM"},{"key":"5_CR000528","unstructured":"M. S. Feather and S. Fickas. Coping with Requirements Freedom. In Proceedings of the International Workshop on the Development of Intelligent lnfonnation Systems, pages 42\u201346, Niagara-on-the-Lake, Ontario, Canada, April 1991."},{"key":"5_CR000529","unstructured":"S. Fickas. Automating analysis: An example. In Proceedings of the 4th International Workslwp Software Specification and Design, pages 58\u201367, Washington, DC, April 1987."},{"key":"5_CR000530","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":"5_CR000531","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":"5_CR000532","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":"5_CR000533","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- Tutorial, 1990."},{"issue":"5","key":"5_CR000534","first-page":"454","volume":"17","author":"D Martin","year":"1991","unstructured":"Martin D. Fraser, Kuldeep Kumar, and Vi jay K. Vaishnavi. Informal and Formal Requirements Specification Languages Bridging the Gap. IEEE Transactions on Software Engineering, 17(5):454\u2013466, May 1991.","journal-title":"Vaishnavi. Informal and Formal Requirements Specification Languages Bridging the Gap. IEEE Transactions on Software Engineering"},{"key":"5_CR000535","volume-title":"Handbook of Walkthroughs","author":"DP Freeman","year":"1990","unstructured":"Daniel P. Freeman and Gerald M. Weinberg. Handbook of Walkthroughs, Inspections and Teclmical Reviews. Dorset House Publishing, New York, 1990."},{"key":"5_CR000536","unstructured":"P. Freemann, editor. Software reusability. IEEE Press- Tutorial, 1987. K. Pohl"},{"key":"5_CR000537","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."},{"key":"5_CR000538","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":"5_CR000539","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":"5_CR000540","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":"5_CR000541","unstructured":"S.J. Greenspan. Requirements Modeling: A Knowledge Representation Approach to Software Requirements Defmition. PhD thesis, Dept. of Computer Science, University of Toronto, 1984."},{"key":"5_CR000542","unstructured":"I. Greif, editor. Readings in Computer-Supported Cooperative Work. Morgan Kaufmann, 1988."},{"key":"5_CR000543","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":"5_CR000544","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":"5_CR000545","doi-asserted-by":"publisher","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":"5_CR000546","doi-asserted-by":"crossref","unstructured":"Anthony Hall. Seven Myths of Formal Methods. IEEE Software, (9): 11\u201319, September 1990.","DOI":"10.1109\/52.57887"},{"key":"5_CR000547","unstructured":"C.A.R. Hoare. International Conference on VDM and Z. LNCS 428, Springer Verlag, 1990."},{"key":"5_CR000548","unstructured":"IEEE. Standards, Guidelines, and Examples on System and Software Requirements Engineering. IEEE Computer Society Press - Tutorial, 1990."},{"key":"5_CR000549","unstructured":"IEEE. IEEE Std. 830\u20131984. In IEEE Software Engineering Standards Collection. IEEE, New York, 1991."},{"key":"5_CR000550","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 lth Int. Symposium of Requirements Engineering, San Diego, CA, 1993. to appear."},{"key":"5_CR000551","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":"5_CR000552","doi-asserted-by":"publisher","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":"5_CR000553","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":"5_CR000554","unstructured":"Matthias Jarke and T. Rose. Specification Management with CAD0\u2022 In P. Loucopoulos and R. Zicari, editors, Conceptual Modeling Databases, and CASE, 1991."},{"key":"5_CR000555","volume-title":"Anderungskontrolle in deduktiven Objektbanken","author":"M Jeusfeld","year":"1992","unstructured":"Manfred Jeusfeld. Anderungskontrolle in deduktiven Objektbanken. INFIX Pub, Bad Honnef, Germany, 1992."},{"key":"5_CR000556","unstructured":"P. Johannesson and K. Kalman. A Method for Translating Relational Schemas into Conceptual Schemas. In 8th bit. Conf. on Entity-Relationship Approach, pages 279\u2013294, 1989."},{"key":"5_CR000557","unstructured":"W. Lewis Johnson. Deriving Specifications from Requirements. In Proceedings of the lOth International Conference 011 Software Engineering, pages 428\u2013438, Singapore, April 1988."},{"key":"5_CR000558","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."},{"key":"5_CR000559","doi-asserted-by":"crossref","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.","DOI":"10.1109\/32.163603"},{"key":"5_CR000560","unstructured":"W. Lewis Johnson and David R. Harris. The ARIES Project. In Proceedings 5th KBSA Conference, pages 121\u2013131, Liverpool, N.Y., 1990."},{"key":"5_CR000561","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":"5_CR000562","unstructured":"Manolis Koubarakis, John Mylopoulos, Martin Stanley, and Matthias Jarke. Telos: A Knowledge Representation Language for Requirements Modelling. Technical Report KRRTR- 89\u20131, Department of Computer Science, University of Toronto, 1989."},{"key":"5_CR000563","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."},{"issue":"12","key":"5_CR000564","first-page":"1253","volume":"17","author":"CS Julio","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":"Freeman. Requirements Validation Through Viewpoint Resolution. IEEE Transactions on Software Engineering"},{"key":"5_CR000565","doi-asserted-by":"crossref","unstructured":"P. Loucopoulos and R. Champion. Knowledge-Based Approach to Requirements Engineering Using Method and Domain Knowledge. Knowledge-Based Syste1ns, 1(3), 1988.","DOI":"10.1016\/0950-7051(88)90076-7"},{"key":"5_CR000566","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":"5_CR000567","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":"5_CR000568","unstructured":"Neil Maiden. Analogical specification Reuse during Requirements Analysis. PhD thesis, City University London, 1992."},{"key":"5_CR000569","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. (NorthHolland), 1989."},{"key":"5_CR000570","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":"5_CR000571","unstructured":"Stephen M. McMenamin and John F. Palmer. Essential System Analysis. Yourdon Press, Prentice Hall, Englewood Cliffs, NJ 07632, 1984."},{"key":"5_CR000572","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":"5_CR000573","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":"5_CR000574","doi-asserted-by":"publisher","first-page":"1126","DOI":"10.1109\/32.99198","volume":"17","author":"K Miriyala","year":"1991","unstructured":"Kauth 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":"5_CR000575","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/130994.130995","volume":"35","author":"DE Monarchi","year":"1992","unstructured":"David E. Monarchi and Gretchen I. Puhr. A Research 1)'pology 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":"5_CR000576","doi-asserted-by":"publisher","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 SystelllS, 8(4):325\u2013362, 1990.","journal-title":"Transactions on Information SystelllS"},{"key":"5_CR000577","unstructured":"John Mylopoulos and Hector J. Levesque. On Conceptual Modelling. Springer Verlag, 1986."},{"key":"5_CR000578","unstructured":"J. S. Oakland. Total Quality Management. In Proceedings 2nd Int. Conf. on Total Quality Management, pages 3\u201317. Cotswold Press Ltd., 1989."},{"key":"5_CR000579","unstructured":"Barbara Pernici. Requirements Specifications for Object Oriented Systems. ITHACA Journal, (8):43\u201363, January 1991."},{"key":"5_CR000580","doi-asserted-by":"crossref","unstructured":"Klaus Pohl and Matthias Jarke. Quality Information Systems: Repository Support for Evolving Process Models. Technical report, RWTH Aachen, Informatik-Berichte 37\u201392, 1992. K. Pohl","DOI":"10.1007\/978-3-642-77810-0_17"},{"key":"5_CR000581","volume-title":"Competitive Advantage","author":"M Porter","year":"1985","unstructured":"M. Porter. Competitive Advantage. Free Press, New York, 1985."},{"key":"5_CR000582","doi-asserted-by":"crossref","unstructured":"C. Potts. A Generic Model for Representing Design Methods. In Proceedings 11th lntemational Conference on Software Engineering, 1989.","DOI":"10.1145\/74587.74616"},{"key":"5_CR000583","unstructured":"C. Potts and G. Bruns. Recording the Reasons for Design Decisions. In Proceedings lOth lntemational Conference on Software Engineering, 1988."},{"key":"5_CR000584","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"},{"key":"5_CR000585","doi-asserted-by":"crossref","unstructured":"B. Ramesh and V. Dhar. Process-Knowledge Based Group Support in Requirements Engineering. IEEE Transactions on Software Engineering, 18(6), 1992.","DOI":"10.1109\/32.142872"},{"issue":"3","key":"5_CR000586","first-page":"226","volume":"17","author":"B Howard","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":"Waters. The Requirements Apprentice: Automated Assistance for Requirements Acquisition. IEEE Transactions on Software Engineering"},{"key":"5_CR000587","unstructured":"C. Rolland and C. Proix. A Natural Language Approach for Requirements Engineering. In Proceedings of the 4th Intemational Conference 011 Advanced lnfonnation Systems Engineering, LNCS 593, 1992."},{"issue":"5","key":"5_CR000588","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, lEE Software Engineering Journal, 6(5):332\u2013346, 1991.","journal-title":"Special Issue on Software Process Support, lEE Software Engineering Journal"},{"key":"5_CR000589","unstructured":"H.H. Sayani. PSUPSA at the Age of Fifteen. In Thayer R.H. and M. Dorfman, editors, Systems and Software Requirements Engineering, pages 403\u2013417. IEEE Computer Society PressTutorial, 1990."},{"issue":"1","key":"5_CR000590","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1109\/TSE.1984.5010198","volume":"10","author":"W Scacchi","year":"1984","unstructured":"Wall 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":"5_CR000591","volume-title":"Similarity for Analogical Software Reuse","author":"G Spanoudakis","year":"1992","unstructured":"G. Spanoudakis and P. Constanlopoulos. Similarity for Analogical Software Reuse. In Proc. ERCIM Workshop on Methods and Tools for Software Reuse, Heraklion, Crete, 1992."},{"issue":"1","key":"5_CR000592","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1049\/sej.1989.0006","volume":"4","author":"JM 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":"5_CR000593","unstructured":"Alistair Sutcliffe. Object Oriented Systems Analysis: The Abstract Question. In Proc. I FIP WG 8.1 Conf. The Object Oriented Approach in Jnfonnation Systems, Quebec City, Canada, 1991."},{"key":"5_CR000594","unstructured":"Alistair Sutcliffe and Neil Maiden. Software reuseabilily: Delivering Productivity gains or short cuts. In Proceedings INTERACT, pages 948\u2013956. North-Holland, 1990."},{"key":"5_CR000595","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":"5_CR000596","doi-asserted-by":"crossref","unstructured":"Jeanette M. Wing. A Specifier's Introduction to Formal Methods. Computer, (9):8\u201324, September 1990.","DOI":"10.1109\/2.58215"},{"key":"5_CR000597","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":"5_CR000598","volume-title":"Modem Structured Analysis","author":"E Yourdon","year":"1989","unstructured":"Edward Yourdon. Modem Structured Analysis. Prentice-Hall, Englewood Cliffs, NJ, 1989."},{"key":"5_CR000599","volume-title":"Structured Walkthroughs","author":"E Yourdon","year":"1989","unstructured":"Edward Yourdon. Structured Walkthroughs. Prentice-Hall, Englewood Cliffs, NJ, 1989."},{"issue":"3","key":"5_CR0005100","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1109\/32.75412","volume":"17","author":"Pamala Zave","year":"1991","unstructured":"Pamala Zave. An Insider's Evaluation of PAISLey. IEEE Transactio11 on Software Engineering, 17(3):212\u2013225, March 1991.","journal-title":"IEEE Transactio11 on Software Engineering"},{"key":"5_CR0005101","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":["Seminal Contributions to Information Systems Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36926-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,24]],"date-time":"2022-02-24T11:54:56Z","timestamp":1645703696000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36926-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642369254","9783642369261"],"references-count":101,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36926-1_5","relation":{},"subject":[],"published":{"date-parts":[[2013]]}}}