Ingeniera de Software I

FCEyN UBA

Ingeniera de Software I - Material y Bibliografa

Clases
[Clase Intro] [Clase Plan] [Clase Req] [Clase Esc] [Clase Diseo] [Clase Arq] [Tabla Arq] [Clase Estr] Introduccin a la Materia: Este apunte introduce la Ingeniera del Software y el enfoque que se la da a la materia. Transparencias de Clases : Anlisis de Riesgos y Planificacin de Proyectos. Transparencias de Clases : Requerimientos. Transparencias de Clases : Escenarios. Transparencias de Clases : Diseo. Transparencias de Clases : Arquitectura y Diseo del Software. Tabla: Reglas para elegir un estilo arquitectnico. Transparencias de Clases : Estableciendo la estructura global de un sistema de software.

Apuntes
[Apunte CU] [Apunte DA] [Apunte ST] [Apunte Robot] Casos de Uso, Un mtodo prctico para explorar requerimientos. Apunte sobre Diagrama de Actividades. Es una traduccin y adaptacin del captulo de Diagramas de Actividad de UML. Statecharts: Apunte sobre statecharts segn UML. El Caso del Robot Asesino: El Caso del Robot Asesino es una historia que combina elementos de ingeniera de software y de tica en la computacin. Introduce la tica y su relacin con la ingeniera de software, mostrando tambin las complejidades del desarrollo de software.

Libros
[Bass] [Beizer90] [Beizer95] [Booch91] Bass, Len. Clements, Paul. Kazman, Rick. Software Architecture in Practice. Addison Wesley. 1998 Beizer. Boris. Software Testing Techniques, Second Edition. The Coriolis Group. 1990. Beizer. Boris. Black-Box Testing : Techniques for Functional Testing of Software and Systems. John Wiley & Sons. 1995. Booch, Grady. Object Oriented Design with Applications. Benjamin/Cummings, 1991

Pgina 1 de 7

Segundo Cuatrimestre 1999

Ingeniera de Software I
[Coad] [Davis] [Ghezzi91] [Ghezzi92] [Meyer88] [OOSE] [Pfleeger] [Potter] [Pressman] [Rumbaugh]

FCEyN UBA

Coad, Peter; Yourdon, Eduard. Object Oriented Design. Yourdon Press. 1991 Davis, Alan; Weidner, Marilyn. Software Requirements : Objects, Functions, and States. Prentice Hall. 1993 Ghezzi; Fuggetta; Morasca; Morzenti; Pezz. Ingegneria del Software. Mondadori Informatica. 1991. Ghezzi, Carlo; Jazayeri, Mehdi; Mandrioli, Dino. Fundamentals of Software Engineering. Prentice Hall. 1992. Meyer, Bertrand. Object-Oriented Software Construction. Prentice Hall 1988 Jacobson, Ivar; et al. Object-Oriented Software Engineering. AddisonWesley & ACM, 1992. Pfleeger, S. Software Engineering. McMillan NY. 1987. Potter, Ben; Sinclair, Jane; Till, David. An introduction to Formal Specification and Z. Prentice Hall. 1991. Pressman, R. Ingeniera del Software, Tercera Edicin. McGraw-Hill. 1993. Rumbaugh, James, y otros. Object-Oriented Modeling and Design. Prentice Hall, 1991.

[Sommerville95] Sommerville, Ian. Software Engineering. Addison Wesley. 5ta Edicin 1995. [Sommerville97] Sommerville, Ian. Requirements Engineering : A Good Practice Guide. Addison Wesley. 1997. [UML Distilled] [UML UG] [USDP] Fowler, Martin; Scott, Kendall. UML Distilled. Addison-Wesley, 1997. Booch, Grady; Rumbaugh, James; Jacobson, Ivar. The UML User Guide. Addison-Wesley, 1999. Jacobson, Ivar; Booch, Grady; Rumbaugh, James. The Unified Software Development Process. Addison-Wesley, 1999.

Artculos
[Brooks] [Gibbs] [Potts] [Scenario] [Harel] Brooks, Frederik. No Silver Bullet. Essence and Accidents in Software Engineering. IEEE Computer. Abril 1987. Gibbs, W. Softwares Chronic Crisis. Scientifican American. Septiembre de 1994. Potts, C et al. Inquiry-based Requirements Analysis. IEEE Software. (2) Marzo de 1994. Scenario Management. IEEE Transactions on Software Engineering, vol 24, num 12. Diciembre de 1998. Harel, David. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming. Volumen 8, Nro. 3. Junio de 1987.
Segundo Cuatrimestre 1999

Pgina 2 de 7

Ingeniera de Software I
[Rapps] [Parnas72] [Parnas79]

FCEyN UBA

Rapps, Sandra; Weyuker, Elaine. Data Flow Analysis Techniques for Test Data Selection. Parnas, David. On the Criteria to be Used in Decomposing Systems into Modules. Communications of ACM. December 1972. Parnas, Davis. Designing Software for Ease of Extension and Contraction. IEEE Transactions on Software Engineering, Vol. SE-5, No. 2. March 1979. Garlan, D; Shaw, M. An Introduction to Software Architecture. V. Ambriola and G. Tortora Eds., Advances in Software Engineering and Knowledge, Vol. I, World Sc. Pub. Co., 1993. Adrion, R; Branstad M; Cherniavsky, J. Validation, Verification, and Testing of Computer Software. Computing Surveys ACM, Vol. 14, No. 2. June 1982. Goldsack, P; Rush, T. Specifying an Electronic Mail System with HP-SL. Hewlett-Packard Journal. December 1991.

