论文部分内容阅读
首先阐述了形式化方法与可视化方法的优缺点，并在此基础上提出软件体系结构形式化与可视化UML互补的建模方法，主要探讨UML和Z结合的建模过程，并用一个系统开发实例进行展示。
形式化与UML结合的建模方法及其应用
【摘 要】
：
首先阐述了形式化方法与可视化方法的优缺点，并在此基础上提出软件体系结构形式化与可视化UML互补的建模方法，主要探讨UML和Z结合的建模过程，并用一个系统开发实例进行展示。
【机 构】
：
南昌大学计算中心
【出 处】
：
电脑知识与技术
【发表日期】
：
2009年7期
【基金项目】
：
2008年江西省研究生创新专项资金省教育厅资助项目-网络协议安全性分析及支撑工具研究(YC08A032)
其他文献
目的对比分析老年高血压应用缬沙坦氨氯地平片复合制剂、缬沙坦氢氯噻嗪复合制剂治疗的疗效情况。方法随机纳入本院2018年1月~2018年12月收治100例高血压疾病老年患者,随机将
在分析线性调频和巴克码组合调制信号的脉冲压缩原理基础上,对比研究加权海明窗或汉宁窗进行旁瓣抑制的常规方法,提出一种在发射机和接收机中同时加Kaiser窗加权的方法。与加
背景：瘦素的功能是作为脂肪细胞体脂量的信号来认识的,作为体内的能量平衡信号反馈到下丘脑,与其中各部位神经元的受体结合后参与调节进食、饮水、能量代谢。目的：构建原核重组
利用西大滩2007年气象和辐射观测数据研究了积雪对地表反照率和浅层地温的影响。结果显示：相对积雪日数和气温与反照率相关性显著,反照率随相对积雪日数的增大而增大,随气温的
探讨了Lempel-Ziv编码／解码算法的实现方案，力图提高编码／解码效率，并进行了算法改进，使之能更为有效地应用于实时数据压缩。
<正> 氮唑类抗真菌药物的结构特点是分子中都含有一个或两个咪唑或三唑环,并且都是1位氮原子与芳烃基相连,芳烃基一般为一卤或二卤取代苯环,结构变化大多是氮唑环与芳环之间
近几年,我国电气行业取得了较大的进步与发展,很多电气设备以及系统都得到了优化与创新。尤其电气自动化控制系统在工业生产中更是起着关键的作用,可以进一步提高生产质量,同
目的：建立氟维司群原料药的细菌内毒素检查方法。方法以DMSO溶解氟维司群，再用细菌内毒素检查用水稀释，按《中国药典》2010年版（二部）附录Ⅺ E细菌内毒素检查法进行干扰试验；同时对
目的探讨综合干预疗法对择期经皮冠状动脉介入治疗(PCI)患者术后康复的影响。方法选择择期PCI术患者100例,随机分为实验组与对照组各50例,实验组给予综合干预措施,包括健康教