原文:OO第三次博客作业

一 JML 基础 梳理JML语言的理论基础 应用工具链情况。 语言介绍 JML Java Modeling Language 是用于对 Java 程序进行规格化设计的一种表示语言,是一种行为接口规格语言。 通过 JML 及其支持工具,不仅可以基于规格自动构造测试用例,并整合了 SMT Solver 等工具以静态方式来检查代码实现对规格的满足情况。 一般而言, JML 有两种主要的用法: 开展规格化 ...

2020-05-20 00:04 6 1548 推荐指数:

查看详情

第三次作业

##pta第三次作业(1)6-1 输出月份英文名 ###1.设计思路 ####(1)主要描述题目算法 第一步:调用函数 第二步:使用switch语句完成此程序 第三步:写出关于mouth的switch语句 第三步:如果输入的不是1到12之间的数字则返回NULL #####(2)流程图 ...

Mon Apr 16 03:50:00 CST 2018 10 95
第三次作业

作业要求 :【https://edu.cnblogs.com/campus/hljkj/CS201801/homework/2359】 第6作业:7-1 求1到100的和: 1.代码: 2.解题思路: (1).先定义整型变量i和sum。 (2).再定义sum等于零 ...

Thu Nov 29 04:56:00 CST 2018 9 91
第三次作业

作业要求】:https://edu.cnblogs.com/campus/hljkj/CS201802/homework/2360 第11周第六作业:7-1 求1到100的和 1.实验代码 2.设计思路 第一步:仔细阅读作业题目要求,输入格式及输出格式。观察输出样例及输入 ...

Thu Nov 29 20:38:00 CST 2018 11 158
第三次作业

作业要求:https://edu.cnblogs.com/campus/hljkj/CS201802/homework/2360 【第 11 周第六作业 7-2求平方根序列前 n 项和】 解题思路: (1)定义整型变量 a , N (2)定义浮点型变量 sum ...

Thu Nov 29 05:02:00 CST 2018 11 99
第三次作业

第一步 定义 三个 双精度浮点型的变量 第二步 输入 N的值 第三步 进入循环,并 ...

Wed Nov 28 03:50:00 CST 2018 10 145
第三次作业

作业要求【https://edu.cnblogs.com/campus/hljkj/CS201801/homework/2359】 第六作业 7-1 求1到100的和 第一步:声明两个整形变量i,sum。 第二步:将sum变量赋值为0。 第三步:令i=1,判断如果i< ...

Wed Nov 28 03:35:00 CST 2018 12 73
第三次作业

(4) 运行截图 ***遇到的问题及解决办法 (1)作业的要求给了我很大的困惑,一开始我以为是在pt ...

Thu Oct 19 05:03:00 CST 2017 10 56
第三次作业

1、 结对使用的Github项目地址 https://github.com/Cherish599/WordCount.git 作业地址 https://edu.cnblogs.com/campus/xnsy ...

Fri Apr 05 01:49:00 CST 2019 10 170
 
粤ICP备18138465号  © 2018-2025 CODEPRJ.COM