摘要: 本文为形式化方法:VDM++系列2————介绍了VDM++开发环境的配置和基本使用 阅读全文
posted @ 2014-11-12 03:44 Kassadin 阅读(1576) 评论(0) 推荐(0) 编辑
摘要: It is cool to write SaSS code. This paper introduces the features of sass and how to write sass code. 阅读全文
posted @ 2014-10-16 21:19 Kassadin 阅读(1061) 评论(4) 推荐(0) 编辑
摘要: 本文为Ruby on Rails的系列4:Rails应用的国际化[i18n],介绍了如何在Cloud 9云平台下实现Rails应用的国际化 阅读全文
posted @ 2014-10-08 23:32 Kassadin 阅读(2922) 评论(4) 推荐(1) 编辑
摘要: 本文为Ruby on Rails的系列3,介绍了(1)如何使用Cloud 9云平台开发Rails应用程序;(2)使用Scaffold自动构建第一个Rails应用程序 阅读全文
posted @ 2014-10-02 21:20 Kassadin 阅读(3240) 评论(0) 推荐(1) 编辑
摘要: 本文为Ruby on Rails的系列2,详细介绍了Ruby on Rails在Linux下的环境配置,以及集成开发环境Aptana的安装 阅读全文
posted @ 2014-09-23 22:49 Kassadin 阅读(2092) 评论(3) 推荐(1) 编辑
摘要: 介绍了Ubuntu系统下,如何获取和登录root账户 阅读全文
posted @ 2014-09-19 16:22 Kassadin 阅读(341) 评论(2) 推荐(0) 编辑
摘要: 本文是Ruby on Rails系列1: (1)介绍了Vmare虚拟机的安装与配置 (2)介绍了Scientific Linux的安装与配置 阅读全文
posted @ 2014-09-19 14:16 Kassadin 阅读(980) 评论(4) 推荐(2) 编辑
摘要: 介绍了【形式化方法:VDM++系列】的开坑计划 阅读全文
posted @ 2014-09-16 22:31 Kassadin 阅读(657) 评论(1) 推荐(1) 编辑