基于契约式设计的VeriJava编程语言设计

契约式设计是一种以Java语言为主流编程的技术手段,无论是在VeriJava编程语言程序开发中,还是在C++、S#等语言开发中,都被程序开发者广泛使用.对VeriJava编程语言以契约式设计理论的程序设计进行分析研究,将契约式设计理念引入到面向对象编程技术开发中,从而实现契约的编写与程序分离.

面向物流企业的车辆调度教学管理系统的开发

建立面向物流企业的车辆调度管理系统是信息化管理运输的一种有效形式,具有自主性强、交互性好的特点。该系统采用MVC架构,把一个应用的输入、处理、输出流程按照Model、View、Controller的方式进行分离,该应用被分成模型层、视图层、控制层。建立了系统的ER关系数据模型,应用JSP技术,以SQL Server作为后台数据库,开发出了该系统,并进行了检测,证明该系统可以有效地提高物流公司的运作效率。