{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:41:57Z","timestamp":1725532917530},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642020490"},{"type":"electronic","value":"9783642020506"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02050-6_8","type":"book-chapter","created":{"date-parts":[[2009,6,5]],"date-time":"2009-06-05T23:22:21Z","timestamp":1244244141000},"page":"89-103","source":"Crossref","is-referenced-by-count":10,"title":["Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective"],"prefix":"10.1007","author":[{"given":"Gilles","family":"Perrouin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erwan","family":"Brottier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benoit","family":"Baudry","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yves","family":"Le Traon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","first-page":"285","volume-title":"FOSE at ICSE","author":"B.H.C. Cheng","year":"2007","unstructured":"Cheng, B.H.C., Atlee, J.M.: Research Directions in Requirements Engineering. In: FOSE at ICSE, Washington, DC, USA, pp. 285\u2013303. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Kotonya, G., Sommerville, I.: Requirements Engineering with Viewpoints. Software Engineering Journal (1996)","DOI":"10.1049\/sej.1996.0002"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Rashid, A., Moreira, A., Ara\u00fajo, J.: Modularisation and composition of aspectual requirements. In: AOSD 2003, Boston, Massachusetts, USA, pp. 11\u201320 (2003)","DOI":"10.1145\/643603.643605"},{"issue":"1","key":"8_CR4","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1049\/sej.1996.0004","volume":"11","author":"S. Easterbrook","year":"1996","unstructured":"Easterbrook, S., Nuseibeh, B.: Using viewpoints for inconsistency management. Software Engineering Journal\u00a011(1), 31\u201343 (1996)","journal-title":"Software Engineering Journal"},{"issue":"2","key":"8_CR5","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0164-1212(01)00036-X","volume":"58","author":"B. Nuseibeh","year":"2001","unstructured":"Nuseibeh, B., Easterbrook, S., Russo, A.: Making inconsistency respectable in software development. Journal of Systems and Software\u00a058(2), 171\u2013180 (2001)","journal-title":"Journal of Systems and Software"},{"issue":"10","key":"8_CR6","first-page":"760","volume":"20","author":"B. Nuseibeh","year":"1994","unstructured":"Nuseibeh, B., Kramer, J., Finkelstein, A.: A framework for expressing the relationships between multiple views in requirements specification. IEEE TSE\u00a020(10), 760\u2013773 (1994)","journal-title":"IEEE TSE"},{"key":"8_CR7","unstructured":"Nentwich, C., Emmerich, W., Finkelstein, A.: Flexible consistency checking. ACM TOSEM (2001)"},{"key":"8_CR8","first-page":"356","volume-title":"ICST","author":"D. Kolovos","year":"2008","unstructured":"Kolovos, D., Paige, R., Polack, F.: Detecting and Repairing Inconsistencies across Heterogeneous Models. In: ICST, pp. 356\u2013364. IEEE Computer Society, Los Alamitos (2008)"},{"key":"8_CR9","first-page":"306","volume-title":"RE 2005","author":"M. Sabetzadeh","year":"2005","unstructured":"Sabetzadeh, M., Easterbrook, S.: An algebraic framework for merging incomplete and inconsistent views. In: RE 2005, August -2 September, pp. 306\u2013315. IEEE, Los Alamitos (2005)"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Day, N., Joyce, J.: A framework for multi-notation requirements specification and analysis. In: 4th ICRE, pp. 39\u201348 (2000)","DOI":"10.1109\/ICRE.2000.855583"},{"issue":"1","key":"8_CR11","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0950-5849(94)90007-8","volume":"36","author":"M. Ainsworth","year":"1994","unstructured":"Ainsworth, M., Cruickshank, A., Groves, L., Wallis, P.: Viewpoint specification and Z. Information and Software Technology\u00a036(1), 43\u201351 (1994)","journal-title":"Information and Software Technology"},{"issue":"4","key":"8_CR12","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1145\/158431.158438","volume":"2","author":"P. Zave","year":"1993","unstructured":"Zave, P., Jackson, M.: Conjunction as Composition. ACM TOSEM\u00a02(4), 379\u2013411 (1993)","journal-title":"ACM TOSEM"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Brottier, E., Baudry, B., Traon, Y.L., Touzet, D., Nicolas, B.: Producing a Global Requirement Model from Multiple Requirement Specifications. In: EDOC, pp. 390\u2013404 (2007)","DOI":"10.1109\/EDOC.2007.44"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"France, R., Fleurey, F., Reddy, R., Baudry, B., Ghosh, S.: Providing Support for Model Composition in Metamodels. In: EDOC, Annapolis, MD, USA (2007)","DOI":"10.1109\/EDOC.2007.55"},{"key":"8_CR15","unstructured":"van Lamsweerde, A., Letier, E., Ponsard, C.: Leaving Inconsistency. In: ICSE workshop on Living with Inconsistency (1997)"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Baudry, B., Nebut, C., Traon, Y.L.: Model-driven engineering for requirements analysis. In: EDOC, pp. 459\u2013466 (2007)","DOI":"10.1109\/EDOC.2007.15"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Nebut, C., Fleurey, F., Le Traon, Y., J\u00e9z\u00e9quel, J.M.: Automatic test generation: A use case driven approach. IEEE TSE (2006)","DOI":"10.1109\/TSE.2006.22"},{"key":"8_CR18","unstructured":"Spanoudakis, G., Finkelstein, A.: Overlaps among requirements specifications. In: ICSE workshop on Living with Inconsistency (1997)"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"van Lamsweerde, A., Darimont, R., Letier, E.: Managing Conflicts in Goal-Driven Requirements Engineering. IEEE TSE 24(11) (1998)","DOI":"10.1109\/32.730542"},{"key":"8_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/11880240_16","volume-title":"Model Driven Engineering Languages and Systems","author":"D.S. Kolovos","year":"2006","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.A.C.: Merging Models With the Epsilon Merging Language EML. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 215\u2013229. Springer, Heidelberg (2006)"},{"issue":"3-4","key":"8_CR21","doi-asserted-by":"crossref","first-page":"241","DOI":"10.3233\/FI-1996-263402","volume":"26","author":"A. Corradini","year":"1996","unstructured":"Corradini, A., Montanari, U., Rossi, F.: Graph processes. Fundamenta Informaticae\u00a026(3-4), 241\u2013265 (1996)","journal-title":"Fundamenta Informaticae"}],"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-642-02050-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,19]],"date-time":"2020-05-19T08:15:50Z","timestamp":1589876150000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02050-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642020490","9783642020506"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02050-6_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}