{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T04:19:24Z","timestamp":1746159564765,"version":"3.40.4"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319058429"},{"type":"electronic","value":"9783319058436"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-05843-6_15","type":"book-chapter","created":{"date-parts":[[2014,3,18]],"date-time":"2014-03-18T01:05:28Z","timestamp":1395104728000},"page":"200-215","source":"Crossref","is-referenced-by-count":4,"title":["Problem-Based Requirements Interaction Analysis"],"prefix":"10.1007","author":[{"given":"Azadeh","family":"Alebrahim","sequence":"first","affiliation":[]},{"given":"Stephan","family":"Fa\u00dfbender","sequence":"additional","affiliation":[]},{"given":"Maritta","family":"Heisel","sequence":"additional","affiliation":[]},{"given":"Rene","family":"Meis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","first-page":"37","volume-title":"2007 Future of Software Engineering, FOSE 2007","author":"R. France","year":"2007","unstructured":"France, R., Rumpe, B.: Model-driven development of complex software: A research roadmap. In: 2007 Future of Software Engineering, FOSE 2007, pp. 37\u201354. IEEE Computer Society, Washington, DC (2007)"},{"issue":"11","key":"15_CR2","doi-asserted-by":"publisher","first-page":"908","DOI":"10.1109\/32.730542","volume":"24","author":"A. Lamsweerde van","year":"1998","unstructured":"van Lamsweerde, A., Letier, E., Darimont, R.: Managing Conflicts in Goal-Driven Requirements Engineering. IEEE Trans. Softw. Eng.\u00a024(11), 908\u2013926 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Sommerville, I., Sawyer, P., Viller, S.: Viewpoints for requirements elicitation: A practical approach. In: Int. Conf. on RE: Putting Requirements Engineering to Practice, pp. 74\u201381. IEEE Computer Society (1998)","DOI":"10.1109\/ICRE.1998.667811"},{"key":"15_CR4","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/S1389-1286(02)00352-3","volume":"41","author":"M. Calder","year":"2003","unstructured":"Calder, M., Kolberg, M., Magill, E.H., Reiff-Marganiec, S.: Feature interaction: a critical review and considered forecast. Comput. Netw.\u00a041, 115\u2013141 (2003)","journal-title":"Comput. Netw."},{"issue":"8","key":"15_CR5","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1109\/35.229532","volume":"31","author":"E.J. Cameron","year":"1993","unstructured":"Cameron, E.J., Velthuijsen, H.: Feature interactions in telecommunications systems. Comm. Mag.\u00a031(8), 18\u201323 (1993)","journal-title":"Comm. Mag."},{"key":"15_CR6","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1145\/857076.857079","volume":"35","author":"W.N. Robinson","year":"2003","unstructured":"Robinson, W.N., Pawlowski, S.D., Volkov, V.: Requirements interaction management. ACM Comput. Surv.\u00a035, 132\u2013190 (2003)","journal-title":"ACM Comput. Surv."},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Cheng, B.H.C., Atlee, J.M.: Research Directions in Requirements Engineering. In: Future of Software Engineering, FOSE 2007, pp. 285\u2013303. IEEE Computer Society (2007)","DOI":"10.1109\/FOSE.2007.17"},{"key":"15_CR8","unstructured":"Jackson, M.: Problem Frames. Analyzing and structuring software development problems. Addison-Wesley (2001)"},{"key":"15_CR9","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. Softw. Eng. Methodol.\u00a06, 1\u201330 (1997)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"15_CR10","unstructured":"Wordsworth, J.: Software development with Z - a practical approach to formal methods in software engineering. International computer science series. Addison-Wesley (1992)"},{"key":"15_CR11","volume-title":"The Z notation: a reference manual","author":"J.M. Spivey","year":"1989","unstructured":"Spivey, J.M.: The Z notation: a reference manual. Prentice-Hall, Inc., Upper Saddle River (1989), http:\/\/spivey.oriel.ox.ac.uk\/mike\/zrm\/zrm.pdf"},{"key":"15_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/978-3-642-15651-9_24","volume-title":"Computer Safety, Reliability, and Security","author":"D. Hatebur","year":"2010","unstructured":"Hatebur, D., Heisel, M.: A UML profile for requirements analysis of dependable software. In: Schoitsch, E. (ed.) SAFECOMP 2010. LNCS, vol.\u00a06351, pp. 317\u2013331. Springer, Heidelberg (2010)"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Heisel, M., Souqui\u00e8res, J.: A heuristic algorithm to detect feature interactions in requirements. In: Language Constructs for Describing Features, pp. 143\u2013162. Springer (2000)","DOI":"10.1007\/978-1-4471-0287-8_9"},{"key":"15_CR14","unstructured":"OPEN meter project: Requirements of AMI. Technical report, OPEN meter project (2009)"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"C\u00f4t\u00e9, I., Hatebur, D., Heisel, M., Schmidt, H.: UML4PF \u2013 a tool for problem-oriented requirements analysis. In: Proc. of the Int. Conf. on Requirements Engineering (RE), pp. 349\u2013350. IEEE Computer Society (2011)","DOI":"10.1109\/RE.2011.6051670"},{"issue":"6","key":"15_CR16","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/MS.2004.40","volume":"21","author":"A. Egyed","year":"2004","unstructured":"Egyed, A., Grunbacher, P.: Identifying requirements conflicts and cooperation: How quality attributes and automated traceability can help. IEEE Softw.\u00a021(6), 50\u201358 (2004)","journal-title":"IEEE Softw."},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Alf\u00e9rez, M., Moreira, A., Kulesza, U., Ara\u00fajo, J.A., Mateus, R., Amaral, V.: Detecting feature interactions in SPL requirements analysis models. In: Proc. of the 1st Int. Workshop on Feature-Oriented Software Development, FOSD 2009, pp. 117\u2013123. ACM (2009)","DOI":"10.1145\/1629716.1629738"},{"key":"15_CR18","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1016\/j.datak.2006.06.009","volume":"61","author":"M. Kim","year":"2007","unstructured":"Kim, M., Park, S., Sugumaran, V., Yang, H.: Managing requirements conflicts in software product lines: A goal and scenario based approach. Data Knowl. Eng.\u00a061, 417\u2013432 (2007)","journal-title":"Data Knowl. Eng."},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"Hausmann, J.H., Heckel, R., Taentzer, G.: Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation. In: Proc. of the 24th Int. Conf. on Software Engineering, ICSE 2002, pp. 105\u2013115. ACM (2002)","DOI":"10.1145\/581352.581355"},{"key":"15_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-540-78743-3_2","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Classen","year":"2008","unstructured":"Classen, A., Heymans, P., Schobbens, P.-Y.: What\u2019s in a feature: A requirements engineering perspective. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol.\u00a04961, pp. 16\u201330. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Requirements Engineering: Foundation for Software Quality"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-05843-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T02:31:15Z","timestamp":1746153075000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-05843-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319058429","9783319058436"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-05843-6_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}