Jiadong Teng

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Relevant Concepts

Logical Formulas

Aspect Oriented Programming

Image Decomposition

Top Venues

Publications

Zhiming Liu, Jiadong Teng, Bo Liu
Multi-dimensional Abstraction and Decomposition for Separation of Concerns. SETTA (2023)
Zhiming Liu, Jiadong Teng, Bo Liu
Formal Aspects of Component Software - An Overview on Concepts and Relations of Different Theories. FACS (2023)