本文译至：http://sel4.systems/CAmkES/About.pml
关于CAmkES
CAmkES是面向seL4的一个基于组件的软件平台。它提供了一个软件开发和运行时平台，允许开发人员设计基于seL4的系统作为交互组件的集合。
动机
基于微内核的多服务器操作系统被设计成一个保护和分离服务的集合，服务之间通过进程间通信机制进行通信。由于这些服务是由内核和硬件...
分类：
其他好文 时间：
2014-08-31 15:50:41
阅读次数：
526
两三年以前，和友人谈到 QA（软件质量保证） 这个行业，还有 QA 这个团队的未来，就有了一丝忧虑。而现在，终于有机会实践一下自己之前的想法，在这里分享给大家。从我有限的从业经验到现在，经历了很多次软件开发模式的变化，这些变化，或因为跟风，或因为有切实的问题要解决，总之始终处于各种不同的尝试的路上。...
分类：
其他好文 时间：
2014-08-31 15:46:01
阅读次数：
357
【来信】 老师，我是大一学生，学了C++半年(教材)，然后如今非常迷茫，不知道怎么去提高，然后我去看MFC和API，我全然看不懂，我也不知道如今要去看什么书好，希望老师能指点一下，或者推荐书籍给我，十分感谢！【回复】 当在学习中面对全然看不懂的书时，该为看懂这本书做些准备了。假设问题出在语言上，.....
分类：
其他好文 时间：
2014-08-31 13:10:11
阅读次数：
196
阅读目录：1.背景介绍2.简单介绍领域模型模式、活动记录模式3.活动记录模式的简单示例及要点4.总结1.背景介绍对软件开发方法论有兴趣的博友应该发现最近“领域驱动设计”慢慢的被人发现被人实践起来，园子里也慢慢有了DDD的学习气氛和宝贵实战经验的分享。其实之前我也痴迷于DD..
分类：
Web程序 时间：
2014-08-31 10:38:42
阅读次数：
325
第3部分 软件研发工作总结VC++集成开发环境中Linux下Pclint工程的配置方法及常见错误修改 【文章摘要】 Pclint是一种C/C++软件代码静态分析工具。它是一种更加严格的编译器，能够发现普通编译器所不能发现的代码中的很多问题，因此被广泛应用于软件开发项目中。 本文介绍了如何在VC++集成开发环境中配置Linux下的Pclint工程，给出了C语言中pclint...
分类：
编程语言 时间：
2014-08-31 10:31:15
阅读次数：
631
什么是ORM？对象-关系映射：Object/Relation Mapping，简称ORM。 ORM是随着面向对象的软件开发方法发展而产生的，面向对象的开发方法是当今企业级应用开发环境中的主流开发方法，关系数据库是 企业级应用环境中永久存放数据的主流数据存储系统。对象和关系数据是业务实体的两种表现.....
分类：
其他好文 时间：
2014-08-31 00:19:50
阅读次数：
304
阅读目录：
1.背景介绍
2.简单介绍领域模型模式、活动记录模式
3.活动记录模式的简单示例及要点
4.总结
1.背景介绍
对软件开发方法论有兴趣的博友应该发现最近“领域驱动设计”慢慢的被人发现被人实践起来，园子里也慢慢有了DDD的学习气氛和宝贵实战经验的分享。其实之前我也痴迷于DDD，为什么会痴迷于它并不是因为它是所谓的新技术，也不是因为各种对它的炒作，而是我觉得我找到了能解放我...
分类：
Web程序 时间：
2014-08-30 21:48:00
阅读次数：
243
对软件开发方法论有兴趣的博友应该发现最近“领域驱动设计”慢慢的被人发现被人实践起来，园子里也慢慢有了DDD的学习气氛和宝贵实战经验的分享。其实之前我也痴迷于DDD，为什么会痴迷于它并不是因为它是所谓的新技术，也不是因为各种对它的炒作，而是我觉得我找到了能解放我们进行企业业务系统开发的方法论。
...
分类：
Web程序 时间：
2014-08-30 21:33:30
阅读次数：
280
PS:退ACM集训队了，自己也疯玩了两天，后天就开学了，就正式大二了，该收收心好好学习啦
JAVA概述
首先先复习一下基础常识：
1.软件开发
2.人机交互
3.常用的DOS命令
一、软件开发
什么是软件？
软件...
分类：
编程语言 时间：
2014-08-30 15:09:59
阅读次数：
294
