Formal Aspects of Component Software - An Overview on Concepts and Relations of Different Theories. - Zhiming Liu 001; Jiadong Teng; Bo Liu 033 (FACS, 2023)

Multi-dimensional Abstraction and Decomposition for Separation of Concerns. - Zhiming Liu 001; Jiadong Teng; Bo Liu 033 (SETTA, 2023)