论文部分内容阅读
以电子商务应用为背景,研究了结合形式化的面向对象建模方法,该方法将UML对系统建模的易于理解性及Z语言描述系统的可靠性有机地结合在一起,这种通过增加形式化的成份来解决图形工具无法或表达不确切的思想,为开拓电子商务领域提供了新的研究方法.
结合形式化的面向对象技术在电子商务中的应用
【摘 要】
：
以电子商务应用为背景,研究了结合形式化的面向对象建模方法,该方法将UML对系统建模的易于理解性及Z语言描述系统的可靠性有机地结合在一起,这种通过增加形式化的成份来解决
【出 处】
：
计算机工程
【发表日期】
：
2003年z1期
其他文献
详细论述了采用神经模糊实际建模过程中必须考虑的各种因素,各因素之间的相互影响及关系,以及各不同参数的选择过程,并在Matlab环境下,利用模糊工具箱设计了一个神经-模糊建
环糊精由于自身的生物相容性和结构易裁剪性，通过结构修饰、聚合或超分子组合等设计被逐渐应用于非病毒基因载体系统。分别从环糊精、其小分子衍生物、含环糊精聚合物以及超分