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