Multi-dimensional Abstraction and Decomposition for Separation of Concerns

Zhiming Liu 0001, Jiadong Teng, Bo Liu 0033. Multi-dimensional Abstraction and Decomposition for Separation of Concerns. In Holger Hermanns, Jun Sun 0001, Lei Bu, editors, Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings. Volume 14464 of Lecture Notes in Computer Science, pages 152-170, Springer, 2023. [doi]

Authors

Zhiming Liu 0001

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

Jiadong Teng

This author has not been identified. Look up 'Jiadong Teng' in Google

Bo Liu 0033

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