{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T18:06:11Z","timestamp":1746209171284},"reference-count":15,"publisher":"World Scientific Pub Co Pte Lt","issue":"01","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2009,2]]},"abstract":"<jats:p> One of the main ideas of agile development is to perform continuous integration, in order to detect and resolve conflicts among several modular units of a system as soon as possible. Whereas this feature is well catered for at the level of programming source code, the support available in formal specification environments is still rather unsatisfactory: it is possible to analyze the composition of several modular units automatically, but no assistance is given to help modify them in case of problems. Instead, the stakeholders who build the specifications are forced to attempt manual changes until reaching the desired functionality, in a process that is far from being intuitive. In response to that, this paper presents procedures and algorithms that automate the whole process of doing integration analyses and generating revisions to solve the diagnosed problems. These mechanisms serve to complete an agile specification environment presented in a previous paper, which was designed around the principle of facilitating the creative efforts of the stakeholders. <\/jats:p>","DOI":"10.1142\/s0218194009004106","type":"journal-article","created":{"date-parts":[[2009,5,29]],"date-time":"2009-05-29T04:46:28Z","timestamp":1243572388000},"page":"47-78","source":"Crossref","is-referenced-by-count":1,"title":["PROCEDURES AND ALGORITHMS FOR CONTINUOUS INTEGRATION IN AN AGILE SPECIFICATION ENVIRONMENT"],"prefix":"10.1142","volume":"19","author":[{"given":"MART\u00cdN","family":"L\u00d3PEZ-NORES","sequence":"first","affiliation":[{"name":"Department of Telematics Engineering, University of Vigo, ETSE Telecomunicaci\u00f3n, Campus Universitario s\/n, 36310 Vigo, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"JOS\u00c9 J.","family":"PAZOS-ARIAS","sequence":"additional","affiliation":[{"name":"Department of Telematics Engineering, University of Vigo, ETSE Telecomunicaci\u00f3n, Campus Universitario s\/n, 36310 Vigo, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"JORGE","family":"GARC\u00cdA-DUQUE","sequence":"additional","affiliation":[{"name":"Department of Telematics Engineering, University of Vigo, ETSE Telecomunicaci\u00f3n, Campus Universitario s\/n, 36310 Vigo, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"YOLANDA","family":"BLANCO-FERN\u00c1NDEZ","sequence":"additional","affiliation":[{"name":"Department of Telematics Engineering, University of Vigo, ETSE Telecomunicaci\u00f3n, Campus Universitario s\/n, 36310 Vigo, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"REBECA P.","family":"D\u00cdAZ-REDONDO","sequence":"additional","affiliation":[{"name":"Department of Telematics Engineering, University of Vigo, ETSE Telecomunicaci\u00f3n, Campus Universitario s\/n, 36310 Vigo, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ANA","family":"FERN\u00c1NDEZ-VILAS","sequence":"additional","affiliation":[{"name":"Department of Telematics Engineering, University of Vigo, ETSE Telecomunicaci\u00f3n, Campus Universitario s\/n, 36310 Vigo, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ALBERTO","family":"GIL-SOLLA","sequence":"additional","affiliation":[{"name":"Department of Telematics Engineering, University of Vigo, ETSE Telecomunicaci\u00f3n, Campus Universitario s\/n, 36310 Vigo, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MANUEL","family":"RAMOS-CABRER","sequence":"additional","affiliation":[{"name":"Department of Telematics Engineering, University of Vigo, ETSE Telecomunicaci\u00f3n, Campus Universitario s\/n, 36310 Vigo, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"key":"rf1","volume-title":"Agile Software Development Methods: Review and Analysis","author":"Abrahamsson P.","year":"2002"},{"key":"rf6","volume-title":"Extreme Programming Examined","author":"Boger M.","year":"2001"},{"key":"rf7","doi-asserted-by":"publisher","DOI":"10.1109\/32.859530"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-004-0209-1"},{"key":"rf12","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(03)00067-0"},{"key":"rf14","unstructured":"H.\u00a0Giese and F.\u00a0Klein, Autonomous Shuttle System Case Study, Lecture Notes in Computer Science\u00a03466 (2004)\u00a0pp. 90\u201394."},{"key":"rf18","volume-title":"Feature Interaction in Telecommunications and Software Systems VI","author":"Lennox J.","year":"2000"},{"key":"rf19","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194006003075"},{"key":"rf22","series-title":"Intl. Series in Computer Science","volume-title":"Communication and Concurrency","author":"Milner R.","year":"1989"},{"key":"rf23","doi-asserted-by":"publisher","DOI":"10.1145\/1218063.1217964"},{"key":"rf25","doi-asserted-by":"publisher","DOI":"10.1007\/PL00003939"},{"key":"rf26","volume":"30","author":"Pazos-Arias J.","journal-title":"ACM Software Engineering Notes"},{"key":"rf28","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-47853-1_7"},{"key":"rf33","doi-asserted-by":"publisher","DOI":"10.1145\/1109118.1109120"},{"key":"rf36","doi-asserted-by":"publisher","DOI":"10.1145\/1005561.1005563"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194009004106","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T16:13:50Z","timestamp":1565194430000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194009004106"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,2]]},"references-count":15,"journal-issue":{"issue":"01","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[2009,2]]}},"alternative-id":["10.1142\/S0218194009004106"],"URL":"https:\/\/doi.org\/10.1142\/s0218194009004106","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,2]]}}}