{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:41:44Z","timestamp":1750308104138,"version":"3.41.0"},"reference-count":9,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2005,5,15]],"date-time":"2005-05-15T00:00:00Z","timestamp":1116115200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2005,7]]},"abstract":"<jats:p>Requirements specification is a stage of software development in which the different concerns involved with a system are especially present. Commonly, the specification is conceived as an incremental process, in which the developers progressively add requirements until reaching a description of the system that satisfies their needs and expectations. In this paper, we introduce a semi-automated approach to locate crosscutting concerns at intermediate stages of such an incremental process. The aim is to help the developers go on with the specification tasks by focusing effectively their reasoning, avoiding phenomena of tangling and scattering.<\/jats:p>","DOI":"10.1145\/1082983.1083130","type":"journal-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T19:28:32Z","timestamp":1131391712000},"page":"1-5","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Locating crosscutting concerns in the formal specification of distributed reactive systems"],"prefix":"10.1145","volume":"30","author":[{"given":"Jos\u00e9 J.","family":"Pazos-Arias","sequence":"first","affiliation":[{"name":"University of Vigo, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge","family":"Garc\u00eda-Duque","sequence":"additional","affiliation":[{"name":"University of Vigo, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mart\u00edn","family":"L\u00f3pez-Nores","sequence":"additional","affiliation":[{"name":"University of Vigo, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,5,15]]},"reference":[{"key":"e_1_2_1_1_1","first-page":"45","volume-title":"Proceedings of FOAL '04 Workshop on Foundations of Aspect-Oriented Languages","author":"Altisen K.","year":"2004"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/998675.999390"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/555644"},{"key":"e_1_2_1_4_1","first-page":"37","volume-title":"Proceedings of FOAL'04 Workshop on Foundations of Aspect-Oriented Languages","author":"Katara M.","year":"2004"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11494881_10"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/976270.976272"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/PL00003939"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/643603.643605"},{"key":"e_1_2_1_9_1","first-page":"49","volume-title":"Proceedings of Workshop on Early Aspects, in conjunction with OOPSLA'04","author":"Rosenhainer L.","year":"2004"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1082983.1083130","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1082983.1083130","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:05Z","timestamp":1750262885000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1082983.1083130"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,5,15]]},"references-count":9,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2005,7]]}},"alternative-id":["10.1145\/1082983.1083130"],"URL":"https:\/\/doi.org\/10.1145\/1082983.1083130","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1083125.1083130","asserted-by":"subject"}]},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2005,5,15]]},"assertion":[{"value":"2005-05-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}