Chris Lanfear from VDC systems asks FSMLabs has the product line, but lacks the market presence and awareness that other companies have invested in with venture-backed capital. We believe the company has largely bootstrapped itself over the years and while
PowerPoint and RocketScience II
In a previous note I objected to venture capitalist Guy Kawasaki’s requests (demands) for shallow and glib sales pitches in PowerPoint, but Professor Edward Tufte is also asking for sales pitches, just ones with more sober disguise. When you read
Digital Rights Management and Logic
The Sony DRM fiasco is due to a common failure of requirements management logic. If an engineered system relies on certain properties, whenever you add a new requirement, you need to check consistency. You have a boat that has EnoughCargoSpace
Power Point, Rocket Science and dangers of compelling stories
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
Formal methods and academic computer science
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