{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:47:00Z","timestamp":1760586420882},"reference-count":40,"publisher":"World Scientific Pub Co Pte Lt","issue":"06","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2006,12]]},"abstract":"<jats:p> Software development can be seen as a process of knowledge acquisition, in which human beings progressively learn about the intended behavior of the desired systems. Thereby, development is subject to considerable amounts of uncertainty and variability, that make it impossible to proceed in a purely incremental fashion \u2014 at some points, the need always arises to reconsider part of the accumulated knowledge. With this problem in mind, agile development methodologies have been gaining popularity in recent years as a means to enhance productivity, and there have been attempts to supplement them with formal techniques for better reliability. However, the existing approaches to agile formal methods have practically limited themselves to adopting recommended practices of agile development, with no particular contribution from the employed formalisms. Compared to that, this paper advocates the use of formalisms intended for evolutionary development, with a two-fold objective: first, to exploit the knowledge acquired up to any given stage as a means to cope with frequent and numerous changes; and, second, to introduce support for the creative development tasks through an interactive procedure that helps taking steps forward. <\/jats:p>","DOI":"10.1142\/s0218194006003075","type":"journal-article","created":{"date-parts":[[2007,1,26]],"date-time":"2007-01-26T10:55:53Z","timestamp":1169808953000},"page":"951-986","source":"Crossref","is-referenced-by-count":7,"title":["BRINGING THE AGILE PHILOSOPHY TO FORMAL SPECIFICATION SETTINGS"],"prefix":"10.1142","volume":"16","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","doi-asserted-by":"publisher","DOI":"10.1109\/2.976920"},{"key":"rf4","series-title":"The Agile Software Development Series","volume-title":"Crystal Clear: A Human-Powered Methodology for Small Teams","author":"Cockburn A.","year":"2004"},{"key":"rf5","volume-title":"EXtreme Programming Explained: Embrace Change","author":"Beck K.","year":"2000"},{"key":"rf6","volume-title":"A Practical Guide to Feature-Driven Development","author":"Palmer S. R.","year":"2002"},{"key":"rf7","volume-title":"The Rational Unified Process: An Introduction","author":"Kruchten P.","year":"2000"},{"key":"rf8","volume-title":"Agile project management with Scrum","author":"Schwaber K.","year":"2004"},{"key":"rf9","volume-title":"Agile Software Development Methods. Review and Analysis","author":"Abrahamsson P.","year":"2002"},{"key":"rf10","volume-title":"Agile Software Development","author":"Cockburn A.","year":"2002"},{"key":"rf12","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-004-0209-1"},{"key":"rf16","volume-title":"Questioning eXtreme Programming","author":"McBreen P.","year":"2002"},{"key":"rf18","first-page":"22","volume":"29","author":"Jackson D.","journal-title":"IEEE Computer"},{"key":"rf20","unstructured":"M.\u00a0Boger, Extreme Modeling (Addison-Wesley, 2001)\u00a0pp. 175\u2013189."},{"key":"rf21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1007\/11495628_10","volume":"3466","author":"Bontemps Y.","year":"2005"},{"key":"rf24","doi-asserted-by":"publisher","DOI":"10.1145\/1109118.1109120"},{"key":"rf26","volume-title":"Model Checking","author":"Clarke E. M.","year":"2000"},{"key":"rf27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"332","DOI":"10.1007\/978-3-540-39910-0_16","volume":"2772","author":"Henzinger T. A.","year":"2004"},{"key":"rf30","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-004-0207-3"},{"key":"rf33","first-page":"226","volume":"8","author":"Banach R.","journal-title":"Requirements Engineering"},{"key":"rf37","doi-asserted-by":"publisher","DOI":"10.1007\/PL00003939"},{"key":"rf39","series-title":"Bibliotheca Mathematica","volume-title":"Introduction to Metamathematics","volume":"1","author":"Kleene S. C.","year":"1952"},{"key":"rf41","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1204375"},{"key":"rf43","doi-asserted-by":"publisher","DOI":"10.1049\/ip-sen:20030207"},{"key":"rf46","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/1.6.797"},{"key":"rf47","first-page":"1","volume":"12","author":"Chechik M.","journal-title":"ACM Trans. on Software Engineering and Methodology"},{"key":"rf50","volume":"30","author":"Pazos-Arias J. J.","journal-title":"ACM Software Engineering Notes"},{"key":"rf51","doi-asserted-by":"publisher","DOI":"10.1142\/S021819400500249X"},{"key":"rf53","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(03)00067-0"},{"key":"rf57","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-006-0028-7"},{"key":"rf58","series-title":"International Series in Computer Science","volume-title":"Communication and Concurrency","author":"Milner R.","year":"1989"},{"key":"rf59","doi-asserted-by":"publisher","DOI":"10.1080\/11663081.1993.10510806"},{"key":"rf61","doi-asserted-by":"publisher","DOI":"10.1109\/52.469758"},{"key":"rf64","doi-asserted-by":"publisher","DOI":"10.1007\/s10115-003-0125-6"},{"key":"rf65","volume-title":"Agile Modeling: Effective Practices for eXtreme Programming and the Unified Process","author":"Ambler S.","year":"2002"},{"key":"rf66","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018946223345"},{"key":"rf68","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/13.1.69"},{"key":"rf69","unstructured":"N. D.\u00a0Belnap, Modern Uses of Multiple-Valued Logic, eds. J. M.\u00a0Dunn and G.\u00a0Epstein (Reidel, 1977)\u00a0pp. 7\u201337."},{"key":"rf70","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2005.12.019"},{"key":"rf71","doi-asserted-by":"publisher","DOI":"10.1002\/spe.719"},{"key":"rf72","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exi076"},{"key":"rf73","first-page":"25","volume":"5","author":"Arieli O.","journal-title":"J. Logic, Language, and Information"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194006003075","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T12:17:44Z","timestamp":1565180264000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194006003075"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,12]]},"references-count":40,"journal-issue":{"issue":"06","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[2006,12]]}},"alternative-id":["10.1142\/S0218194006003075"],"URL":"https:\/\/doi.org\/10.1142\/s0218194006003075","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,12]]}}}