Responsible Programming.
The author focuses on the need for computer programmers to have a clear sense of responsibility for the reliable operation of the software they write and a resistance to compromise and error. He states that programmer Steve Crocker pursued a dissertation on provable correctness of programs and the c...
| Publicado en: | Communications of the ACM Vol. 57; no. 7; pp. 7 - 8 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Jul2014
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| Sumario: | The author focuses on the need for computer programmers to have a clear sense of responsibility for the reliable operation of the software they write and a resistance to compromise and error. He states that programmer Steve Crocker pursued a dissertation on provable correctness of programs and the complexity of tools available to programmers for validating assertions. He talks about the use of subroutine libraries in verifying program correctness and how it can assist in the validation process. |
|---|