Bertrand Meyer
Why it is good to have a systematic approach to software verification.
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 in…
In Search of the Shortest Possible Schedule
Bertrand Meyer considers how to speed up software engineering.
Knowing the notion of sufficient completeness and the theory of abstract data types helps practitioners produce better requirements.
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