{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,14]],"date-time":"2024-03-14T04:10:15Z","timestamp":1710389415203},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2009,6,3]],"date-time":"2009-06-03T00:00:00Z","timestamp":1243987200000},"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":[[2009,12]]},"DOI":"10.1007\/s00766-009-0083-y","type":"journal-article","created":{"date-parts":[[2009,6,2]],"date-time":"2009-06-02T05:23:09Z","timestamp":1243920189000},"page":"247-268","source":"Crossref","is-referenced-by-count":11,"title":["Formal semantic conflict detection in aspect-oriented requirements"],"prefix":"10.1007","volume":"14","author":[{"given":"Nathan","family":"Weston","sequence":"first","affiliation":[]},{"given":"Ruzanna","family":"Chitchyan","sequence":"additional","affiliation":[]},{"given":"Awais","family":"Rashid","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,6,3]]},"reference":[{"key":"83_CR1","doi-asserted-by":"crossref","unstructured":"Rashid A, Moreira A, Araujo J (2003) Modularisation and composition of aspectual requirements. In: Proceedings of the 2nd international conference on aspect-oriented software development. ACM Press, Washington DC, pp 11\u201320","DOI":"10.1145\/643603.643605"},{"key":"83_CR2","doi-asserted-by":"crossref","unstructured":"Moreira A, Rashid A, Araujo J (2005) Multi-dimensional separation of concerns in requirements engineering. In: RE \u201905: proceedings of the 13th IEEE international conference on requirements engineering (RE\u201905). IEEE Computer Society, Washington, DC, pp 285\u2013296","DOI":"10.1109\/RE.2005.46"},{"key":"83_CR3","unstructured":"Jacobson I, Ng P-W (2004) Aspect-oriented software development with use cases (Addison-Wesley Object Technology Series). Addison-Wesley Professional, USA"},{"key":"83_CR4","doi-asserted-by":"crossref","unstructured":"Chitchyan R, Rashid A, Rayson P, Waters R (2007) Semantics-based composition for AORE. In: AOSD \u201907: proceedings of the 6th international conference on Aspect-oriented software development. ACM Press, New York, pp 36\u201348","DOI":"10.1145\/1218563.1218569"},{"key":"83_CR5","doi-asserted-by":"crossref","unstructured":"Dixon RMW (2005) A semantic approach to English grammar, 2nd edn. Oxford University Press, Oxford","DOI":"10.1093\/oso\/9780199283071.001.0001"},{"issue":"11","key":"83_CR6","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"JF Allen","year":"1983","unstructured":"Allen JF (1983) Maintaining knowledge about temporal intervals. Commun ACM 26(11):832\u2013843","journal-title":"Commun ACM"},{"key":"83_CR7","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1093\/logcom\/4.5.531","volume":"4","author":"JF Allen","year":"1994","unstructured":"Allen JF, Ferguson G (1994) Actions and events in interval temporal logic. J Logic Comput 4:531\u2013579","journal-title":"J Logic Comput"},{"issue":"1","key":"83_CR8","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1007\/s00766-003-0179-8","volume":"9","author":"M Luisa","year":"2004","unstructured":"Luisa M, Mariangela F, Pierluigi I (2004) Market research for requirements analysis using linguistic tools. Requir Eng 9(1):40\u201356","journal-title":"Requir Eng"},{"key":"83_CR9","doi-asserted-by":"crossref","unstructured":"Easterbrook S, Yu E, Aranda J, Fan Y, Horkoff J, Leica M, Qadir RA (2005) Do viewpoints lead to better conceptual models? an exploratory case study. In: RE \u201905: proceedings of the 13th IEEE international conference on requirements engineering. IEEE Computer Society, Washington, DC, pp 199\u2013208","DOI":"10.1109\/RE.2005.23"},{"issue":"3","key":"83_CR10","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1109\/TSE.2004.1271174","volume":"30","author":"RB France","year":"2004","unstructured":"France RB, Kim D-K, Ghosh S, Song E (2004) A uml-based pattern specification technique. IEEE Trans Softw Eng 30(3):193\u2013206","journal-title":"IEEE Trans Softw Eng"},{"key":"83_CR11","doi-asserted-by":"crossref","unstructured":"Mehner K, Monga M, Taentzer G (2006) Interaction analysis in aspect-oriented models. In: RE \u201906: proceedings of the 14th IEEE international requirements engineering conference (RE\u201906). IEEE Computer Society, Washington, DC, pp 66\u201375","DOI":"10.1109\/RE.2006.35"},{"issue":"7","key":"83_CR12","doi-asserted-by":"crossref","first-page":"137","DOI":"10.5381\/jot.2007.6.7.a6","volume":"6","author":"F Mostefaoui","year":"2007","unstructured":"Mostefaoui F, Vachon J (2007) Design-level detection of interactions in aspect-uml models using alloy. J Object Technol 6(7):137\u2013165","journal-title":"J Object Technol"},{"key":"83_CR13","doi-asserted-by":"crossref","unstructured":"Sabetzadeh M, Easterbrook S (2005) An algebraic framework for merging incomplete and inconsistent views. In: RE \u201905: proceedings of the 13th IEEE international conference on requirements engineering. IEEE Computer Society, Washington, DC, pp 306\u2013318","DOI":"10.1109\/RE.2005.8"},{"key":"83_CR14","doi-asserted-by":"crossref","unstructured":"Dardenne A, Van Lamsweerde A, Fickas S (1993) Goal-directed requirements acquisition. Sci cComput Program 20(1):3\u201350","DOI":"10.1016\/0167-6423(93)90021-G"},{"key":"83_CR15","unstructured":"Van Lamsweerde A (2001) Goal-oriented requirements engineering: A guided tour. In: RE \u201901: proceedings of the fifth IEEE international symposium on requirements engineering (RE \u201901). IEEE Computer Society, Washington, DC, p 249"},{"key":"83_CR16","doi-asserted-by":"crossref","unstructured":"Whittle J, Araujo J (2004) Scenario modeling with aspects. IEE Proce Softw 151(4):157\u2013172","DOI":"10.1049\/ip-sen:20040921"},{"key":"83_CR17","unstructured":"Chitchyan R, Rashid A, Sawyer P (2005) Comparing requirements engineering approaches for handling crosscutting concerns. In: Workshop on requirements engineering (held with CAiSE), Porto, Portugal"},{"key":"83_CR18","volume-title":"A comprehensive grammar of the English language","author":"R Quirk","year":"1985","unstructured":"Quirk R (1985) A comprehensive grammar of the English language. Longmans, London, New York"},{"key":"83_CR19","unstructured":"Sommerville I (2004) Software engineering, 7 edn. Addison-Wesley, USA"},{"issue":"4","key":"83_CR20","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/978-3-540-75162-5_2","volume":"3","author":"A Sampaio","year":"2007","unstructured":"Sampaio A, Rashid A, Chitchyan R, Rayson P (2007) Ea-miner: Towards automation in aspect-oriented requirements engineering. Trans Aspect-Oriented Softw Dev 3(4):4\u201339","journal-title":"Trans Aspect-Oriented Softw Dev"},{"key":"83_CR21","unstructured":"Chitchyan R, Rashid A (2006) Tracing requirements interdependency semantics. In: Proceedings of the workshop on early aspects (held with fifth international conference on Aspect-Oriented Software Development (AOSD 06)), Bonn, Germany, pp 11\u201318"},{"key":"83_CR22","doi-asserted-by":"crossref","unstructured":"Chitchyan R, Pinto M, Rashid A, Fuentes L (2007) Compass: composition-centric mapping of aspectual requirements to architecture. Trans AOSD 1(4):3\u201353","DOI":"10.1007\/978-3-540-77042-8_2"},{"key":"83_CR23","unstructured":"Boyd S, Zowghi D, Farroukh A (2005) Measuring the expressiveness of a CNL: an empirical study. In: RE \u201905: proceedings of the 13th IEEE international conference on requirements engineering. IEEE Computer Society, Washington, DC, pp 339\u2013352"},{"key":"83_CR24","doi-asserted-by":"crossref","unstructured":"Berry D, Kamsties E (2004) Ambiguity in requirements specifications. Perspecttives on requirements engineering. Kluwer, Dordrecht, pp 7\u201344","DOI":"10.1007\/978-1-4615-0465-8_2"},{"key":"83_CR25","doi-asserted-by":"crossref","unstructured":"Kamsties E (2005) Understanding ambiguity in requirements engineering. In: Aurem A, Wohlin C (eds) Engineering and managing software requirements. Springer, Berlin, pp 245\u2013266","DOI":"10.1007\/3-540-28244-0_11"},{"key":"83_CR26","doi-asserted-by":"crossref","unstructured":"Somers H (2003) Computers and Translation: A Translator\u2019s Guide. John Benjamins Publishing Company, Amsterdam","DOI":"10.1075\/btl.35"},{"key":"83_CR27","unstructured":"Alqvist I, Hein AS (1996) Defining scaniaswedish\u2014a controlled language for truck maintenance. In: International workshop on controlled language applications (CLAW96). Universiteit Leuven Centre for Computational Linguistics, Leuven, pp 159\u2013167"},{"issue":"7","key":"83_CR28","first-page":"21","volume":"7","author":"U Muegge","year":"2007","unstructured":"Muegge U (2007) Controlled language: the next big thing in translation? ClientSide News Mag 7(7):21\u201324","journal-title":"ClientSide News Mag"},{"key":"83_CR29","unstructured":"Sommerville I, Sawyer P (1997) Requirements engineering: a good practice guide. Wiley, New York"},{"key":"83_CR30","unstructured":"Chitchyan R, Sampaio A, Rashid A, Sawyer P, Khan SS (2006) Initial version of aspect-oriented requirements engineering model. Technical Report AOSD-Europe Deliverable D36, AOSD-Europe-ULANC-17, Lancaster University, 14 February 2006"},{"key":"83_CR31","unstructured":"Rayson P (2008) Wmatrix: a web-based corpus processing environment. Technical report, Computing Department, Lancaster University"},{"key":"83_CR32","unstructured":"Prover9. Home page of the prover9 theorem prover. http:\/\/www.cs.unm.edu\/mccune\/mace4\/"},{"key":"83_CR33","doi-asserted-by":"crossref","unstructured":"Araujo J, Whittle J, Kim D-K (2004) Modeling and composing scenario-based requirements with aspects. In: RE \u201904: proceedings of the requirements engineering conference, 12th IEEE international. IEEE Computer Society, Washington, DC, pp 58\u201367","DOI":"10.1109\/ICRE.2004.1335664"},{"key":"83_CR34","doi-asserted-by":"crossref","unstructured":"Laney R, Barroca L, Jackson M, Nuseibeh B (2004) Composing requirements using problem frames. In: RE \u201904: proceedings of the requirements engineering conference, 12th IEEE international. IEEE Computer Society, Washington, DC, pp 122\u2013131","DOI":"10.1109\/ICRE.2004.1335670"},{"key":"83_CR35","doi-asserted-by":"crossref","unstructured":"Brito IS, Vieira F, Moreira A, Ribeiro R (2007) Handling conflicts in aspectual requirements compositions. Trans Aspect Oriented Softw Dev (TAOSD) 24(11):908\u2013926","DOI":"10.1007\/978-3-540-75162-5_6"},{"key":"83_CR36","unstructured":"Nelken R, Francez N (1996) Automatic translation of natural language system specifications. In: CAV \u201996: proceedings of the 8th international conference on computer aided verification. Springer-Verlag, London, pp 360\u2013371"},{"key":"83_CR37","doi-asserted-by":"crossref","unstructured":"Katz S, Rashid A (2004) From aspectual requirements to proof obligations for aspect-oriented systems. In: RE \u201904: proceedings of the requirements engineering conference, 12th IEEE international (RE\u201904). IEEE Computer Society, Washington, DC, pp 48\u201357","DOI":"10.1109\/ICRE.2004.1335663"},{"issue":"6","key":"83_CR38","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1145\/605466.605485","volume":"27","author":"E Letier","year":"2002","unstructured":"Letier E, van Lamsweerde A (2002) Deriving operational software specifications from system goals. SIGSOFT Softw Eng Notes 27(6):119\u2013128","journal-title":"SIGSOFT Softw Eng Notes"},{"issue":"2\u20133","key":"83_CR39","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/0004-3702(90)90053-3","volume":"42","author":"A Galton","year":"1990","unstructured":"Galton A (1990) A critical examination of allen\u2019s theory of action and time. Artif Intell 42(2\u20133):159\u2013188","journal-title":"Artif Intell"},{"issue":"1","key":"83_CR40","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/j.knosys.2006.07.002","volume":"20","author":"F Gomez","year":"2007","unstructured":"Gomez F, Segami C (2007) Semantic interpretation and knowledge extraction. Know Based Syst 20(1):51\u201360","journal-title":"Know Based Syst"}],"container-title":["Requirements Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-009-0083-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00766-009-0083-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-009-0083-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,14]],"date-time":"2024-03-14T03:36:35Z","timestamp":1710387395000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00766-009-0083-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6,3]]},"references-count":40,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2009,12]]}},"alternative-id":["83"],"URL":"https:\/\/doi.org\/10.1007\/s00766-009-0083-y","relation":{},"ISSN":["0947-3602","1432-010X"],"issn-type":[{"value":"0947-3602","type":"print"},{"value":"1432-010X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,6,3]]}}}