Tugurium/GTI

Glosario Terminología Informática

programming theory

0 teoría de la programación
Denominación general de un conjunto de áreas que aplican los métodos matemáticos al estudio de la programación. Entre estas áreas están: la gramática y semántica de los lenguajes de programación, las especificaciones de programas, la metodología de la programación y las pruebas de corrección de programas.
1997-03-27