摘要: Cloud Foundry应用部署记录 本文地址:https://www.cnblogs.com/acyo/p/13450806.html 未经作者授权禁止转载及使用 1.前言 Cloud Foundry是业界第一个开源PaaS云平台,它支持多种框架、语言、运行时环境、云平台及应用服务,使开发人员能 阅读全文
posted @ 2020-08-07 09:40 AcYo 阅读(716) 评论(0) 推荐(0) 编辑
摘要: OO_Unit4&End总结 幕起道一声久违,幕落叹一句再会 一、本单元作业架构 1.1第一次作业 本次作业最终需要实现一个UML类图分析器,可以通过输入各种指令来进行类图有关信息的查询。 本单元的作业虽然说课程组已经将整体框架和大部分代码都准备好了,但是核心的交互功能还需要我们来完成。由于官方包内 阅读全文
posted @ 2020-06-14 22:58 AcYo 阅读(183) 评论(1) 推荐(0) 编辑
摘要: OO_Unit3总结 一、JML梳理 将JML体系以思维导图的形式进行整理,如下所示。 二、SMT Solver 配置过程中出现了蜜汁bug,修复未果,这个坑之后再填吧…… 三、JMLUnitNG JMLUnitNG主要用来根据JML语言自动生成数据并进行测试。针对Group接口进行测试,结果如下所 阅读全文
posted @ 2020-05-22 13:33 AcYo 阅读(176) 评论(0) 推荐(0) 编辑
只有注册用户登录后才能阅读该文。 阅读全文
posted @ 2020-04-18 11:23 AcYo 阅读(2) 评论(0) 推荐(0) 编辑
摘要: 一、程序结构分析 第一次作业 1.设计构思与自我评价 第一次作业难度不是太高,只需要解析由常数、幂函数简单组合的表达式。其中每一项都可以看做coef*x**index的固定形式,建立包含coef,index两个Biginteger属性的Term类作为最基本的数据结构,并且实现单项求导的方法。在Ter 阅读全文
posted @ 2020-03-19 18:20 AcYo 阅读(45) 评论(0) 推荐(0) 编辑