Omar Murray escreveu:
El arte no se matricula...... y programar es un arte.... Y si de poner restricciones es el tema.... que se restrinja por conocimientos.... no por títulos... Saludos
No quiero meter más leña en la fogata, mismo porque Argentina está cruzando "el charco" no más y es un buen lugar para trabajar y tomar una "merengada" en el Tortoni, pero sin embargo, encontré el siguiente fragmento en el libro "Abstract Data Types in Modula-2" de Rachel Harrison:
"The defintion of an abstract data type provides us with a specification which can be used in a formal verification of a program's correctness. Over the past twenty years or so computer scientists have become increasingly concerned with the need to produce software which has not only been tested on some limited set of input data but which has been actually *proved* to be correct in all cases. Consider how important this is in production of an air-traffic control system, for example, or a system to control a nuclear reactor. This interest in verification has led to much research on specification techniques, since there must be a correct and formal specification against which an implementation can be verified. This interest in formalism is part of the endeavor to transform software engineering from an art to a science."
Saludos. -- Miguel Da Silva Administrador de Red Centro de Matemática - http://www.cmat.edu.uy Facultad de Ciencias - http://www.fcien.edu.uy Universidad de la República - http://www.rau.edu.uy