DevFemOps: enhancing maintainability based on microservices using formal engineering methods

Tetsuo Fukuzaki, Shaoying Liu, Michael Butler. DevFemOps: enhancing maintainability based on microservices using formal engineering methods. Connect. Sci., 34(1):2125-2138, 2022. [doi]

Abstract

Abstract is missing.