ACM

ACM通信

BLOG@CACM

精炼你的搜索:

计算机科学与数据科学教育中的过程-客体二元性

从BLOG@CACM

过程-客体二元性对教与学过程的设计具有若干教育意义。

奥里特·哈赞和科比·迈克|2022年的11月2日

从BLOG@CACM

不是你祖母教科书式的锻炼

讽刺，在你最想不到的地方。 Bertrand Meyer
从BLOG@CACM|2022年9月1日下午03:47

从BLOG@CACM

人人都知道的和没人知道的

谁在乎逻辑? Bertrand Meyer
从BLOG@CACM|2020年10月15日上午09:03

从BLOG@CACM

制定正确的程序(7)

你以前运行过程序证明吗?现在你的机会来了! Bertrand Meyer
从BLOG@CACM|2020年3月12日下午01:46

从BLOG@CACM

制定正确的程序(6)

谢谢你的耐心。 Bertrand Meyer
从BLOG@CACM|2020年3月9日下午03:22

从BLOG@CACM

把程序做对(1)

为什么有一个系统的软件验证方法是好的。 Bertrand Meyer
从BLOG@CACM|2020年2月22日上午08:38

从BLOG@CACM

健全和完整性:精确

程序分析的两个关键特性是相互对偶的。 Bertrand Meyer
从BLOG@CACM|2019年4月20日中午12点58分

从BLOG@CACM

重要软件工程问题的经验答案(2的第1部分)

超出了灯柱 Bertrand Meyer
从BLOG@CACM|2018年1月17日凌晨02:59

从BLOG@CACM

一次或两次颠簸(上)

如果你认为你已经知道某件事，你就无法学到它。 Bertrand Meyer
从BLOG@CACM|2016年6月28日下午01:24

从BLOG@CACM

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

程序修复自己!今天!这是可怕的! Bertrand Meyer
从BLOG@CACM|2015年7月6日上午11:13

从BLOG@CACM

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

一个新的EdX MOOC强调抽象、契约式设计和软件质量。 Bertrand Meyer
从BLOG@CACM|2014年9月29日上午10:00

从BLOG@CACM

打字没有打字

类型推断使面向对象/函数式编程语言变得实际。 Bertrand Meyer
从BLOG@CACM|2014年8月4日下午01:59

从BLOG@CACM

运行时断言:您在等待什么?

契约式设计能避免“心脏出血”吗? Bertrand Meyer
从BLOG@CACM|2014年5月12日上午08:37

从BLOG@CACM

天启不!(第2部分)

灾难论和对可疑研究的依赖在软件工程的严肃讨论中没有立足之地。 Bertrand Meyer
从BLOG@CACM|2013年4月4日上午10:19

从BLOG@CACM

北方威尼斯的软件工程

ESEC-FSE 2013(8月18-26日在圣彼得堡举行)是2013年软件工程的举办地。 Bertrand Meyer
从BLOG@CACM|2013年1月22日上午09:15

从BLOG@CACM

软件工程的基本二重性

当x = 6时，函数值是多少? Bertrand Meyer
从BLOG@CACM|2012年10月18日上午09:37

从BLOG@CACM

约翰·麦卡锡

约翰·麦卡锡的贡献和个性，计算机科学的先驱之一。 Bertrand Meyer
从BLOG@CACM|2011年10月28日上午09:57

从BLOG@CACM

瓦茨·汉弗莱:《缅怀拓荒者》

瓦茨·汉弗莱几周前离开了我们。他对专业软件工程的贡献是必不可少的。 Bertrand Meyer
从BLOG@CACM|2010年11月15日下午03:27

从BLOG@CACM

吸取教训，还是不吸取

许多改进编程的技术已经存在很长时间了。 Bertrand Meyer
从BLOG@CACM|2010年1月29日上午07:55