Engineering versus hacking
... -->[Model] --Refine--> [Model] ---> ...
versus
Code --> Code --> Code ... -->
In the first one I create Finite State Machine
write it in code, rewrite FSM and so on..
Second one - pure code and rapid prototyping.
------
The first one makes me think about model theory like:
First order language ---> Structure described in it
Quantifier bound logic -> The graph described by it