Communications of the ACM
Refine your search:
Where is the Cradle of the Computer?
The digital computer of today arose in the first half of the 1940s independently in three different countries: Germany, the U…
From BLOG@CACM
Tips for Successful Examinations in the Age of Remote Education
Rather than fancying you can control Internet access, design exams to reward students who won't need it.
From BLOG@CACM
Lessons From and For Online Teaching
The troika model for successful online teaching.
From BLOG@CACM
Time to Exhume PSP?
The Personal Software Process encourages programmer discipline. Largely forgotten, it does have a few wrinkles, but understanding and applying its core ideas remains...
From BLOG@CACM
Things To Do To An Algorithm
What happens when people's fate hangs on machine learning?
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
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
Soundness and Completeness: With Precision
The two key properties of program analysis are dual of each other.
From BLOG@CACM
The Formal Picnic Approach to Requirements
A mathematical excursion will improve your requirements.
From BLOG@CACM