论文部分内容阅读
基于TCOZ，本文建立了UML视图的一种形式化模型，不仅为UML提供了一种精确的数学描述，也为其正确性分析和验证奠定了基础。
基于TCOZ的UML用例图的形式化模型
【摘 要】
：
基于TCOZ，本文建立了UML视图的一种形式化模型，不仅为UML提供了一种精确的数学描述，也为其正确性分析和验证奠定了基础。
【机 构】
：
华东理工大学计算机科学与工程系
【出 处】
：
华东理工大学学报：自然科学版
【发表日期】
：
2004年1期
其他文献
改进了利用聚类算法查找孤立点的算法,提出在应用到入侵检测的过程中应该结合领域知识、考虑数值性质,这样可以提高检测质量.通过对收集到的网络数据的属性进行计算,找出其中
通过考察MgO对USY型催化裂化(FCC)催化剂改性所引起的基质结构的变化，研究了不同反应条件及引入铈、镧、磷对硫转移活性的影响。结果表明：改性导致基质表面形成了表层镁铝尖晶
从CRM理论和应用出发，深入研究了客户关系管理中的数据及功能。在对电子商务及企业信息化研究的基础上，建立了一套成熟的实用CRM的系统框架和层次架构。在对企业管理及销售业务
溶胀是煤直接液化升温过程中粘度发生变化的主要原因之一.本文研究了不同温度下两种煤在有机溶剂中的溶胀度变化.结果表明:在极性溶剂中,煤化程度较小的神华煤的溶胀性比新庄
在二维阈值化分割算法的基础上,提出了一种新的改进分割算法运算效率的遗传算法,在对耗散系统理论研究的基础上,将简单遗传法与耗散结构相结合,构成一种新的算法,并对该算法
提出了双极性膜电渗析用于生物质水解液糖酸分离的方法,通过实验验证了该方法的可行性.实验考察了操作电压、电流强度、操作时间、处理溶液组分以及平均电流效率等因素对糖酸
在阴离子型交换柱上以5 mmol/L甲酸溶液(pH=4.5)为流动相可同时测定因卡膦酸二钠胶囊中的磷酸盐和亚磷酸盐.采用折光检测器,流速1.0 mL/min,外标法定量.因卡膦酸二钠、磷酸盐