- 授权协议: GPL
- 开发语言: Java
- 操作系统: 跨平台
- 软件首页: https://gitee.com/RocketshipWorkshop/PeaceWingSHC
- 软件文档: https://gitee.com/RocketshipWorkshop/PeaceWingSHC
软件介绍
和平之翼代码生成器SHC 0.9版
本版是和平之翼Java代码生成器SHC 0.9版。在0.8版的基础上增强了语法加亮的SGS代码编辑器。并有文档更新和全面测试。欢迎使用。
SHC技术栈支持Spring MVC4,spring4,Hibernate 4 Criteria。 和平之翼Java代码生成器是动词算子式Java通用代码生成器，是无垠式Java代码生成器的第二代。 0.9版是无垠式/和平之翼代码生成器阵列中最新的SHC技术栈的成员，已开源，希望你喜欢。
以下为本软件的界面截图：
从规范出发的程序设计
[美] Carroll Morgan / 裘宗燕 / 机械工业出版社 / 2002-8 / 45.00元
本书详细论述了有关规范程序设计的内容，包括：程序和精化、谓词演算、选择、迭代、构造类型、模块和封装等，最后几章还包含了大量的实例研究和一些更高级的程序设计技术。本书提倡一种严格的程序开发方法，分析问题要用严格方式写出程序的规范，而后通过一系列具有严格理论基础的推导，最终得到可以运行的程序。 本书是被世界上许多重要大学采用的教材，适于计算机及相关专业的本科生和研究生使用。一起来看看 《从规范出发的程序设计》 这本书的介绍吧!
