软件体系结构模型的形式化研究.
Research on the Formalization of Software Architecture Model
摘要
本文用软件体系结构描述语言WRIGHT对三层C/S模型进行形式化描述,指出这种描述的优点以及软件体系结构模型形式化研究的重要性.
出处
《现代计算机》
2003年第6期26-28,48,共4页
Modern Computer
参考文献3
-
1周凤余,鲁守银,李贻斌,刘明,李彩虹,肖海荣.CAN总线系统智能节点设计与实现[J].微计算机信息,1999,15(6):9-10. 被引量:41
-
2舒彦,安萍.CAN总线系统的实现[J].计算机应用研究,1998,15(2):90-91. 被引量:13
-
3韩炬,柯进,金江.一种CAN总线冗余方法[J].电子工艺技术,1998,19(4):155-156. 被引量:6
共引文献52
-
1孙双花,曲兴华,杨学友,叶声华.PIC18F248芯片在CAN总线设计中的应用[J].制造业自动化,2004,26(8):70-72. 被引量:7
-
2郭继坤,李辉.CAN总线智能适配卡的设计[J].电子技术应用,2004,30(12):33-34.
-
3郭继坤,汝彦冬,李辉.基于矿井下CAN总线的硬件设计[J].黑龙江科技学院学报,2005,15(1):44-46. 被引量:5
-
4胡博,杨萍,周东升.CAN总线在电力参数检测中应用的设计[J].水电厂自动化,2005,26(1):161-163. 被引量:1
-
5孔令刚,任恩恩.复合真空计的CAN总线接入设计[J].甘肃科技,2005,21(4):47-48.
-
6刘欣,王志龙,方加宝.基于CAN总线的车辆液晶显示处理系统[J].计算机测量与控制,2005,13(6):553-554. 被引量:4
-
7胡博,杨萍.双端口RAM及其在CAN总线适配卡中的实现[J].中国农机化,2005(4):62-64. 被引量:1
-
8唐岚,滕艳琼.宝来车的CAN总线特点分析[J].西华大学学报(自然科学版),2005,24(5):53-55. 被引量:1
-
9韩洋,任哲平,周启煌.战车火控仿真评估系统仿真控制与测试分系统设计[J].装甲兵工程学院学报,2005,19(4):74-76. 被引量:3
-
10朱健,刘卫东,黎娜,张浩,高健磊.基于PeliCAN协议的AUV总线系统设计[J].计算机测量与控制,2006,14(2):244-246. 被引量:3
-
1徐正权,海沫.软件体系结构模型的形式化研究[J].计算机与现代化,2003(4):49-51. 被引量:1
-
2祝建中,郑瑜钒.基于Web的三层C/S模型及其实现[J].计算机系统应用,2001,10(11):35-38. 被引量:9
-
3赵鑫,彭明辰,冯树理,尚邦志.基于XML三层C/S模型在HIS系统建设中的应用[J].医疗设备信息,2004,19(6):18-19. 被引量:2
-
4卢桂馥,范影乐,庞全.基于COM/COM+的三层C/S模型[J].微机发展,2003,13(7):1-2. 被引量:1
-
5邓东华,杨宗凯,乐春晖.基于XML的三层C/S模型[J].计算机系统应用,2001,10(3):34-36. 被引量:11
-
6蒋新滨.XML在三层C/S模型中的应用[J].网络与信息,2008(10):24-25.
-
7熊聪聪,崔鹏杰,钱卫岗.XML在三层分布式系统中的应用[J].天津科技大学学报,2004,19(4):60-62. 被引量:1
-
8高敬欣,陈志刚,熊策.基于三层C/S模型的银行电子设备管理系统的设计与实现[J].计算技术与自动化,2004,23(3):59-61. 被引量:2
-
9谢丽聪,白清源,张钰.基于Web的数据库应用系统开发技术[J].福州大学学报(自然科学版),2000,28(3):20-24.
-
10曹惠茹.三层C/S模型在学生管理信息系统中的应用[J].电脑编程技巧与维护,2009(10):85-85. 被引量:1