Stories by Jtsummers

Introduction to C program proof with Frama-C and its WP plugin [pdf]

Append Only Development with React

FAQ Sheet on Feature Interaction (2004)

Backyard Star Wars (2010)

Experts Have Predicted Automation Will Lead to Aviation Disasters for Years

Software Factories

Managing Organizational Forgetting

On Formalism in Specifications (1985) [pdf]

Using Formal Methods at Work

Iterative and Incremental Development: A Brief History [pdf]

The Magpie Developer (2008)

The Immaturity of CMM

STAMPing on event-stream

Filtered Dispatch (2008) [pdf]

An epic treatise on scheduling, bug tracking, and triage

The Design of Parallel Programming Languages

The Small Batches Principle (2016)

The World's Most Efficient Languages (2016)

Modeling Message Queues in TLA+

The Trump Administration Flunked Its Math Homework

4
5
6
7
8
9
10
11
12
13