本书包含引言、形式化软件开发方法概述、Apla->Java自动程序转换系统介绍、对原有系统的重构及改进、泛型机制在Apla->Java自动程序转换系统中的实现、结束语等章节。本书选取Java语言作为程序自动转换系统的目标语言，在课题组前期研究的基础上，研究和实现了支持泛型程序设计的Apla-Java自动程序转换系统。

📙 相关书籍

  1. 《网页设计与制作 HTML5+CSS3+JavaScript》高清PDF 本书站在初学者的角度，以实用的案例、通俗易懂的语言详细介绍了使用HTML5、CSS3及JavaScript进行网页制作的各方面内容和技巧。全书共13章，结合HTML5、CSS3和JavaScript的基础知识及应用，提供了100多个课堂案例和1个综合实训项目。其中，第1~2章主要讲解网页制作的基础知......
  2. 《NODE.JS核心技术教程》高清PDF 本书也可作为广大计算机编程爱好者的参考用书……...
  3. 《Java语言程序设计》高清PDF 本书主要介绍了Java基础、基本控制结构、方法、数组、类和对象、类的继承和多态机制、接口、异常处理、输入与输出、图形用户界面设计、Swing组件、集合类、Applet程序、多线程、数据库编程和网络编程等内容。...
  4. 《普通高等教育电子信息类“十三五”课改规划教材 JAVA实用教程》高清PDF 本书系统介绍了JAVA语言的基本概念……...
  5. 《大学程序设计基础 系统化方法解析&Java描述》高清PDF 本书采用基于系统化思维的解析方法，首先论述程序设计的本质并给出程序设计的三个基本视图……...
  6. 《Java程序设计教程 第2版》高清PDF 本教材基础篇中全面系统地介绍了Java语言程序设计的基础知识、基本语法、编程环境与方法，Java语言面向对象基础知识和面向对象高级程序设计，以及JavaGUI程序设计、JavaApplet程序设计、Java标准类库、集合操作。高级篇中介绍了Java语言的异常处理技术、多线程技术、输入输出技术、网络编......
  7. 《Java程序设计》高清PDF 本书讲解Java程序设计知识及其编程方法，包括Java语言的基础语法、结构化程序设计、面向对象程序设计、数组、字符串、向量、哈希表、枚举、异常处理、文件和数据流、图形用户界面设计、Applet程序、线程、编程规范、网络程序设计、多媒体和图形学程序设计等。...
  8. 《Java SE应用详解》高清PDF 本书主要分为三部分来介绍Java知识，初级语法篇主要介绍Java编程环境与工具、常用类库、异常处理等知识。中级游戏篇将Java中的文本、图形、图像、音频、线程、事件、面向对象编程等知识融入游戏开发原理和技巧中，并深入探讨了如何解决闪烁、消除轨迹、提高动画效率、增加互动与音效等难点。高级系统篇主要以综......
  9. 《数据结构 Java语言描述》高清PDF 本书介绍了数据结构算法的基本概念以及线性表、栈和队列、串、多维数组和广义表、树和图等基本数据结构的特点、存储方法和基本运算，最后又围绕数据在外存上的组织方法介绍了文件的若干基本结构。...
  10. 《Java程序设计案例教程》高清PDF 本书具体内容包括：Java概述及开发环境搭建、程序结构及标识符、数据类型及变量、运算符及表达式、流程控制语句、数组、面向对象程序设计基础、面向对象程序设计高级、异常、图形界面编程、I/O输入输出、线程、网络编程、Java常用类等内容，第15章为学生管理系统的设计与实现。...

提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。