- 博客(6)
- 收藏
- 关注
RSS订阅原创 阅读和了解什么是形式化方法
加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构。例如,把全称肯定命题,用符号形式化为"SAP";在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是。分别形式化为:"p∧q、"p→q"
2023-05-04 22:45:13
41
原创 p1、什么是模块化，为什么要模块化?衡量模块独立的定性标准是什么?用自己的话表达其含义、?用自己的话如何理解信息隐藏和局部化
耦合性：也称块间联系。指软件系统结构中各模块间相互联系紧密程度的一种度量。模块之间联系越紧密，其耦合性就越强，模块的独立性则越差。指模块的功能强度的度量，即一个模块内部各个元素彼此结合的紧密程度的度量。模块内元素联系越紧密，内聚性越高。4.信息隐藏是指在一个系统或者数据中，有一些信息是被隐藏起来的，不被直接展示或者访问的。局部化是指在一个系统或者数据中，不同的信息被分散在不同的地方，而不是集中在一起。1.所谓模块化---简单的说就是分层数据库操纵一层;3.两个定性的度量标准：耦合与内聚性。
2023-05-04 22:39:55
237
原创 软件工程对我们软件开发的用处
软件工程的作用是是研究和应用如何以系统性的、规范化的、可定量的过程化方法去开发和维护软件，保证最终产品满足用户的要求，维护活动包括使用过程中的扩充、修改与完善。伴随以上过程，还有管理过程、支持过程、培训过程。
2023-05-04 19:25:07
97
1
原创 什么是devons
持续集成（Continuous Integration）持续反馈（Continuous Feedback）运维（Operate）部署（Deploy）
2023-05-04 19:16:13
94
1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人