BUAA OO Unit3 Summary——万物即可形式化 一. JML 语言的 理论基础 JML是对Java程序进行规格化设计的一种表示语言。通过规格化描述，精确地描述了代码的功能，并且为测试设计提供了严密的依据。尤其在多人协同开发的时候，相比可能带有内在模糊性的自然语言描述，JML能过更清晰地 ...
分类：
其他好文 时间：
2020-05-22 12:43:52
阅读次数：
55
版本控制 版本控制(Revision control)是一种在开发的过程中用于管理我们对文件、目录或工程等内容的修改历史，方便查看更改历史记录，备份以便恢复以前的版本的软件工程技术。 实现跨区域多人协同开发 追踪和记载一个或者多个文件的历史记录 组织和保护你的源代码和文档 统计工程量 并行开发、提高 ...
分类：
其他好文 时间：
2020-05-14 13:20:03
阅读次数：
71
当前电子电气系统随着功能安全、AutoSAR、车联网、智能驾驶等新要求，导致其复杂性、关联性日益上升。当前，传统基于文档的设计由于其低复用性、无关联性、无协同性等缺点，已经无法适应日益增长的电子电气开发需求。经纬恒润基于Systemweaver平台，提供整车级电子电气系统协同设计解决方案，帮助客户建立电子电气研发平台，提升工程师协同开发效率，保证产品研发质量。产品介绍Systemweaver软件是
分类：
其他好文 时间：
2020-05-12 15:27:14
阅读次数：
72
Git(版本控制工具) 管理不同版本，并且可以随时回退到任意时刻 协同开发，自动合并代码 常用命令 初始化仓库，生成.git 隐藏文件，此文件将会记录所有变更行为 查看当前仓库的状态信息 将文件加入暂存区 提交变更，每一次 commit 会生成一个哈希值 查看日志（每次提交记录） 将现有文件恢复到当 ...
分类：
其他好文 时间：
2020-04-13 14:07:27
阅读次数：
68
注意：用心找自己做的项目中自己感觉最拿出来手的（复杂度最高，用的技术最多的项目），描述的时候尽可能往里面添加一些技术名词布局我们用html5+css3我们会用reset.css重置浏览器的默认样式JS框架的话我们选用的是jQuery(也可能是Zepto)我们用版本控制工具git来协同开发我们会基于g ...
分类：
其他好文 时间：
2020-04-06 17:42:49
阅读次数：
85
jeeplus 是一款基于代码生成器的快速开发平台。 前后端分离、maven多模块开发，方便多人协同开发后端选型：springboot2 + mybatis + shiro + jwt token + flowable前端选型：vue + element-ui + es6 + webpack代码生成 ...
分类：
编程语言 时间：
2020-03-30 23:30:32
阅读次数：
473
随着项目的不断扩大，模块也会越来越多，后续会更加难以维护和扩展，为了应对这种情况我们使用Maven模块化开发方式，后期我们还会采用微服务架构的方式进行开发。
分类：
编程语言 时间：
2020-03-21 23:26:01
阅读次数：
89
Java 框架一直以来都是面试必备的知识点，而掌握Java框架，不管在成熟的大公司，快速发展的公司，还是创业阶段的公司，都能对当前正在开发中的系统有整体的认知，从而更好的熟悉和学习技术。
分类：
编程语言 时间：
2020-03-17 08:28:22
阅读次数：
78
软件工程学习记录 关于软件工程 ? "什么是软件工程？" ? 在我的认识中，软件工程就是一个可以迭代升级，大家一起协助开发一个软件。分层次，分模块，互不影响，协同运行，用户满意。 希望学到什么 1. 抽象思维（GoF23）。 2. 项目需求分析，会合理设计接口。 3. 能够和别人协同开发。 我将怎么 ...
分类：
其他好文 时间：
2020-03-11 15:32:00
阅读次数：
51
版本控制器 """ 完成 协同开发 项目，帮助程序员整合代码 i）帮助开发者合并开发的代码 ii）如果出现冲突代码的合并，会提示后提交合并代码的开发者，让其解决冲突 软件：SVN 、 GIT（都是同一个人的个人项目） github、gitee（两个采用git版本控制器管理代码的公共平台） git：集 ...
分类：
其他好文 时间：
2020-02-29 00:44:59
阅读次数：
108
