Robuta

https://www.jsjkx.com/EN/10.11896/j.issn.1002-137X.2017.07.026 Method of Software Architecture Refinement Based on Algebraic Semantics software architecture based on algebraic semantics method refinement