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]

Authors

Tetsuo Fukuzaki

This author has not been identified. Look up 'Tetsuo Fukuzaki' in Google

Shaoying Liu

This author has not been identified. Look up 'Shaoying Liu' in Google

Michael Butler

This author has not been identified. Look up 'Michael Butler' in Google