Documente Academic
Documente Profesional
Documente Cultură
TA LES D E U N P R O G R A M A
TEMAS A DESARROLLAR:
Implementacin Prueba Mantenimiento
-Documentacin
Lenguaje de Programacin: Alfabeto. - Lxico:
Palabras reservadas- Reglas lxicas
(identificadores vlidos). Sintaxis. Semntica.
Interfaz de usuario: diseo de formularios.
Elementos y propiedades.
CO N CEPTO S:
Mantenimiento: El mantenimiento de software es una actividad muy amplia que incluye la correccin de
errores, mejoras de las capacidades, eliminacin de funciones obsoletas y optimizacin. Debido a que el
cambio es inevitable, se debe desarrollar mecanismos para la evaluacin, controlar y hacer
modificaciones.
SINTAXIS
Un programa en cualquier lenguaje se puede concebir como un string de caracteres escogidos
de algn conjunto o alfabeto de caracteres. Las reglas que determinan si un string es un
programa vlido o no, constituyen la sintaxis de un lenguaje. Posteriormente, se estudiarn
ciertas notaciones denominadas expresiones regulares y gramticas libres de contexto, muy
usadas no slo para especificar las sintaxis de los lenguajes de programacin sino tambin
para contribuir en la construccin de sus compiladores.
SEMANTICA
Las reglas que determina el significado de los programas constituyen la semntica de los lenguajes de
programacin. Es ms difcil de especificar que la sintaxis.
Los siguientes son algunos enfoques para especificar la semntica de los lenguajes:
*Semntica Interpretativa (u Operacional)
Un lenguaje de programacin tiene su semntica definida por el computador. Un programa en lenguaje
de mquina "significa" exactamente lo que el computador hace cuando el programa "corre" o se ejecuta.
Sin embargo, con un lenguaje de alto nivel no se puede dejar que el computador defina la semntica del
lenguaje, puesto que no es posible "correr programas y ver" hasta que se tenga un compilador. No se
puede tener un compilador y saber qu es correcto hasta haber definido lo que los programas significan.
*Traduccin : La traduccin de un lenguaje assembly a lenguaje de programacin (que es directa y
comprensible), forma una especificacin semntica muy usada para un lenguaje assembly.
El compilador para un lenguaje de alto nivel sobre una mquina especfica llega a ser la definicin
semntica del lenguaje.
*Definicin Axiomtica
Se pueden definir reglas que relacionan los datos antes y despus de la ejecucin de cada programa.
Estas reglas se pueden usar para proveer teoremas acerca de la relacin E/S de un programa. Este
enfoque tiene la ventaja que puede usarse para definir semnticas para un aparte ms que para todos
los aspectos de un lenguaje.
*Definicin Extensible
En este enfoque se definen ciertas operaciones primitivas y el significado del lenguaje en trminos de
estas primitivas. Ejemplo LISP.
*Semntica Matemtica o Denotacional
Los objetos matemticos corresponden a programas que son definidos, y reglas abstractas para traducir
programas a estos objetos abstractos
IN TERFAZ D E U SU ARIO
DISEO DE FORMULARIOS: Las bases de
ELEMENTOS:
PRO PIED AD ES
Existen dos propiedades