排序方式: 共有13条查询结果,搜索用时 62 毫秒
1.
2.
3.
4.
5.
基于体系结构的软件开发 总被引:5,自引:1,他引:4
随着软件规模和复杂度的日益升级,对系统总体结构的设计和规格说明比对算法和数据结构的选择重要得多,软件体系结构作为描述系统高层设计的手段,正成为研究热点,讨论了软件体系结构的研究背景、研究内容、同面向对象和设计模式的关系以及基于体系结构的软件开发过程。 相似文献
6.
概述小波理论,包括小波变换、多尺度分析以及构造小波的最基本概念和定理,重点介绍了正交小波和双正交小波 相似文献
7.
本文探讨树图信息运动的规律。 在组合向量集这样一个概念的基础上,定义了一种集的组合积运算算子。对于树图中信息的分布、组合、出现机率以及覆盖关系,作了系统的论述。并且建立了这些向量集基值估算公式,形成定理和算法。 相似文献
8.
本文介绍COM自动化的绑定方式,主要是早绑定和迟绑定。并从实现方式、效率、灵活性、可靠性、适用场合等方面对早绑定和迟绑定进行比较。提供了早绑定和迟绑定具体应用的实例。 相似文献
9.
一种基于Z和精化演算的形式化开发方法 总被引:1,自引:0,他引:1
通过分析Z和精化演算各自的特点,本文提出了一种使两者无缝集成的形式化开发方法。该方法利用Z良好的描述特性和扩充的类机制,将系统规约直妆定义成精化演算中的抽象程序,然后用精化规则对抽象程序逐步精化,直到可执行程序。最后给出了一个简单例子。 相似文献