ZHANG Shu@School of Computer Science and Technology Soochow University Suzhou 215006 China;
Archives of Yunnan Normal University Kunming 650092 China--RONG Mei@Tourism College Jinan University Shenzhen 518053 China--ZHANG Guangquan@School of Computer Science and Technology Soochow University Suzhou 215006 China;
School of Mathematics and Computer Science Chongqing Normal University Chongqing 400047 China--CAO Jinming@School of Mathematics and Computer Science Chongqing Normal University Chongqing 400047 China--;
UML2.0 communication diagram; formal method; XYZ/E; embedded software; high-confidence software engineering;
机译:模型检查使用实时时间逻辑RTCTL及其在真正的微控制器软件应用程序的实时性能
机译:用户界面过渡图,用于改善软件开发项目中的客户与开发人员之间的沟通
机译:高信心医疗设备软件开发
机译:基于时间描述逻辑的UML2.0序列图的语义研究
机译:基于自适应模糊逻辑的软件开发工作量预测框架
机译:基于逻辑的巨噬细胞激活关键信号通路图
机译:基于使用状态转换图的描述规范的嵌入式软件开发方法