2024年4月23日
10天冲刺第四天
摘要： 今天做了什么： springboot服务器搭建，实现图片上传 package com.example.psychological.Controller; import com.example.psychological.DBHelpOpen; import com.example.psycholog 阅读全文
posted @ 2024-04-23 17:40 umiQa 阅读(1) 评论(0) 推荐(0) 编辑
03构建之法阅读笔记
摘要： 第6章 敏捷流程 —— 6.5 敏捷的故事 这一小节中有一个图表，对比了敏捷（Agile）、计划驱动（Plan-driven）、形式化的开发方法（Formal Method）的适用范围。里面提到的形式化的开发方法，其基本步骤是怎样的呢？为什么它能有极高的可靠性呢？下面是一些关于形式化方法特点的说明， 阅读全文
posted @ 2024-04-23 17:39 umiQa 阅读(5) 评论(0) 推荐(0) 编辑