1. 0

  2. 2

    Interesting article. A few things I noticed.

    “when you hear button you automatically think “click.” It is the typical action for a button, and can easily be inferred.”

    It’s these kinds of assumptions that turn into screw-ups later. About every tool for formal specification that I can think of has some form of subject/actor, the action, and the object/acted-on. You should keep click so every kind of person under any integration circumstances knows it’s a click beyond a shadow of a doubt. Achieving that certainty is main benefit of formal or precise specifications. Number-only password seems OK. Annoying box is probably a joke but should be more descriptive.

    “The word “ug” has the advantage of being terser and also caveman-thematic. “

    Ok, so this is a comedy piece. Never mind.