摘要：
形式化方法，中文也称形式方法、正规方法。在计算机科学和软件工程领域，形式化方法是基于数学的特种技术，适合于软件和硬件系统的描述、开发和验证。将形式化方法用于软件和硬件设计，是期望能够像其它工程学科一样，使用适当的数学分析以提高设计的可靠性和强健性。但是，由于采用形式化方法的成本高意味着它们通常只用于 阅读全文
posted @ 2023-04-03 23:23
Yinrx
阅读(61)
评论(0)
推荐(0)
摘要：
信息隐藏：设计和确定模块，使得一个模块内包含的信息（过程和数据）对于不需要这些信息的模块来说，是不能访问的 局部化：把一些关系密切的软件元素物理地放得彼此靠近。局部化有助于信息隐藏。 阅读全文
posted @ 2023-04-03 23:21
Yinrx
阅读(55)
评论(0)
推荐(0)
摘要：
衡量模块独立的定性标准： 1 耦合：就是软件内不同功能的部分能够互连的程度 2.内聚：表示每个模块内部各个元素紧密连接的程度 阅读全文
posted @ 2023-04-03 23:18
Yinrx
阅读(45)
评论(0)
推荐(0)
摘要：
模块化是一种处理复杂系统分解为更好的可管理模块的方式。 所谓的模块化开发就是封装细节，提供使用接口，彼此之间互不影响，每个模块都是实现某一特定的功能。模块化开发的基础就是函数。模块化开发使用代码耦合度降低，模块化的意义在于最大化的设计重用，以最少的模块、零部件，更快速的满足更多的个性化需求。 优点： 阅读全文
posted @ 2023-04-03 23:16
Yinrx
阅读(130)
评论(0)
推荐(0)
浙公网安备 33010602011771号