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
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
