a maioria do software não será desenvolvido da mesma forma que antes. o desenvolvimento orientado a especificações com testes abrangentes está a crescer. o código não é discutível, é verificável, consistente e determinístico. quem quiser essas propriedades irá utilizar código para resolver os seus problemas