{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,9]],"date-time":"2023-01-09T07:53:39Z","timestamp":1673250819683},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2008,6,18]],"date-time":"2008-06-18T00:00:00Z","timestamp":1213747200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Requirements Eng"],"published-print":{"date-parts":[[2008,9]]},"DOI":"10.1007\/s00766-008-0064-6","type":"journal-article","created":{"date-parts":[[2008,6,17]],"date-time":"2008-06-17T09:07:09Z","timestamp":1213693629000},"page":"187-206","source":"Crossref","is-referenced-by-count":6,"title":["Composing requirements specifications from multiple prioritized sources"],"prefix":"10.1007","volume":"13","author":[{"given":"Ana Bel\u00e9n","family":"Barrag\u00e1ns Mart\u00ednez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 J.","family":"Pazos Arias","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ana","family":"Fern\u00e1ndez Vilas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge","family":"Garc\u00eda Duque","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mart\u00edn","family":"L\u00f3pez Nores","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rebeca P.","family":"D\u00edaz Redondo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yolanda","family":"Blanco Fern\u00e1ndez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,6,18]]},"reference":[{"key":"64_CR1","doi-asserted-by":"crossref","unstructured":"Barrag\u00e1ns Mart\u00ednez B, Pazos Arias JJ, Fern\u00e1ndez Vilas A, Garc\u00eda Duque J, L\u00f3pez Nores M, D\u00edaz Redondo R, Blanco Fern\u00e1ndez Y (2008) Composing multi-perspective software requirements specifications. Int J Softw Eng Knowl Eng 18(1):119\u2013153","DOI":"10.1142\/S0218194008003581"},{"issue":"4","key":"64_CR2","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1016\/j.infsof.2007.02.001","volume":"50","author":"B Barrag\u00e1ns Mart\u00ednez","year":"2008","unstructured":"Barrag\u00e1ns Mart\u00ednez B, Pazos Arias JJ, Fern\u00e1ndez Vilas A, Garc\u00eda Duque J, L\u00f3pez Nores M, D\u00edaz Redondo R, Blanco Fern\u00e1ndez Y (2008) On the interplay between inconsistency and incompleteness in multi-perspective requirements specifications. Inf Softw Technol 50(4):296\u2013321","journal-title":"Inf Softw Technol"},{"issue":"7","key":"64_CR3","doi-asserted-by":"crossref","first-page":"583","DOI":"10.1016\/j.is.2003.12.005","volume":"29","author":"F Naumann","year":"2004","unstructured":"Naumann F, Freytag J-C, Leser U (2004) Completeness of integrated information sources. Inf Syst 29(7):583\u2013615","journal-title":"Inf Syst"},{"key":"64_CR4","unstructured":"Garc\u00eda Duque J, Pazos Arias JJ, Barrag\u00e1ns Mart\u00ednez B (2002) An analysis-revision cycle to evolve requirements specifications by using the SCTL-MUS methodology. In: Proceedings of the 10th IEEE international conference on requirements engineering (RE\u201902). IEEE Computer Society Press, Essen, Germany, pp 282\u2013288"},{"key":"64_CR5","unstructured":"Milner R (1989) Communication and concurrency. International series in computer science. Prentice-Hall, Englewood Cliffs"},{"key":"64_CR6","doi-asserted-by":"crossref","unstructured":"Uchitel S, Chechik, M (2004) Merging partial behavioural models. In: Proceedings of the 12th ACM SIGSOFT international symposium on the foundations of software engineering (SIGSOFT\u201904\/FSE-12), ACM Press, New York, pp 43\u201352","DOI":"10.1145\/1029894.1029904"},{"key":"64_CR7","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1007\/PL00003939","volume":"13","author":"JJ Pazos Arias","year":"2001","unstructured":"Pazos Arias JJ, Garc\u00eda Duque J (2001) SCTL-MUS: a formal methodology for software development of distributed systems. A case study. Formal Asp Comput 13:50\u201391","journal-title":"Formal Asp Comput"},{"key":"64_CR8","unstructured":"Hoare CAR (1985) Communicating sequential processes. Prentice-Hall, Englewood Cliffs"},{"key":"64_CR9","doi-asserted-by":"crossref","unstructured":"Belnap ND (1977) A useful four-valued logic. In: Dunn JM, Epstein G (eds) Modern uses of multiple-valued logic. D. Reidel, pp 7\u201337","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"64_CR10","doi-asserted-by":"crossref","unstructured":"Nejati S, Chechik M (2005) Let\u2019s agree to disagree. In: Proceedings of the 20th international conference on automated software engineering (ASE 2005), Long Beach, ACM Press, New York, 7\u201311 November 2005, pp 287\u2013290","DOI":"10.1145\/1101908.1101952"},{"key":"64_CR11","unstructured":"Barrag\u00e1ns Mart\u00ednez AB (2007) Metodolog\u00eda Formal para la Especificaci\u00f3n de Sistemas Software en Entornos Multi-Perspectiva. PhD Thesis, Telematic Engineering Department, University of Vigo (in Spanish)"},{"key":"64_CR12","doi-asserted-by":"crossref","unstructured":"Tsai JJP, Weigert T, Jang H-C (1992) A hybrid knowledge representation as a basis of requirement specification and specification analysis. IEEE Trans Softw Eng 18(12):1076\u20131100","DOI":"10.1109\/32.184762"},{"key":"64_CR13","unstructured":"Balzer R (1991) Tolerating inconsistency. In: Proceedings of 13rd international conference on software engineering (ICSE\u201913). IEEE Computer Society Press, Austin, 13\u201317 May 1991, pp 158\u2013165"},{"key":"64_CR14","unstructured":"Gabbay D, Hunter A (1991) Making inconsistency respectable\u2014part 1: a logical framework for inconsistency in reasoning. In: Jorrand Ph, Kelemen J (eds) Foundations of artificial intelligence research, vol 535 of Lecture Notes in Computer Science, Springer, Heidelberg, pp 19\u201332"},{"issue":"4","key":"64_CR15","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1145\/292182.292187","volume":"7","author":"A Hunter","year":"1998","unstructured":"Hunter A, Nuseibeh B (1998) Managing inconsistent specifications: reasoning, analysis and action. ACM Trans Softw Eng Methodol 7(4):335\u2013367","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"64_CR16","doi-asserted-by":"crossref","unstructured":"Nuseibeh B (1996) To be and not to be: on managing inconsistency in software development. In: Proceedings of 8th international workshop on software specification and design (IWSSD-8), Scloss Velen, Germany. IEEE Computer Society Press, 22\u201323 March 1996, pp 164\u2013169","DOI":"10.1109\/IWSSD.1996.501161"},{"key":"64_CR17","doi-asserted-by":"crossref","unstructured":"Gervasi V, Zowghi D (2005) Reasoning about inconsistencies in natural language requirements. ACM Trans Softw Eng Methodol 14(3):277\u2013330","DOI":"10.1145\/1072997.1072999"},{"key":"64_CR18","doi-asserted-by":"crossref","unstructured":"Robinson W, Fickas S (1994) Supporting multi-perspective requirements engineering. In: Proceedings of the 1st IEEE international conference on requirements engineering. IEEE Computer Society Press, 18\u201321 April 1994, pp 206\u2013215","DOI":"10.1109\/ICRE.1994.292383"},{"key":"64_CR19","unstructured":"Spanoudakis G, Kim H (2004) Supporting the reconciliation of models of object behaviour. Int J Softw Syst Modell Spec Issue Obj Orient Inf Syst 3(4):273\u2013293"},{"key":"64_CR20","doi-asserted-by":"crossref","unstructured":"Heitmeyer CL, Jeffords RD, Labaw BG (1996) Automated consistency checking of requirements specifications. ACM Trans Softw Eng Methodol 5(3):231\u2013261","DOI":"10.1145\/234426.234431"},{"issue":"8","key":"64_CR21","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1109\/32.310667","volume":"20","author":"A Finkelstein","year":"1994","unstructured":"Finkelstein A, Gabbay D, Hunter A, Kramer J, Nuseibeh B (1994) Inconsistency handling in multi-perspective specifications. IEEE Trans Softw Eng 20(8):569\u2013578","journal-title":"IEEE Trans Softw Eng"},{"key":"64_CR22","doi-asserted-by":"crossref","unstructured":"van Lamsweerde A, Darimont R, Letier E (1998) Managing conflicts in goal-driven requirements engineering. IEEE Trans Softw Eng 24(11):908\u2013926. Special issue on inconsistency management in software development","DOI":"10.1109\/32.730542"},{"issue":"2","key":"64_CR23","first-page":"89","volume":"5","author":"A Kozlenkov","year":"2004","unstructured":"Kozlenkov A, Zisman A (2004) Discovering, recording, and handling inconsistencies in software specifications. Int J Comput Inf Sci 5(2):89\u2013108","journal-title":"Int J Comput Inf Sci"},{"key":"64_CR24","doi-asserted-by":"crossref","unstructured":"Spanoudakis G, Zisman A (2001) Inconsistency management in software engineering: survey and open research issues. In: Chang SK (ed) Handbook of software engineering and knowledge engineering. World Scientific Publishing Co., Singapore, pp 329\u2013380","DOI":"10.1142\/9789812389718_0015"},{"key":"64_CR25","doi-asserted-by":"crossref","unstructured":"van Lamsweerde A, Willemet L (1998) Inferring declarative requirements specifications from operational scenarios. IEEE Trans Softw Eng 24(12):1089\u20131114","DOI":"10.1109\/32.738341"},{"key":"64_CR26","doi-asserted-by":"crossref","unstructured":"Nentwich C, Capra L, Emmerich W, Finkelstein A (2001) Static consistency checking for distributed specifications. In: Proceedings of the 16th international conference on automated software engineering (ASE 2001), Coronado Island, pp 115\u2013124","DOI":"10.1109\/ASE.2001.989797"},{"key":"64_CR27","doi-asserted-by":"crossref","unstructured":"Sommerville I, Sawyer P (1997) Viewpoints: principles, problems and a practical approach to requirements engineering. Ann Softw Eng 3:101\u2013130","DOI":"10.1023\/A:1018946223345"},{"key":"64_CR28","unstructured":"Hunter A, Konieczny S (2004) Approaches to measuring inconsistent information. In: Inconsistency tolerance, vol 3300 of Lecture Notes in Computer Science. Springer, Heidelberg, pp 191\u2013236"},{"issue":"3","key":"64_CR29","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/j.datak.2005.04.005","volume":"57","author":"A Hunter","year":"2006","unstructured":"Hunter A (2006) How to act on inconsistent news: ignore, resolve, or reject. Data Knowl Eng 57(3):221\u2013239","journal-title":"Data Knowl Eng"},{"key":"64_CR30","doi-asserted-by":"crossref","unstructured":"Zowghi D, Gervasi V (2003) On the interplay between consistency, completeness, and correctness in requirements evolution. Inf Softw Technol 45(14):993\u20131009","DOI":"10.1016\/S0950-5849(03)00100-9"},{"key":"64_CR31","doi-asserted-by":"crossref","first-page":"647","DOI":"10.1016\/j.knosys.2006.05.007","volume":"19","author":"A Hunter","year":"2006","unstructured":"Hunter A, Summerton R (2006) A knowledge-based approach to merging information. Knowl Based Syst 19:647\u2013674","journal-title":"Knowl Based Syst"},{"key":"64_CR32","doi-asserted-by":"crossref","unstructured":"Niskier C, Maibaum TSE, Schwabe D (1989) A look through prisma: towards pluralistic knowledge-based environments for software specification acquisition. In: Potts C (ed) Proceedings of the 5th IEEE international workshop on software specification and design, Pittsburgh, pp 128\u2013136","DOI":"10.1145\/75199.75219"},{"key":"64_CR33","doi-asserted-by":"crossref","unstructured":"Zave P, Jackson M (1993) Conjunction as composition. ACM Trans Softw Eng Methodol 2(4):379\u2013411","DOI":"10.1145\/158431.158438"},{"issue":"10","key":"64_CR34","doi-asserted-by":"crossref","first-page":"760","DOI":"10.1109\/32.328995","volume":"20","author":"B Nuseibeh","year":"1994","unstructured":"Nuseibeh B, Kramer J, Finkelstein A (1994) A framework for expressing the relationships between multiple views in requirements specification. IEEE Trans Softw Eng 20(10):760\u2013773","journal-title":"IEEE Trans Softw Eng"},{"key":"64_CR35","doi-asserted-by":"crossref","unstructured":"Sabetzadeh M, Easterbrook SM (2003) Analysis of inconsistency in graph-based viewpoints: a category-theoretic approach. In: Proceedings of the 18th IEEE international conference on automated software engineering, pp 12\u201321","DOI":"10.1109\/ASE.2003.1240290"},{"key":"64_CR36","doi-asserted-by":"crossref","unstructured":"Robinson W (1989) Integrating multiple specifications using domain goals. In: Proceedings of the 5th international workshop on software specification and design (IWSSD-5). IEEE Computer Society Press, 19\u201320 May 1989, pp 219\u2013225","DOI":"10.1145\/75199.75232"},{"issue":"5","key":"64_CR37","first-page":"18","volume":"13","author":"T Syst\u00e4","year":"2000","unstructured":"Syst\u00e4 T (2000) Incremental construction of dynamic models for object oriented software systems. J Obj Orient Program 13(5):18\u201327","journal-title":"J Obj Orient Program"},{"key":"64_CR38","doi-asserted-by":"crossref","unstructured":"Uchitel S, Kramer J (2001) A workbench for synthesising behaviour models from scenarios. In: Proceedings of the 23rd IEEE international conference on software engineering (ICSE\u201901), pp 188\u2013197, Toronto, Canada. IEEE Computer Society Press, 12\u201319 May 2001","DOI":"10.1109\/ICSE.2001.919093"},{"key":"64_CR39","unstructured":"Chac\u00f3n JL, Pino P\u00e9rez R (2002) Logic-based merging: the infinite case. In: Delgrande JP, Schaub T (eds) Proceedings of the 10th international workshop on non-monotonic reasoning (NMR\u201904), Whistler, Canada. AAAI Press, 6\u20138 June 2004, pp 100\u2013108"},{"key":"64_CR40","doi-asserted-by":"crossref","unstructured":"Konieczny S, Pino P\u00e9rez R (2002) Merging information under constraints: a logical framework. J Log Comput 12(5):773\u2013808","DOI":"10.1093\/logcom\/12.5.773"},{"key":"64_CR41","doi-asserted-by":"crossref","unstructured":"Motro A, Anokhin P (2006) Fusionplex: resolution of data inconsistencies in the integration of heterogeneous information sources. Inf Fus 7:176\u2013196","DOI":"10.1016\/j.inffus.2004.10.001"},{"key":"64_CR42","doi-asserted-by":"crossref","unstructured":"Motro A, Anokhin P, Acar AC (2004) Utility-based resolution of data inconsistencies. In: Proceedings of the 2004 international workshop on information quality in information systems (IQIS\u201904), New York. ACM Press, pp 35\u201343","DOI":"10.1145\/1012453.1012460"},{"key":"64_CR43","unstructured":"Naumann F, H\u00e4ussler M (2002) Declarative data merging with conflict resolution. In: Proceedings of the international conference on information quality (IQ\u201902), Cambridge"},{"key":"64_CR44","doi-asserted-by":"crossref","unstructured":"Liu XF, Sun Y, Veera CS, Kyoya Y, Noguchi K (2006) Priority assessment of software process requirements from multiple perspectives. J Syst Softw 79(11):1649\u20131660","DOI":"10.1016\/j.jss.2006.03.012"}],"container-title":["Requirements Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-008-0064-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00766-008-0064-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-008-0064-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T05:59:27Z","timestamp":1559109567000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00766-008-0064-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6,18]]},"references-count":44,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2008,9]]}},"alternative-id":["64"],"URL":"https:\/\/doi.org\/10.1007\/s00766-008-0064-6","relation":{},"ISSN":["0947-3602","1432-010X"],"issn-type":[{"value":"0947-3602","type":"print"},{"value":"1432-010X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,6,18]]}}}