摘要： 1 JML语言的基础及应用 1.1 JML语言 Java建模语言（JML）是一种行为行为规范语言，可以使用给定Java模块的行为。 为了支持JML语言的轴论，我们将Eiffel的“合同设计（contract design）”方法与Larch系列框架规范语言的基于模型的规范方法相结合。 主要文章为以下 阅读全文

摘要： 设计与架构总结 第一个挑战是将“生产者-消费者”模型直接应用于“ Picture Java Multi-threaded Design Pattern”，因为它首先暴露于多线程。 输入线程People与电梯线程电梯共享requestQueue对象。 requestQueue基于数据结构Queue并同 阅读全文

摘要： 前言 首先，我将介绍这3个任务，它们以多项式的推导为中心，并且输出的目的是相同的。 换句话说，对输入多项式进行微分，并将求导结果打印在显示器上，从而增加了操作难度。 从简单的固定多项式到复杂的弹性多项式，放宽了要求，增加了导数难度。 从使用正则表达式解决所有问题到继承接口，处理的难度不断增加。 随着 阅读全文

摘要： 1.第四单元作业的架构设计 1. 概述 本单元是OO学习的最后一单元,重点学习了UML 类图,状态时序图。作业要求为: 补充函数,完成对UML格式的解释。作业分别考察类图的解析和时序，状态的解释。最后一项工作是对UML图合法性的检查。整个单元所涉及的算法不多,更多的是使用关于简单连通图的算法。总的来 阅读全文

摘要： 1 JML语言的基础及应用 1.1 JML语言 Java建模语言（JML）是一种行为行为规范语言，可以使用给定Java模块的行为。 为了支持JML语言的轴论，我们将Eiffel的“合同设计（contract design）”方法与Larch系列框架规范语言的基于模型的规范方法相结合。 主要文章为以下 阅读全文

摘要： 设计与架构总结 第一个挑战是将“生产者-消费者”模型直接应用于“ Picture Java Multi-threaded Design Pattern”，因为它首先暴露于多线程。 输入线程People与电梯线程电梯共享requestQueue对象。 requestQueue基于数据结构Queue并同 阅读全文

摘要： 前言 首先，我将介绍这3个任务，它们以多项式的推导为中心，并且输出的目的是相同的。 换句话说，对输入多项式进行微分，并将求导结果打印在显示器上，从而增加了操作难度。 从简单的固定多项式到复杂的弹性多项式，放宽了要求，增加了导数难度。 从使用正则表达式解决所有问题到继承接口，处理的难度不断增加。 随着 阅读全文

摘要： 结构化方法和面向对象方法的比较 前言 结构化方法和面向对象方法是当前软件开发最常用的方法。其中，结构化方法强调对现实世界的应用问题进行分解，面向过程设计问题空间的解域，强调自顶向下，逐步求精，模块化设计；而面向对象方法强调使用现实世界的概念抽象地思考问题，从而自然地解决问题。强调模拟现实世界中的概念 阅读全文

摘要： 云计算对传统软件工程的影响 一. 什么是云计算？ 云计算（Cloud computing）是一种基于互联网的计算。在云计算中，存储和运算不在本地计算机或服务器中运行，而是运行在分布于互联网上的大量计算机上，云计算通过把原来由个人计算机和私有数据中心执行的任务转移给分布在互联网上由全体用户共享的大型计 阅读全文