Communications of the ACM
Refine your search:
Automatic Language Translation Still Unsatisfactory
Google Translate and DeepL Translate still have trouble recognizing the second person singular and plural and the polite form…
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
Ten Traits of Exceptional Innovators
I have had the privilege of meeting, and in some cases closely interacting with, pioneer scientists, technologists, and entrepreneurs, including Nobel, Fields,...
From BLOG@CACM
Discussing Empirical Answers to Questions of Software Engineering
Focusing on what helps software developers.
From BLOG@CACM
When Will We Learn?
Massive software failure once again, with no lesson from past occurrences and no lesson for future systems.
From BLOG@CACM
Empirical Answers to Important Software Engineering Questions (Part 2 of 2)
Time to start from what matters to practitioners
From BLOG@CACM
Empirical Answers to Important Software Engineering Questions (Part 1 of 2)
Beyond the lamppost
From BLOG@CACM
The End of Software Engineering and the Last Methodologist
Let's all do deep learning now.
From BLOG@CACM
The Mythical Brooks Law
Yes, you can make a project less late by adding manpower. If you are a good manager.
From BLOG@CACM