vix.ing · top · new · best · stats · spec

Zhao, Jianhong

  1. KBX: Verified Model Synchronization via Formal Bidirectional Transformation
    2024/04/29 by Jianhong Zhao, Zhao, Jianhong, Yongwang Zhao +9 · 1 citation
    Computer Science · #FOS: Computer and information sciences #Model-Driven Software Engineering Techniques #Semantic Web and Ontologies #Service-Oriented Architecture and Web Services #Software Engineering (cs.SE)