我的随笔

可靠性-泛代数的解释 阿飞外传 2004-11-07 01:10 阅读:1054 评论:0 推荐:0   
元建模级别 阿飞外传 2004-11-07 00:58 阅读:1231 评论:0 推荐:0   
可靠性与完备性 阿飞外传 2004-11-03 11:51 阅读:910 评论:1 推荐:0   
由模型转换正确性所想 阿飞外传 2004-10-18 18:19 阅读:832 评论:0 推荐:0   
表面语法与抽象语法 阿飞外传 2004-08-28 00:52 阅读:1648 评论:0 推荐:0   
<<产生式编程方法,工具与应用>>问题 阿飞外传 2004-08-16 02:57 阅读:1080 评论:0 推荐:0   
图模式 阿飞外传 2004-08-16 01:21 阅读:808 评论:0 推荐:0   
OCL需要吗 阿飞外传 2004-08-16 01:16 阅读:4080 评论:7 推荐:0   
AOP的二级语言 阿飞外传 2004-08-16 00:54 阅读:897 评论:1 推荐:0   
MDA技术url 阿飞外传 2004-08-16 00:43 阅读:649 评论:1 推荐:0   

导航