On what exactly goes on when software is
โ
Tom Maibaum
๐
Article
๐
2003
๐
Elsevier Science
๐
English
โ 163 KB
At the workshop in honour of his 65th birthday, Wlad Turski reprised his professional life and, unusually for him, ended on a pessimistic note. He seemed to think that his and others' efforts to introduce systematic, mathematically based engineering methods for software had been a failure. The purpo