Saturday, May 7, 2011

Occupational closure for computer science?

In Communications of the ACM Bjarne Stroustrup argues that computer science should undergo occupational closure..

What were the economic implications when this happened to medicine, engineering, and law? It seems that there inevitably follows a proliferation of lesser certifications. Perhaps it would displace the commercial certifications designed to encourage vendor lock-in.

Is the field of computer science mature enough to know what should be involved in certification?

Would certification have prevented the Arianne5 and Patriot accidents? Weren't certified engineers on those projects as well as the Challenger project?

Maybe we should be pushing formal verification for critical software?