ACM

ACM通信

BLOG@CACM

精炼你的搜索:

Starlink的关键漏洞，或者埃隆·马斯克没有白费担心

从BLOG@CACM我们分析了SpaceX公司部署的Starlink全球卫星系统的操作，从安全性和弹性方面……安德烈·苏霍夫，叶夫根尼·萨加托夫，德米特里·菲利莫诺夫|2022年10月27日

从BLOG@CACM

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

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

从BLOG@CACM

巴里·伯姆的遗产

正如我们所知，他是软件工程的创始人之一。 Bertrand Meyer
从BLOG@CACM|2022年8月23日上午05:22

从BLOG@CACM

精神上的自我检查

谁疯了:世界上的其他人，还是我? Bertrand Meyer
从BLOG@CACM|2022年1月19日下午01:30

从BLOG@CACM

千言万语不值一提

图片不能代替实质内容。 Bertrand Meyer
从BLOG@CACM|2021年10月12日下午01:21

从BLOG@CACM

是时候挖掘PSP了?

个人软件过程鼓励程序员自律。它在很大程度上被遗忘了，确实有一些瑕疵，但理解和应用它的核心思想仍然是…… Bertrand Meyer
从BLOG@CACM|2020年12月14日下午04:37

从BLOG@CACM

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

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

从BLOG@CACM

正确编写程序(9)(上)

正确的程序是在所有情况下都有效的程序。 Bertrand Meyer
从BLOG@CACM|2020年3月16日下午02:01

从BLOG@CACM

制定正确的程序(8)

循环不变量的力量。 Bertrand Meyer
从BLOG@CACM|2020年3月15日下午03:14

从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

正确编写程序(5)

我们到了吗? Bertrand Meyer
从BLOG@CACM|2020年3月6日下午01:28

从BLOG@CACM

正确编写程序(3)

尝试#3编写一个二进制搜索程序。 Bertrand Meyer
从BLOG@CACM|2020年3月2日下午01:48

从BLOG@CACM

制定正确的程序(2)

试图修复二分搜索尝试。 Bertrand Meyer
从BLOG@CACM|2020年2月28日下午01:57

从BLOG@CACM

把程序做对(1)

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

从BLOG@CACM

要成为一名优秀的程序员，方法不止一种

ACM最近的一篇通讯文章对代码学院的创新概念进行了抨击，这是一种快速发展的编程教学方法。分析…… Bertrand Meyer
从BLOG@CACM|2020年2月11日上午07:01

从BLOG@CACM

我的要求是否完整?

了解充分完整性的概念和抽象数据类型的理论有助于从业者产生更好的需求。 Bertrand Meyer
从BLOG@CACM|2019年11月26日中午12:01分

从BLOG@CACM

最短时间表定理:是的，你可以在软件的截止日期上砸钱

我们已经有了一个软件工程管理的普遍规律。 Bertrand Meyer
从BLOG@CACM|2019年10月27日下午02:00

从BLOG@CACM

健全和完整性:精确

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

从BLOG@CACM

需求的正式野餐方法

数学上的探索将改善您的需求。 Bertrand Meyer
从BLOG@CACM|2018年11月12日下午04:00

从BLOG@CACM

讨论软件工程问题的实证答案

专注于如何帮助软件开发人员。 Bertrand Meyer
从BLOG@CACM|2018年7月25日12点21分

1 2 3.