Resumen
The article focuses on formal approaches to computer software. Formal methods have been the part of computing lexicon since the 1960s, though it had no remarkable impact on the practice of software engineering. Advocates of the formal approaches say or imply it is the ignorance and intransigence of practitioners that explains their lack of use of formal approaches. Opponents of the formal approaches and opposition are considerably subtler than the advocacy being seen, or imply it is the impracticality of the approaches themselves that prevents their use. Formal specification and formal verification are the two primary examples of these formal methods. There has been a solid twenty or more years of formal methods education worldwide. There is little reason to assume that education and educators have failed the formal methods movement, and there is of course no reason at all to assume that customers prefer vagueness. If the practitioners can't make their case on the merits, they may well resort to chicanery.