{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T13:57:40Z","timestamp":1775915860923,"version":"3.50.1"},"reference-count":62,"publisher":"World Scientific Pub Co Pte Lt","issue":"10","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2019,10]]},"abstract":"<jats:p> Agile methods have provided significant contributions to Software Engineering. This work presents a new process for Software Requirements Specification, integrating Agile Properties and regulated environments, such as aviation, medical, nuclear and automotive, among others. The Software in Regulated Environments (SRE) involves plan-driven methods with needed documentation to ensure safety, reliability, security, and discipline. This paper proposes a balance between agile and plan-driven methods. We define a new process, which explores and investigates the usage of agile methods in SRE. The scope of this paper is Requirements Engineering, which is considered as a set of activities involved in the management, elicitation, documentation, and maintenance of requirements. The Adile Requirements Specification (ARES) process contains four methods, 13 activities, and some required artifacts to ensure compliance with the following six relevant Software Standards for regulated environments: RTCA DO-178C, IEC 62304:2015, ECSS-E-ST-40C, IEC 61508-3, ISO\/IEC\/IEEE 12207, and IAEA SSG-39. The process evaluation was performed using two experiments: a Cockpit Display System (CDS) and a Healthcare Information System (HIS). These experiments were measured with appropriate metrics to ensure improvements in Software Requirements Specification and traceability among artifacts. The experimental results revealed that the ARES process works better than the original Scrum for Software in Regulated Environments. The ARES process can also be integrated with traditional software life cycles (Waterfall, V, and Incremental and Iterative), when applied in the Requirements Engineering phase. <\/jats:p>","DOI":"10.1142\/s021819401950044x","type":"journal-article","created":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T08:54:21Z","timestamp":1572598461000},"page":"1403-1438","source":"Crossref","is-referenced-by-count":10,"title":["ARES: An Agile Requirements Specification Process for Regulated Environments"],"prefix":"10.1142","volume":"29","author":[{"given":"Johnny","family":"Marques","sequence":"first","affiliation":[{"name":"Department of Computer Science, Instituto Tecnol\u00f3gico de Aeron\u00e1utica, Pra\u00e7a Marechal Eduardo Gomes 50, Sao Jose dos Campos, Sp 12228-900, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adilson Marques","family":"da Cunha","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Instituto Tecnol\u00f3gico de Aeron\u00e1utica, Pra\u00e7a Marechal Eduardo Gomes 50, Sao Jose dos Campos, Sp 12228-900, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2019,11,1]]},"reference":[{"key":"S021819401950044XBIB001","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-95174-4_32"},{"key":"S021819401950044XBIB002","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24291-5"},{"key":"S021819401950044XBIB005","volume-title":"Software Requirements","author":"Wiegers K.","year":"2013"},{"key":"S021819401950044XBIB006","volume-title":"Software Engineering: A Practitioner\u2019s Approach","author":"Pressman R.","year":"2014","edition":"8"},{"key":"S021819401950044XBIB007","doi-asserted-by":"publisher","DOI":"10.3390\/e20050372"},{"key":"S021819401950044XBIB008","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1204375"},{"key":"S021819401950044XBIB009","volume-title":"Balancing Agility and Discipline: A Guide for the Perplexed","author":"Boehm B.","year":"2004"},{"key":"S021819401950044XBIB010","volume-title":"Agile Software Development with Scrum","author":"Schwaber K.","year":"2001"},{"key":"S021819401950044XBIB011","volume-title":"Extreme Programming Explained: Embrace Change","author":"Beck K.","year":"2004"},{"key":"S021819401950044XBIB012","series-title":"Agile Software Development Series","volume-title":"Crystal Clear: A Human-Powered Methodology for Small Teams","author":"Cockburn A.","year":"2004"},{"key":"S021819401950044XBIB013","volume-title":"A Practical Guide to Feature Driven Development","author":"Palmer S.","year":"2002"},{"key":"S021819401950044XBIB014","volume-title":"Test-Driven Development: A Practical Guide","author":"Astels D.","year":"2003"},{"key":"S021819401950044XBIB015","volume-title":"DSDM: Dynamic Systems Development Method \u2014 The Method in Practice","author":"Stapleton J.","year":"1997"},{"key":"S021819401950044XBIB016","volume-title":"Adaptive Software Development: A Collaborative Approach to Managing Complex Systems","author":"Highsmith J.","year":"1999"},{"key":"S021819401950044XBIB017","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2016.06.013"},{"key":"S021819401950044XBIB018","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2009.145"},{"key":"S021819401950044XBIB019","first-page":"1","volume":"30","author":"Bhansali P. V.","year":"2009","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"key":"S021819401950044XBIB026","volume-title":"Proc. IEEE\/AIAA 32nd Digital Avionics Systems Conf.","author":"Marques J.","year":"2013"},{"key":"S021819401950044XBIB027","volume-title":"Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance","author":"Rierson L.","year":"2013"},{"key":"S021819401950044XBIB028","volume-title":"Proc. PCIC Europe Conf. Record","author":"Knochenhauer M.","year":"2010"},{"key":"S021819401950044XBIB029","volume-title":"Proc. Int. Conf. Quality, Reliability, Risk, Maintenance, and Safety Engineering","author":"Ismail A.","year":"2010"},{"key":"S021819401950044XBIB030","volume-title":"Proc. 20th IEEE Int. Workshops Enabling Technologies: Infrastructure for Collaborative Enterprises","author":"Paetsch F.","year":"2003"},{"key":"S021819401950044XBIB031","volume-title":"Agile Development Methods and DO-178B Certification","author":"Chisholm R.","year":"2007"},{"key":"S021819401950044XBIB032","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87698-4_6"},{"key":"S021819401950044XBIB033","doi-asserted-by":"publisher","DOI":"10.1109\/Agile.2008.52"},{"key":"S021819401950044XBIB034","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368164"},{"key":"S021819401950044XBIB035","volume-title":"Proc. IEEE\/AIAA 28th Digital Avionics Systems Conf.","author":"VanderLeest S.","year":"2013"},{"key":"S021819401950044XBIB036","doi-asserted-by":"publisher","DOI":"10.1109\/CSO.2009.191"},{"key":"S021819401950044XBIB037","doi-asserted-by":"publisher","DOI":"10.1109\/AGILE.2010.10"},{"issue":"3","key":"S021819401950044XBIB038","first-page":"212","volume":"2","author":"De Lucia A.","year":"2010","journal-title":"J. Emerg. Technol. Web Intell."},{"key":"S021819401950044XBIB040","doi-asserted-by":"publisher","DOI":"10.1109\/FormSERA.2012.6229784"},{"key":"S021819401950044XBIB041","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW.2012.80"},{"key":"S021819401950044XBIB042","doi-asserted-by":"publisher","DOI":"10.1109\/SEHC.2013.6602471"},{"key":"S021819401950044XBIB043","volume-title":"Proc. 35th Int. Conf. Software Engineering","author":"FitzBrian B.","year":"2013"},{"key":"S021819401950044XBIB044","doi-asserted-by":"publisher","DOI":"10.1109\/ITMC.2014.6918615"},{"key":"S021819401950044XBIB045","doi-asserted-by":"publisher","DOI":"10.1109\/ICCNEEE.2015.7381425"},{"key":"S021819401950044XBIB046","volume-title":"Proc. European Safety and Reliability Conf.","author":"Stalhane T.","year":"2012"},{"key":"S021819401950044XBIB047","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.2016.7448075"},{"issue":"6","key":"S021819401950044XBIB048","first-page":"46","volume":"7","author":"Hayat M.","year":"2015","journal-title":"Int. J. Inf. Eng. Electron. Bus."},{"key":"S021819401950044XBIB049","volume-title":"CMMI for Development: Guidelines for Process Integration and Product Improvement","author":"Chrissis M.","year":"2011"},{"key":"S021819401950044XBIB050","doi-asserted-by":"publisher","DOI":"10.1109\/ICPCSI.2017.8391892"},{"key":"S021819401950044XBIB051","doi-asserted-by":"publisher","DOI":"10.1109\/REW.2017.64"},{"key":"S021819401950044XBIB052","doi-asserted-by":"publisher","DOI":"10.1109\/R10-HTC.2017.8289039"},{"key":"S021819401950044XBIB053","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2017.250"},{"key":"S021819401950044XBIB054","doi-asserted-by":"publisher","DOI":"10.1109\/AffectRE.2018.00007"},{"key":"S021819401950044XBIB055","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2018.00073"},{"key":"S021819401950044XBIB056","doi-asserted-by":"publisher","DOI":"10.1109\/ProComm.2018.00033"},{"key":"S021819401950044XBIB057","volume-title":"Agile Software Requirements: Lean Requirements Practices for Teams, Programs, and the Enterprise","author":"Leffingwell D.","year":"2011"},{"key":"S021819401950044XBIB058","doi-asserted-by":"publisher","DOI":"10.1145\/3131704.3131716"},{"key":"S021819401950044XBIB059","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194016500054"},{"key":"S021819401950044XBIB060","doi-asserted-by":"publisher","DOI":"10.1142\/S021819401250009X"},{"key":"S021819401950044XBIB061","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194011005372"},{"key":"S021819401950044XBIB062","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29044-2"},{"key":"S021819401950044XBIB063","volume-title":"Proc. 33rd Digital Avionics System Conf.","author":"Coelho R.","year":"2014"},{"key":"S021819401950044XBIB064","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2791344"},{"key":"S021819401950044XBIB065","doi-asserted-by":"publisher","DOI":"10.1016\/j.csi.2017.02.003"},{"key":"S021819401950044XBIB066","volume-title":"Proc. 14th Information Technology Conf.: New Generations","author":"Siles L.","year":"2017"},{"key":"S021819401950044XBIB067","doi-asserted-by":"publisher","DOI":"10.1109\/IWSM.Mensura.2014.56"},{"key":"S021819401950044XBIB068","volume-title":"Agile Application Life Cycle Management","author":"Aiello R.","year":"2016"},{"key":"S021819401950044XBIB069","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194017500085"},{"key":"S021819401950044XBIB070","volume-title":"Proc. 9th Int. Conf. Software Engineering","author":"Royce W.","year":"1987"},{"key":"S021819401950044XBIB071","volume-title":"Software Engineering","author":"Sommerville I.","year":"2010"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S021819401950044X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T08:54:32Z","timestamp":1572598472000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S021819401950044X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10]]},"references-count":62,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2019,10]]}},"alternative-id":["10.1142\/S021819401950044X"],"URL":"https:\/\/doi.org\/10.1142\/s021819401950044x","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,10]]}}}