acm-header
登录

ACM通信

表的内容


ACM论坛


计算角度:软件和程序员

没有数学和实验科学,工程就不可能存在。数学研究纯粹的思想,而实验科学研究自然规律。在同样的框架内,可以说目标是…

实用的程序员:测试让人满意

一个团队如何使软件测试成为开发过程中不可分割的一部分。

为软件工程的未来奠定基础


LaSSIE:一个基于知识的软件信息系统


实时系统的多级规范


形式化软件开发的一个实验:在VDM案例研究中使用B定理证明


规范级别的互操作性


为软件重用实现分面分类


内部风险:期待意外的呼救


Baidu
map