1. Research with MATF
  2. MATF
  3. Research outputs
Please use this identifier to cite or link to this item: https://research.matf.bg.ac.rs/handle/123456789/1631
DC FieldValueLanguage
dc.contributor.authorVujošević Janičić, Milenaen_US
dc.date.accessioned2025-03-13T07:36:39Z-
dc.date.available2025-03-13T07:36:39Z-
dc.date.issued2021-
dc.identifier.urihttps://research.matf.bg.ac.rs/handle/123456789/1631-
dc.description.abstractIn agile software development, software maintenance is present almost from the beginning of software development life cycle and is usually considered together with software evolution. Making changes in software, either as corrective, preventive, adaptive or perfective maintenance, comes with additional risks and costs. In this paper, we discuss formal static software verification approaches and their influence on triggering software maintenance processes and on lowering costs and risks through automating regression verification checks. We also discuss software maintainability as a key software quality attribute in context of the overall software quality and describe the effects of software refactoring to maintainability. We present formal static verification approaches that can support the refactoring process.en_US
dc.language.isoenen_US
dc.publisherBelgrade : Institute for research and design in industryen_US
dc.relation.ispartofScience of Maintenance Journalen_US
dc.rightsAttribution 4.0 United States*
dc.rights.urihttp://creativecommons.org/licenses/by/3.0/us/*
dc.subjectsoftware maintainanceen_US
dc.subjectmaintainabilityen_US
dc.subjectsoftware verificationen_US
dc.subjectsoftware refactoringen_US
dc.titleMaintenance and maintainability within agile software developmenten_US
dc.typeArticleen_US
dc.identifier.urlhttps://m-sci.rs/articles_pdf/maintenance_and_maintainability_within_agile_software_development.pdf-
dc.contributor.affiliationInformatics and Computer Scienceen_US
dc.relation.issn2787-3072en_US
dc.relation.firstpage9en_US
dc.relation.lastpage19en_US
dc.relation.volume1en_US
dc.relation.issue1-2en_US
item.languageiso639-1en-
item.grantfulltextnone-
item.fulltextNo Fulltext-
item.openairetypeArticle-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.cerifentitytypePublications-
crisitem.author.deptInformatics and Computer Science-
crisitem.author.orcid0000-0001-5396-0644-
Appears in Collections:Research outputs
Show simple item record

Google ScholarTM

Check


This item is licensed under a Creative Commons License Creative Commons