排序方式: 共有23条查询结果,搜索用时 15 毫秒
21.
结合形式化方法的UML系统开发 总被引:1,自引:3,他引:1
介绍并讨论了在系统开发过程中使用UML(Unified Modeling Language)与其他形式化方法得到的一种精化模型,而且这一模型也同样支持形式化的分析和验证. 相似文献
22.
针对基于SSL的电子商务系统在交易和支付过程中持卡人的个人隐私得不到有效保护而被有所企图的人收集、散发和滥用的安全缺陷,提出了一种改进方案.并设计出了一种基于SSL的安全交易模型,以对持卡人的个人隐私进行有效的保护。 相似文献
23.
一种基于粗糙集的软件产品用户满意度评价方法 总被引:3,自引:0,他引:3
在对现有的软件产品质量度量方法进行分析的基础上,提出了一种基于粗糙集的属性权重分配方法通过已知数据寻找出对总体用户满意度影响不同的各属性权重因子,发现影响产品质量的关键因素,以揭示质量改进与用户满意度之间的内在互动关系.同时把单层次的知识细化成多层次知识,有助于提高权重设置的精确度,并且结合专家意见更合理的设置权重,弥补了现有方法的不足. 相似文献