软件工程
逃回迪士尼的公主
这个作者很懒,什么都没留下…
展开
-
什么是形式化方法
什么是形式化方法: 1.概念: 形式化方法英文的名称是formal methods。在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构。 2.例子: 例如,把全称肯定命题,用符号形式化为“SAP”;把联言命题、假言命题分别形式化为:“p∧q、“p→q”。又例如原创 2020-12-29 20:36:33 · 207 阅读 · 0 评论 -
IDEA快速新建springboot项目
IDEA快速新建Springboot项目: File —> New -—> Project, 选择Spring Initializr 填入组名、包名等 选择所需功能原创 2020-12-29 20:16:24 · 94 阅读 · 0 评论 -
IDEA使用Lombok插件生成set、get方法
IDEA使用Lombok插件生成set、get方法: 1.新建实体类: 如下: package com.book.bookshop.entity; import java.util.Date; public class Book { private Integer id; private String name; private String author; } } 安装lombok插件: 如图: 注解: 接着在你所写的实体类加入注解@Data pac原创 2020-12-13 15:47:07 · 631 阅读 · 0 评论 -
首次配置maven项目
首次配置maven项目: 第一次写SpringBoot项目的配置 settings设置: 点击Files打开settings,选择Build,Execution,Deployment——>Maven 将Maven home directory:换成自己安装maven所在文件夹 User settings file: 选择maven的conf文件夹下的settings.xml文件 Local respository: 选择spring boot安装文件夹 配置maven的setting文件:原创 2020-12-11 10:46:43 · 133 阅读 · 0 评论 -
为什么Elipse里面新建的Web Project项目里没有Webroot目录
为什么Eclipse里面新建的Web Project项目里没有WebRoot目录: 原因分析: Eclipse里生成的是WebContent目录,而MyEclipse里生成的才是WebRoot目录。原创 2020-10-12 21:10:51 · 1572 阅读 · 0 评论 -
The import javax.servlet cannot be resolved
在Elipse新建Servlet文件时,出现The import javax.servlet cannot be resolved的错误的解决方法: 错误提示: 原因分析: 缺少包 解决方案: 选中项目点右键---->点击Properties---->选择Java Build Path---->选择Libraries---->选择要添加的位置---->选择Add Library---->选择Server Runtime 这时,错误提示就会消失了 ...原创 2020-10-12 20:44:18 · 225 阅读 · 0 评论 -
为什么软件开发周期总是预估的2-3倍
@Quora精选 为什么软件开发周期总是预估的2-3倍 Quora上有人提问:为什么软件开发的周期总是预估的2~3倍?补充:这是开发者的错?还是管理的问题?技术粗糙,或者其他原因?或者这只是程序猿世界的自然法则? 文章网址:https://www.sohu.com/a/132411358_355123 观点 1.时间、任务分配不合理 2.存在人力资源浪费,或者一个人担任过多任务的情况 3.负责人员没有按时完成任务 4.管理人员没有负责到位 以上是我认为又可能导致开发周期延长的部分原因。 ...原创 2020-10-12 20:11:21 · 226 阅读 · 1 评论 -
Manifesto for Software Craftsmanship
Manifesto for Software Craftsmanship 作为有理想的软件工匠,我们一直身体力行,提升专业软件开发的标准,并帮助他人学习此工艺。通过这些工作,我们建立了如下价值观: 不仅要让软件工作, 更要 精益求精 不仅要响应变化, 更要 稳步增加价值 不仅要有个体与交互, 更要 形成专业人员的社区 不仅要与客户合作, 更要 建立卓有成效的伙伴关系 也就是说,左项固然值得追求,右项同样不可或缺。 读后感受:作为一名软件工匠,我们需要不断学习,精益求精。不断提高自身水平,并且用自己所学知识,原创 2020-10-08 15:00:05 · 84 阅读 · 0 评论