- 授权协议: AGPL
- 开发语言: JavaScript
- 操作系统: 跨平台
- 软件首页: http://obullxl.duapp.com
- 软件文档: http://obullxl.duapp.com/topic-blog-14.html
软件介绍
软件用途:博客系统
使用方法:
1、安装Node.js:http://www.nodejs.org/dist/ 找到最适合的版本。如果自己有空间,可以自主安装,建议选择最新版本;如果是使用的免费的托管,建议下载适合的版本;
2、下载OSN源代码:https://github.com/obullxl/osnode-site.git
3、安装数据表:运行OSN源代码中db.sql文件;
3、修改配置:根据实际情况,修改数据库配置:修改start.bat中变量值;
4、启动OSN站点:运行start.bat即可;
5、前端页面:http://localhost;后端页面:http://localhost/admin;用户名和密码为 admin/888888
功能演示:
1、百度云:http://obullxl.duapp.com/
2、红帽OpenShift:https://obullxl-osnode.rhcloud.com/
功能说明V1.0:
1、前端采用目前最流行之一的Bootstrap构建,在PC、手机等设备浏览保持一致;
2、发布简单,目前已经在本地、阿里云引擎、百度云引擎部署;
3、根据不同的模块分不同的频道;
4、功能丰富的后端(还在完善中……);
5、博客评论支持gravatar.com全局头像;
从规范出发的程序设计
[美] Carroll Morgan / 裘宗燕 / 机械工业出版社 / 2002-8 / 45.00元
本书详细论述了有关规范程序设计的内容,包括:程序和精化、谓词演算、选择、迭代、构造类型、模块和封装等,最后几章还包含了大量的实例研究和一些更高级的程序设计技术。本书提倡一种严格的程序开发方法,分析问题要用严格方式写出程序的规范,而后通过一系列具有严格理论基础的推导,最终得到可以运行的程序。 本书是被世界上许多重要大学采用的教材,适于计算机及相关专业的本科生和研究生使用。一起来看看 《从规范出发的程序设计》 这本书的介绍吧!
