承担国家项目资助发文

评价性排序:

共有记录30条

序号	题名	作者	文献来源	发表年份	被引频次	下载频次
1	基于组件的逐步求精程序设计方法	郑建丹	中国优秀博硕士学位论文全文数据库 (硕士)	2001	4	74
2	UML与ADLs在软件体系结构建模中的应用	张玲红	中国优秀博硕士学位论文全文数据库 (硕士)	2004	3	168
3	基于时序逻辑语言XYZ/E的CA认证系统描述与求精	刘俭云	中国优秀博硕士学位论文全文数据库 (硕士)	2005	3	28
4	LTLC：面向实时与混成系统的连续时序逻辑	李广元	中国优秀博硕士学位论文全文数据库 (博士)	2001	6	88
5	UML与XYZ／ADL在电梯控制系统体系结构建模中的应用	张玲红;张广泉;朱雪阳;戎玫;何玉乾;	企业应用集成系统与技术学术研究会	2006	0	27
6	体系结构描述语言XYZ/ADL到UML的映射	陈琳琳;戎玫;张广泉;	计算机应用	2006	3	226
7	XYZ/ADL到UML的一种映射方法	陈琳琳;张广泉;	苏州大学学报(自然科学版)	2006	1	33
8	基于线性时序逻辑的实时系统建模与求精	张广泉;	小型微型计算机系统	2006	5	72
9	基于XYZ/ADL描述的选修课管理系统体系结构	刘珊艳;	云南师范大学学报(自然科学版)	2006	0	29
10	UML 2.0顺序图的XYZ/E时序逻辑语义研究	黄正宝;张广泉;	计算机科学	2006	7	87
11	基于XYZ/E的CA认证系统描述与求精	刘俭云;张广泉;戎玫;	计算机科学	2006	1	24
12	一种新型的软件体系结构描述方法研究	黄正宝;张广泉;	微电子学与计算机	2006	4	134
13	基于时序逻辑语言描述的监控系统的软件体系结构求精	张广泉 ,戎玫 ,晏荣杰	计算机工程与应用	2003	12	54
14	一种基于构件的软件体系结构求精方法及其应用	晏荣杰,张广泉	重庆师范学院学报(自然科学版)	2003	6	45
15	基于UML的图书管理系统体系结构模型及实现	张广泉,刘艳	重庆师范大学学报(自然科学版)	2005	15	834

1 2 下页