.png){kind=icon}
.png){kind=icon}
Return
DevFemOps: enhancing maintainability based on microservices using formal engineering methods
.png){kind=icon}
PRE
AI
DOI：10.1080/09540091.2022.2099347.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
How can we make software services evolve safely and be long-lived? By designing on the premise of microservices, the services become loosely coupled, which can localise the changes in the system and accelerate the changes. However, from a medium- to long-term perspective, it is not easy to respond to changes in technology trends, business changes including legal revisions, and changes in user requirements among the changing project members. We propose DevFemOps as a way to enhance maintainability and achieve continuous quality improvement, coining the term DevFemOps to place Formal Engineering Methods at the center of the DevOps cycle. We also define the DevFemOps QA engineer as a new role within the agile development squad that is responsible for the quality of the product. In this paper, we will describe how the DevOps cycle, with QA engineers at the center, can bring us closer to the goal of DevFemOps.
Keywords:
Formal methods
formal engineering methods
microservices
agile development
devops
Journal
IF:
3.4
Papers:
843
Citations:
1.5K