@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00212698,
 author = {福﨑, 哲郎 and 劉, 少英 and Tetsuo, Fukuzaki and Shaoying, Liu},
 book = {ソフトウェアエンジニアリングシンポジウム2021論文集},
 month = {Aug},
 note = {ソフトウェアサービスを安全に進化させながら息の長いものにするにはどうすればいいだろうか．マイクロサービスを前提に設計することで，サービス間が疎結合となり，システムの変更箇所を局所化し，変更速度を早めることができる．しかし，中長期的視点に立った場合，変化するプロジェクト要員の中で，技術トレンドの変化，法改正を含めたビジネス上の変化，ユーザー要件の変化などに対応することは容易ではない．私は，保守容易性を高め，継続的に品質向上を実現する方法として DevFemOps を提案する．DevFemOps は，DevOps サイクルの中心に形式工学手法（Formal Engineering Methods）を据えた造語である．また，アジャイル開発におけるスクワッド内に製品の品質に責任を持つ新たな役割として DevFemOps QA エンジニアを定義する．本論文では，QA エンジニアを中心にどのように DevOps サイクルを回せば，DevFemOps で目指すゴールに近づくことができるかを述べる．, 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 localize 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. I 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, I will describe how the DevOps cycle, with QA engineers at the center, can bring us closer to the goal of DevFemOps.},
 pages = {151--156},
 publisher = {情報処理学会},
 title = {DevFemOps: 形式的工学手法を用いたマイクロサービスに基づく保守性の向上},
 volume = {2021},
 year = {2021}
}