摘要：
Anaconda+Pycharm+Django, Windows 10 一、使用pip安装 1. 修改pip源至国内镜像： 临时使用： 永久修改： Linux: 修改 ~/.pip/pip.conf, 添加index url至tuna，内容如下： Windows: 直接在user目录中创建一个pip 阅读全文
摘要：
Thus, the end begins. Part 01 第四单元(UML)架构设计 第四单元两次作业均是对UML类图、顺序图、状态图的解析。第二次作业在第一次作业的基础上进行了扩展，主要是增加了对顺序图、状态图的解析以及解析之前的检查。 第一次作业中，考虑到接口和类在查询指令中的地位不平 阅读全文
摘要：
一、关于JML 1、理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言(Behavior Interface Specification Language, BISL), 基于Larch方法构建。 JML主要 阅读全文
摘要：
OO第二单元_多线程电梯 阅读全文
摘要：
OO多项式求导三次作业总结 阅读全文