出处
《中国电梯》
2003年第4期42-43,共2页
China Elevator
同被引文献25
1 张玲红,戎玫,张广泉.UML在运输业务管理系统建模中的应用[J] .计算机工程与应用,2004,40(14):207-209. 被引量：12
2 肖美华,薛锦云.时态逻辑形式化描述并发系统性质[J] .海军工程大学学报,2004,16(5):10-13. 被引量：12
3 单锦辉,姜瑛,孙萍.软件测试研究进展[J] .北京大学学报（自然科学版）,2005,41(1):134-145. 被引量：138
4 Medvidovic N, Taylor R. A Classification and Comparison Frame- work for Software Architecture Description Language[J]. IEEE Transction on Software Engineering. 2000, 26 (1) : 70-93.
5 Garlan D. Style--Based Refinement for Software Architecture [J]. SIGSOFT96 Wo--rkshop, 1996, 10: 72-75.
6 Gomaa H.姜昊.并发与实时系统软件设计[M].周靖译.北京:清华大学出版社,2003.
7 唐稚松等.时序逻辑程序设计与软件工程(上册).时序逻辑语言[M].北京:科学出版社,2002.
8 Garlan D.Style-Based Refinement for Software Architecture.[J].Sigsoft 96 Workshop 1996,10:72~75.
9 朱雪阳 唐稚松.基于时序逻辑的软件体系结构描述语言XYZ/ADL.测控技术,2006,25(7):713-720.
10 赵昂 王磊 粱正峰.基于多传感器的电梯群控系统研究[J].软件学报,2003,14(4):37-39.
引证文献5
1 张广泉,张玲红.UML与ADL在软件体系结构建模中的应用研究[J] .重庆师范大学学报（自然科学版）,2004,21(4):1-6. 被引量：7
2 戎玫,张广泉.形式化与可视化相结合的软件体系结构描述方法研究[J] .计算机科学,2005,32(4):205-208. 被引量：10
3 张玲红,张广泉.基于XYZ/ADL的电梯控制系统体系结构的描述与求精[J] .计算机测量与控制,2011,19(9):2176-2179. 被引量：1
4 张玲红,张广泉.基于形式化描述的电梯控制系统的建模与仿真[J] .现代计算机（中旬刊）,2011(12):3-7.
5 李建,杨晋吉.基于SPIN的功能测试用例生成方法研究[J] .软件导刊,2016,15(7):1-4.
二级引证文献18
1 张广泉,刘艳.基于UML的图书管理系统体系结构模型及实现[J] .重庆师范大学学报（自然科学版）,2005,22(2):1-5. 被引量：20
2 陈琳琳,戎玫,张广泉.体系结构描述语言XYZ/ADL到UML的映射[J] .计算机应用,2006,26(2):468-471. 被引量：4
3 陈琳琳,张广泉.XYZ/ADL到UML的一种映射方法[J] .苏州大学学报（自然科学版）,2006,22(1):49-54. 被引量：2
4 黄正宝,张广泉.UML 2.0顺序图的XYZ/E时序逻辑语义研究[J] .计算机科学,2006,33(8):249-251. 被引量：11
5 黄正宝,张广泉.一种新型的软件体系结构描述方法研究[J] .微电子学与计算机,2006,23(12):82-84. 被引量：6
6 肖岗,张广泉.UML在研究生成绩管理系统建模中的应用[J] .重庆师范大学学报（自然科学版）,2007,24(1):34-36. 被引量：11
7 刘红梅.基于UML的图书管理系统建模[J] .计算机与现代化,2007(3):100-101. 被引量：3
8 张姝,张广泉.UML顺序图的一种形式化描述方法[J] .重庆师范大学学报（自然科学版）,2007,24(3):42-45. 被引量：8
9 李明,王山东,陈佩富.基于UML的储量计算系统建模[J] .金属矿山,2007,36(10):97-100.
10 袁瑛,沈平.基于UML的网络教学系统[J] .湖北职业技术学院学报,2007,10(4):83-85. 被引量：2
1 黄艳,吴颖,沈淑红.论析小区的景观设计[J] .建材与装饰（下旬）,2008,0(5):40-41. 被引量：1
2 王素娟.浅论建筑工程地质勘察[J] .中国建筑金属结构,2013,0(11X):217-217.
3 杨海.桩基检测技术在建筑施工中的应用分析[J] .企业技术开发,2016,35(12):66-68. 被引量：12
4 牛登巍.建筑工程项目施工阶段造价控制分析[J] .山西建筑,2013,39(14):230-231. 被引量：3
5 刘强.既有建筑节能改造外墙保温材料防火问题探讨[J] .山西建筑,2016,42(20):197-198. 被引量：4
6 俞方平,孟夫良.暖通空调安装技术中的难点探讨[J] .投资与合作（学术版）,2014,0(4):235-235. 被引量：1
7 杨茜.浅谈故宫中的斗拱文化内涵[J] .大众文艺（学术版）,2017(8):90-90. 被引量：3
