Monthly Archives: January 2006

Power Point, Rocket Science and dangers of compelling stories

Posted on January 3, 2006 by yodaiken

In American English, you can say that something is not too difficult by saying “it’s not rocket science.” We don’t have a good idiom for saying the opposite – that something is hard to understand, not bullet-pointable. Edward Tufte dislikes … Continue reading →

Posted in embedded systems, software business, software engineering | Leave a comment

Formal methods and academic computer science

Posted on January 2, 2006 by yodaiken

Holloway [22] points out that the typical argument in favor of formal methods (that software is bad, unique, and discontinuous; that testing is inadequate; and that formal methods are essential to avoid design flaws) is logically flawed, and unnecessarily complex … Continue reading →

Posted in software engineering | Leave a comment