Comments on "Why Engineers Should Consider Formal Methods"

October 20, 2009 A few quick comments on the excellent paper from 1997, "Why Engineers Should Consider Formal Methods".

Filed under computer-sciencesoftware-engineering

Technical Debt and Peanut Butter Jars

March 10, 2009 Let me regale you with the story of technical debt and peanut butter jars. A harrowing tale from my past.

Filed under reflectionsoftware-engineering

Paper Review of "A Transaction Model"

August 18, 2009 Here is my first attempt at putting together some thoughts on a computer science paper, in this case Jim Gray's A Transaction Model from 1980. It is an excellent paper which pushed me to think about my current work project in a broader light, and also inspired some ideas about potential future side-projects to experiment with.

Filed under computer-sciencesoftware-engineeringtransactions

Technology Inheritance

March 7, 2017 Some thoughts about how technology stacks propagate from company to company, often creating a hazy second life for less successful opensource projects.

Filed under software-engineering