Communications of the ACM
Refine your search:
How Did Scientists Succumb to Aunt Edna? The Dangers of a Superintelligent AI is Fiction
Speaking of the existential threat of AI is science fiction, and bad science fiction for that matter because it is not based …
From BLOG@CACM
Getting a Program Right (1)
Why it is good to have a systematic approach to software verification.
From BLOG@CACM
There is More Than One Way to Become a Good Programmer
A recent Communications of the ACM article casts aspersions on the innovative concept of code academy, a fast-developing approach to teaching programming. The analysis...
From BLOG@CACM
Talented Programmers Don't Tolerate Chaos
Talented programmers will strive to structure chaos and write perfect code.
From BLOG@CACM
Not So Good After All? Don't Let 'Altruism' Kill Your Company
Altruism is often heralded as a panacea for management challenges, but it could actually be a death sentence for your team and projects. Here's why.
From BLOG@CACM
Are My Requirements Complete?
Knowing the notion of sufficient completeness and the theory of abstract data types helps practitioners produce better requirements.
From BLOG@CACM
The Shortest Possible Schedule Theorem: Yes, You Can Throw Money at Software Deadlines
As close as we have to a universal law of software engineering management.
From BLOG@CACM
Hazardous Enthusiasm and How Eagerness Can Kill A Project
Many otherwise competent software developers and potential contributors end up being overwhelmed by "hazardous enthusiasm." They end up overwhelmed by their excitement...
From BLOG@CACM
A Design Perspective on Computational Thinking
Maybe we can just design away the need to teach computational thinking
From BLOG@CACM
Soundness and Completeness: Defined With Precision
The two key properties of program analysis are dual of each other.
From BLOG@CACM
An Agile Approach to Learning Programming
The Super Simple Programming Book is one example to teach programming in an Agile way. In general, Agile concepts can lead to highly effective learning.
From BLOG@CACM
Using Independent Technical Reviews to Ensure Project Success
By using independent technical reviews, management can have a third party audit software and ensure the dev team stays on track.
From BLOG@CACM
Why is Privacy So Hard?
Why is privacy so hard? Why is it, after so much negative press about it, are we still being constantly tracked on the web and on our smartphones? Why is it, after...
From BLOG@CACM
What Is a Variable?
A stab at a definition, for outsiders, of what we in computing mean by the term "variable" raises more questions than it answers.
From BLOG@CACM
The Formal Picnic Approach to Requirements
A mathematical excursion will improve your requirements.
From BLOG@CACM
Scalable Intelligent Systems by 2025
People are fundamental to a Scalable Intelligent System; there is no computer-only solution that can implement such a system.
From BLOG@CACM
How Did People Write Machine Learning Code in the Past?
Summarizes popular programming languages and libraries that have been used for machine learning throughout the past two decades.
From Communications of the ACM
Discovering Bugs, or Ensuring Success?
Finding errors is not the same as making certain a software product works correctly.
From BLOG@CACM
Blame-Free Quality Control
How liable should programmers be for the quality of their software?
From BLOG@CACM
Discussing Empirical Answers to Questions of Software Engineering
Focusing on what helps software developers.
From BLOG@CACM