BUAA_OO_2020_第三单元总结

【BUAA_OO_2020_第三单元总结】的更多相关文章

BUAA_OO_2020_第三单元总结

BUAA_OO_2020_第三单元总结 JML理论基础简介 JML(Java Modeling Language)是一种用于对JAVA程序进行规格化设计的语言,其通过定义接口所包含方法的行为,来约束实现接口的类的行为.本章作业就是实现课程组提供的用规格定义好的接口,来学习如何根据规格写方法. JML表达式原子表达式关键字含义示例 \result 定义返回值 \result == getPerson(id1).getAge() \old(expr) expr在执行方法前的取值 group…

BUAA_OO_2020_第四单元与课程总结

BUAA_OO_2020_第四单元与课程总结第四单元架构第一次架构设计第一次作业要求实现UML类图解析器. 我才用自顶向下依次解析的方法,首先将类图中涉及的所有元素分成三层: 第一层第二层第三层 Class, Interface, AssociationEnd Association, Attribute, Operation, Generalization, InterfaceRealization, Parameter 根据需要,实现了MyClass, MyInterface,…

linux学习笔记：第三单元 Linux命令及获取帮助

第三单元 Linux命令及获取帮助 11) 了解Linux命令的语法格式:命令 [选项] [参数]2) 掌握命令格式中命令.选项.参数的具体含义a) 命令:告诉Linux(UNIX)操作系统做(执行)什么.b) 选项:说明命令运行的方式(可以改变命令的功能).选项部分是以“-”字符开始的.c) 参数:说明命令影响(操作)的是什么(如一个文件.一个目录或是一段正文文字)Ls –a /2. whoami命令(详见linux系统管理P24)1) 了解whoami命令的功能:列出目前登陆Linux系统所…

面向对象OO第三单元总结

第三单元OO总结博客 1 梳理JML语言的理论基础.应用工具链情况由于篇幅原因,这里只梳理几个在本单元常用的注释结构行注释://@annotation 块注释:/* @ annotation @*/ 例如:纯粹查询方法/*@ pure @ */,即方法的执行不会有任何副作用 JML表达式原子表达式 \result:表示一个非 void 类型的方法执行所获得的结果,即方法执行后的返回值 \old(expr): 用来表示一个表达式 expr 在相应方法执行前的取值.作为一般规则,任何情况下,…

SAP标准培训课程C4C10学习笔记（三）第三单元

第三单元:Account and Contact management Account和Contact概念和SAP CRM里是一样的: 并且支持同ERP和CRM的客户主数据做同步. 关于具体的同步场景,参考我上传的视频: http://v.qq.com/x/page/v07441mikim.html C4C里客户管理的特色: upload accounts via data migration tool view social information with insideView integr…

OO第三单元总结——JML

目录写在前面 JML理论基础 JML工具链 JMLUnitNG的使用架构设计 Bug分析心得体会写在前面 OO的第三单元学习结束了,本单元我们学习了如何使用JML语言来对我们的程序进行规格化设计.并对openjml以及JMLUnitNG.JUnit等工具的使用有了初步的了解. JML理论基础注释结构 JML以javadoc注释的方式来表示规格,每行都以@起头. JML表达式 JML表达式有一下几种: 原子表达式:如\result,\old等. 量化表达式:如\forall,\exist…

OO第三单元作业总结

OO第三单元作业总结--JML 第三单元的主题是JML规格的学习,其中的三次作业也是围绕JML规格的实现所展开的(虽然感觉作业中最难的还是如何正确适用数据结构以及如何正确地对于时间复杂度进行优化). 关于JML语言 JML语言概述 JML是Java Modeling Language的缩写,意思是Java建模语言,是一种进行详细设计的符号语言. 使用JML语言的好处主要有以下几点: 能够描述类和方法的运行方式,从而使代码的编写过程更加契合面向对象思想: 可以更加高效地发现和修正程序中的bug 在…