Yinrx - 博客园

摘要：形式化方法，中文也称形式方法、正规方法。在计算机科学和软件工程领域，形式化方法是基于数学的特种技术，适合于软件和硬件系统的描述、开发和验证。将形式化方法用于软件和硬件设计，是期望能够像其它工程学科一样，使用适当的数学分析以提高设计的可靠性和强健性。但是，由于采用形式化方法的成本高意味着它们通常只用于阅读全文

posted @ 2023-04-03 23:23 Yinrx 阅读(56) 评论(0) 推荐(0)

如何理解信息隐藏和局部化

摘要：信息隐藏：设计和确定模块，使得一个模块内包含的信息（过程和数据）对于不需要这些信息的模块来说，是不能访问的局部化：把一些关系密切的软件元素物理地放得彼此靠近。局部化有助于信息隐藏。阅读全文

posted @ 2023-04-03 23:21 Yinrx 阅读(52) 评论(0) 推荐(0)

衡量模块独立的定性标准是什么？

摘要：衡量模块独立的定性标准： 1 耦合：就是软件内不同功能的部分能够互连的程度 2.内聚：表示每个模块内部各个元素紧密连接的程度阅读全文

posted @ 2023-04-03 23:18 Yinrx 阅读(42) 评论(0) 推荐(0)

什么是模块化？为什么要模块化

摘要：模块化是一种处理复杂系统分解为更好的可管理模块的方式。所谓的模块化开发就是封装细节，提供使用接口，彼此之间互不影响，每个模块都是实现某一特定的功能。模块化开发的基础就是函数。模块化开发使用代码耦合度降低，模块化的意义在于最大化的设计重用，以最少的模块、零部件，更快速的满足更多的个性化需求。优点：阅读全文

posted @ 2023-04-03 23:16 Yinrx 阅读(125) 评论(0) 推荐(0)

2023年3月31日

什么是结对编程？

摘要：结对编程（英语：Pair programming）是一种敏捷软件开发的方法，两个程序员在一个计算机上共同工作。一个人输入代码，而另一个人审查他输入的每一行代码。输入代码的人称作驾驶员，审查代码的人称作观察员（或导航员）。两个程序员经常互换角色。在结对编程中，观察员同时考虑工作的战略性方向，提阅读全文

posted @ 2023-03-31 22:42 Yinrx 阅读(59) 评论(0) 推荐(0)

rxyyy

公告