Qian Yu

基于关联矩阵的软件演化过程结构验证 (Structure Verification Method for Software Evolution Process Based on Incidence Matrix)

Yong Yu, Jinzhuo Liu, Zhongwen Xie, 2015, 计算机科学.

Towards an Algebraic Semantics of Software Evolution Process Models: Towards an Algebraic Semantics of Software Evolution Process Models

Yong Yu, Fei Dai, Na Zhao, 2012 .

Evolution of cooperation on independent networks: The influence of asymmetric information sharing updating mechanism

Wei Wang, Jinzhuo Liu, Zhongwen Xie, 2019, Appl. Math. Comput..

一种面向同步交互的软件演化过程建模方法 (Approach to Modeling Software Evolution Process for Synchronous Interaction)

Tong Li, Yong Yu, Qian Yu, 2016, 计算机科学.

A formal meta-model of software process

Tong Li, Fei Dai, Zhongwen Xie, 2010, The 2nd International Conference on Information Science and Engineering.

Research on Information Technology with Transformation Method of Activity from EPMM-Based Software Evolution Process Model to its Execution Model

Fei Dai, Na Zhao, Xuan Zhang, 2014 .

Completeness set proof of precondition and post-condition types of activity in any EPM

Yong Yu, Tong Li, Jinzhuo Liu, 2013, Other Conferences.