[Garlan]

[Adrion]

[Goldsack]

Estndares
[UML Standard] UML Standard Documentation Set. www.omg.org [IEEE 1233] [IEEE 830] IEEE. IEEE/ANSI Std 1233 : IEEE Guide for Developing System Requirements Specifications IEEE. IEEE/ANSI Std 830 : IEEE Recommended Practices for Software Requirements Specifications

Pgina 3 de 7

Segundo Cuatrimestre 1999

Ingeniera de Software I

FCEyN UBA

Ingeniera de Software I - Lecturas por Tema

Ingeniera de Software Introduccin
Terica
[Clase Intro] [Clase Plan] [Brooks] [Gibbs] Transparencias de Clase : Introduccin. Transparencias de Clase : Anlisis de Riesgos y Planeamiento. No Silver Bullet. Software Crisis.

[Sommerville95] Captulo 3 : Project Management

Lecturas Adicionales Optativas

[Apunte Robot] [Pressman] [Pfleeger]

Requerimientos
Tericas
[Clase Req] [Clase Esc] [Potts] [Scenario] Transparencias de Clase : Requerimientos. Transparencias de Clase : Escenarios. Anlisis de requerimientos. Scenario Management.

[Sommerville95] Captulos 4, 6 y 7.

Tcnicas
[Apunte CU] [USDP] [UML UG] [Apunte DA] [UML UG] [Gezzi92] Captura de Requerimientos Mediante Casos de Uso. Tcnica de Casos de Uso: Captulos 3 y 7. Captulos 16 y 17. Diagramas de Casos de Uso. Diagramas de Actividades. Captulo 19. Diagramas de Actividades. Diagramas de Entidad Relacin

Pgina 4 de 7

Segundo Cuatrimestre 1999

Ingeniera de Software I

FCEyN UBA

Lecturas Adicionales Optativas

[Sommerville97] Libro especfico sobre Requerimientos. Para aquellos que quieren profundizar sobre el tema. [IEEE 1233] [IEEE 830] [OOSE] [UML Distilled] Estndar de la IEEE. Para aquellos que quieren profundizar sobre el tema requerimientos. Estndar de la IEEE. Para aquellos que quieren profundizar sobre el tema requerimientos. Libro de referencia del tema Casos de Uso. Para una descripcin concisa del los diagramas de UML utilizados.

[UML Standard] Para una descripcin completa del los diagramas de UML utilizados. [Davis] Libro clsico sobre el tema requerimientos.

Especificacin
Terica
[Goldsack] [Ghezzi92] Ejemplo de especificacin de un sistema. A Definir.

[Sommerville95] Captulo 9.

Tcnica
[Apunte ST] [Harel] [Gezzi] [Potter] Diagramas de Estados. Diagramas de Estados. Mquinas de Estados. Pginas 167 a 188. Z.

Lecturas Adicionales Optativas

A definir.

Diseo
Terica
[Clase Diseo] [Clase Arq] [Tabla Arq] Transparencias de Clase : Diseo. Transparencias de Clase : Arquitectura.

Pgina 5 de 7

Segundo Cuatrimestre 1999

Ingeniera de Software I
[Clase Estr] [Parnas72] [Parnas79] [Ghezzi92] [Bass]

FCEyN UBA
Transparencias de Clase : Estructura global de un sistema. Criterios de descomposicin por mdulos. Diseo para el cambio. Pginas 45 a 125. Resolucin del CAUIC.

[Sommerville95] Captulos 12, 13, 14, 15, y 17.

Tcnica
[UML UG] [UML UG] [UML UG] Seccin 2 y 3. Diagramas de Clases. Seccin 4 y 5. Diagramas de Interaccin (Colaboraciones y Secuencias). Captulos 20 y 21. Diagramas de Estados aplicados a Clases.

Lecturas Adicionales Optativas

[UML Distilled] Para una descripcin concisa del los diagramas de UML utilizados.

[UML Standard] Para una descripcin completa del los diagramas de UML utilizados. [Meyer88] [Booch91] [Rumbaugh] [Coad] [Bass] [Garlan] 5 Criterios / Reglas / Principios. Excelente introduccin a la problemtica de los sistemas complejos. System Design. Criterios para evaluar un diseo. Arquitectura. Introduccin a una Arquitectura de Software.

Testing
Terica
[Ghezzi92] [Beizer90] [Beizer95] [Adrion] Pginas 261 a 283 Captulos a definir. Captulos a definir. Validacin Verificacin y Testing. [Sommerville95] Captulos 22, 23 y 24.

Pgina 6 de 7

Segundo Cuatrimestre 1999

Ingeniera de Software I

FCEyN UBA

Tcnica
[Rapps] Data Flow Analysis Techniques.

Lecturas Adicionales Optativas

A definir.

Pgina 7 de 7

Segundo Cuatrimestre 1999