- 博客(7)
- 收藏
- 关注
原创 什么是形式化方法
形式化方法英文的名称是formal methods。在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构。是描述系统性质的基于数学的技术,这样的形式化方法提供了一个框架,可以在框架中以系统的而不是特别的方式刻划、开发和验 证系统。
2022-12-13 13:03:32
73
原创 软件开发生命周期和它的思想
目录1、为什么软件开发周期总是预估的2~3倍?2、什么是分而治之?3、了解WBS首先我们需要先了解什么是软件开发周期,软件开发周期一般分为六个阶段:1.问题的界定和方案。此时是软件开发人员和需求之间的探讨,以确认软件开发目标和可行性。2.需求分析。在确定软件开发的可行性之下,将对软件需要实现的每个功能进行详细的分析,需求分析是非常重要的一个阶段,这个阶段做的好,将会为整个软件开发项目奠定良好的基础。3.软件设计。在这个阶段,将会根据需求分析的结果来设计整个软件系统,软件的设计一般分为总体设计和详细设计。4.
2022-12-05 14:55:46
194
原创 医院监护系统可行性分析
存在的主要问题:患者需要护士护理,但医院可能存在人手不足或满负荷运行时人手不足的情况,且护士是人并不能时时刻刻看陪伴在患者身旁观察患者的病情变化情况,所以为了避免出现某个患者病情变化时不能得到及时的治疗,医院打算开发一个以计算机为中心的患者监护系统。基本的功能,时能够随时接收每个患者的生理信号,如:脉搏、体温、血压、心电图...,且还能够记录病人的情况形成患者日志;发出警告,当某个病人的生理信号超出医生规定的安全范围向值班护士发出警告信息;生成病人病情报告,可以根据要求生成某个病人的病情报告。
2022-12-02 18:15:32
709
原创 什么是微软过程
微软过程就是微软公司在吸收业界最先进的管理理念和技术手段的基础上,经过公司的管理和开发人员的不断实践、不断积累,获得了一套适合微软公司自身的特点、行之有效的软件开发管理模式。任何科学的软件工程理论和软件开发管理方法都必须和软件企业的具体实践相结合,才能发挥出最大的效能。
2022-11-27 12:15:49
85
原创 软件工程与计算机科学的关系及区别
软件工程是一门研究用工程化方法构建和维护有效、实用和高质量的软件学科,是指导计算机软件开发和维护的一门工程学科。采用工程的概念、原理、技术和方法来开发和维护软件,把经过时间考验而证明正确的管理技术和当前能够得到最好的技术方法结合起来,以经济地开发出高质量的软件并有效地维护它,这就是软件工程。计算机科学,研究计算机及其周围各种现象和规律的科学,亦即研究计算机结构、程序结构(程序)、人工只能以及计算本身的性质和问题的科学。
2022-11-26 23:16:30
171
原创 关于软件工程方法论的个人看法
问题软件工程方法论对我们软件开发有多大用处?谈谈你的看法。什么是软件工程方法论?面向元数据的方法,面向过程的方法,面向对象的方法和形式化方法,它们并成为软件工程中的四大方法,它们共同构成了软件工程的方法论。目前使用的最广泛的软件工程方法学,分别是传统方法学和面对对象方法学,而软件方法学包含了一下三要素:方法、工具、过程。方法:是完成软件开发的各项任务的技术方法,回答 “怎么样做” 的问题工具:运用方法而提供的自动的或半自动的软件工程支撑环境。
2022-11-26 22:46:03
127
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人