- 授权协议: Apache
- 开发语言: C/C++
- 操作系统: Linux
- 软件首页: http://code.google.com/p/k-framework/
- 软件文档: http://code.google.com/p/k-framework/w/list
软件介绍
K是一个可执行的语义框架，可通过配置、计算和规则来定义编程语言，calculi以及各种表达式分析工具。
\||||||||||||||||||/
--- Welcome to Maude ---
/||||||||||||||||||\
Maude 2.4 built: Nov 6 2008 16:42:13
Copyright 1997-2008 SRI International
Tue Apr 13 09:40:30 2010
Maude>
构建之法（第二版）
邹欣 / 人民邮电出版社 / 2015-7 / 59
软件工程牵涉的范围很广, 同时也是一般院校的同学反映比较空洞乏味的课程。 但是软件工程的技术对于投身IT 产业的学生来说是非常重要的。作者邹欣有长达20年的一线软件开发经验，他利用业余时间在数所高校进行了长达6年的软件工程教学实践，总结出了在16周的时间内让同学们通过 “做中学 (Learning By Doing)” 掌握实用的软件工程技术的教学计划，并得到高校师生的积极反馈。在此基础上，作者对......一起来看看 《构建之法（第二版）》 这本书的介绍吧!
