Lenguajes y Técnicas de Programación. I. Objetivos Los alumnos que aprueben este curso deberán ser capaces de :

Transcripción

1 Universidad de Santiag de Chile Departament de Matemática y Ciencia de la Cmputación. LICENCIATURA EN CIENCIA DE LA COMPUTACIÓN PROGRAMA DE ASIGNATURA Lenguajes y Técnicas de Prgramación Nivel 2 - TEL : I. Objetivs Ls alumns que aprueben este curs deberán ser capaces de : II. Cntenids UNIDAD 1. Intrducción. Cncer ls cncepts de definición e implementación de ls lenguajes de prgramación cnvencinales y desarrllar aplicacines utilizand lenguajes que cntribuyan a la identificación y cmprensión de ess cncepts. El Alumn reslverá algritms directamente traducibles a lenguajes de prgramación imperativa, utilizand las técnicas de prgramación estructurada y refinación prgresiva. Evlución de ls Cncepts Clasificación de ls lenguajes de Prgramación Categrización de ls Lenguajes de Prgramación Criteris de definición y diseñ de lenguajes Sintaxis de lenguajes Gramática Metalenguaje BNF Metalenguaje Diagramas sintáctics Metalenguaje CBL Semántica de lenguajes Prcesadres de lenguajes Elements del Lenguaje C UNIDAD 2. Objets de Dats Cmpnentes de un bjet Cnstantes Variables Declaracines Elements de lenguaje C

2 Universidad de Santiag de Chile Departament de Matemática y Ciencia de la Cmputación. Binding Operacines Expresines UNIDAD 3. Sentencias UNIDAD 4 Tips de Dats. Asignación Elements de lenguaje C Inicialización Cntrl de secuencia Desarrll de ejercicis Definicines Estructura de tips Cmprbación de tips Prduct cartesian Elements de lenguaje C Aplicación finita Descriptres Fórmulas de acces Unión discriminada Cnjunt ptencia UNIDAD 5. Parametrización Intrducción. Imprtancia de la parametrización Llamada pr nmbre Llamada pr referencia Llamada pr cpia Llamada pr indirección Parametrización de tips Parametrización de subprgramas UNIDAD 6. Cntrl de Dats. Alcance estátic de dats Alcance dinámic de dats Extensión de dats

3 Universidad de Santiag de Chile Departament de Matemática y Ciencia de la Cmputación. Extensión de dats Elements de lenguaje C Memria heap Elements de tamañ fij Elements de tamañ variable Síntesis del curs Desarrll de ejercicis UNIDAD 7. Calidad del Sftware y Mdularidad Intrducción Factres interns y externs de calidad. Cicl de vida y calidad del sftware. Fiabilidad y crrección. Dcumentación Mdularidad Ideas básicas y ntación. Aspects de la calidad de un diseñ mdular: Chesión y Acplamient. Guías de diseñ: Balancead y factrización. Prueba de prgramas. Principis de prueba. Pruebas indirectas. Pruebas directas: estrategias de caja blanca y caja negra. Pruebas de nivel superir. Depuración. UNIDAD 8. Intrducción a la OO Limitacines del diseñ mdular Reutilización del sftware. Prpuestas. La prpuesta de la rientación a bjets. (OMT-UML) La estructura estática: Clases. El papel de las clases en rientación a bjets. Un sistema de tips unifrme. El estil de prgramación rientad a bjets. Ocultación de la infrmación. La estructura dinámica: Objets. Objets. Objets y referencias. Prcedimients de creación. Operacines sbre referencias.

4 Universidad de Santiag de Chile Departament de Matemática y Ciencia de la Cmputación. Objets cmpuests y tips expandids. Un ejempl especial: la clase STRING. Ligadura pr referencia y pr valr. Trabajand cn referencias, ventajas e incnvenientes. La gestión de la memria. Genericidad y Herencia Generalización hrizntal y vertical. La necesidad de parametrización de tips. Clases genéricas. El mecanism de la herencia UNIDAD 9 Prgramación baj cntrat Verificación de algritms. Reglas de verificación. Crrección parcial de un algritm. Crrección ttal. Algritms recursivs. III. IV. Metdlgía El curs se desarrllará preferentemente en base clases expsitivas y actividades de ejercici, a realizarse en clases clectiva individualmente. Cnfrme a dispnibilidad y pertinencia, algunas sesines presenciales se realizarán en el labratri y pdrán apyarse en presentacines multimediales. Las presentacines, trabajs y parte del material bibligráfic estará dispnible a través de Internet. Evaluación Se efectuarán ds (2) pruebas escritas durante el Semestre. Se prgramaran evaluacines tareas individuales y grupales las que serán evaluadas en Labratri V. Bibligrafía. Prgramación Estructurada en lenguaje C. LÓPEZ, Lebard

5 Universidad de Santiag de Chile Departament de Matemática y Ciencia de la Cmputación. ISBN Alfamega Prgramación Orientada a Objets cn C++, 3ª Ed. CEBALLOS, Fc. Javier ISBN Cedición: Alfamega-Rama. Lenguaje y Aplicacines. CEBALLOS, Fc. Javier ISBN Cedición: Alfamega-Rama Cncepts, Techniques, and Mdels f Prgraming Peter Van Ry and Seif Haridi ISBN ISBN Miti press,9-5, available March 2004