acm-header
登录

ACM通信

BLOG@CACM


优化你的搜索:
日期 一年多以前
主题 计算机系统
作者 Bertrand Meyer
bg-corner

我的需求完整吗?
从BLOG@CACM

我的需求完整吗?

了解充分完整性的概念和抽象数据类型的理论有助于实践者产生更好的需求。

完整性和完整性:精确
从BLOG@CACM

完整性和完整性:精确

程序分析的两个关键属性是相互对偶的。

只需按下重启键
从BLOG@CACM

只需按下重启键

为什么媒体一直在谈论“电脑问题”?

机器人正在接管一切!(也许还没有)
从BLOG@CACM

机器人正在接管一切!(也许还没有)

程序自行修复!今天!这是可怕的!

计算机:艺术,魔法,科学
从BLOG@CACM

计算机:艺术,魔法,科学

新的EdX MOOC强调抽象、契约式设计和软件质量。

那些说代码不重要的人
从BLOG@CACM

那些说代码不重要的人

通常,你会被告知编程语言并不重要。这是一个相当普遍的规则,认为语言无关紧要的人只是在尝试……

北方威尼斯的软件工程
从BLOG@CACM

北方威尼斯的软件工程

ESEC-FSE 2013(8月18-26日在圣彼得堡举行)是2013年软件工程的盛会。

从BLOG@CACM

约翰·麦卡锡

计算机科学的先驱之一约翰·麦卡锡的贡献和个性。

增量研究万岁!
从BLOG@CACM

增量研究万岁!

“突破!资助机构叫嚷道,他们鄙视“增量式”研究。当然,每个人都需要炒作;事实上,几乎所有的研究都是好的…

再次强调:推进软件工程的一条可靠途径
从BLOG@CACM

再次强调:推进软件工程的一条可靠途径

随着航空业在安全方面的惊人改进,有一种经过验证的方法可以改善软件的状态。IT行业忽视了这一点。为什么…

瓦茨·汉弗莱:纪念先驱
从BLOG@CACM

瓦茨·汉弗莱:纪念先驱

沃茨·汉弗瑞几周前离开了我们。他对专业软件工程的贡献是必不可少的。

计算机科学裁判程序的修正
从BLOG@CACM

计算机科学裁判程序的修正

有一个简单的方法可以让裁判变得更好,几乎是一夜之间。这需要一些勇气,但它将恢复过程的诚实和质量。

展示欧洲计算机科学
从BLOG@CACM

展示欧洲计算机科学

回顾2009年欧洲计算机科学峰会和启动ACM欧洲

经验软件工程的兴起(一):好消息
从BLOG@CACM

经验软件工程的兴起(一):好消息

在诸如国际软件工程会议(ICSE)这样的地方,经验软件工程论文曾经很糟糕。也有例外,比如……
登录全面存取
忘记密码? »创建ACM Web帐户
Baidu
map