事件轨迹相关硕士博士期刊学术论文

在基于构件的软件开发方法中，系统行为通过构件与构件之间的交互得以实现，因此如何形式化构件行为是一个重要的研究课题。提出一种基......