About Me
I've been writing software professionally since around 2000. In that time I've tried to collect a wide range of skills and specialties. We used to call that "full stack" development but that term has soured a bit as hiring managers started adopting so I'd say I'm a generalist now.
All that said I have a couple specific focuses I want write about, which should be will become clear in the upcoming articles. One is tooling and approaches to light weight formal methods. Truthfully I'm not sure that's the right term, perhaps the better description is executable design documents. However it feels too early to worry about these distinctions.
The other topic I find myself writing about is allowing users to express them selves through interfaces. Particularly, how do we give them greater control over filtering, sorting, and focusing on the information they need at the right time.
Getting started with mCrl2 via State Machines
posted onThe heart of most systems can be described as lots of simple state machines. One of the best ways to understand how large systems work is describing them as independent little finite state machines. In this intro article I’ll describe some of the ways of directly creating state machines, as well as…