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.
Bertrand Meyer
Advertisement
Soundness and Completeness: Defined With Precision
The two key properties of program analysis are dual of each other.
The Formal Picnic Approach to Requirements
A mathematical excursion will improve your requirements.
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, and Turing winners. It is only fair that I should share some of the traits I have observed in them.
Discussing Empirical Answers to Questions of Software Engineering
Focusing on what helps software developers.
Massive software failure once again, with no lesson from past occurrences and no lesson for future systems.
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved