Bibliografía de la materia

Bibliografía de la materia ordenada alfabéticamente.

Bibliografía de la Unidad I, Unidad II, Unidad III y Unidad IV dividida en Obligatoria y Optativa. A su vez la bibliografía Obligatoria está ordenada según el tema específico. Sugerimos efectuar las lecturas en el orden aquí indicado.

Bibliografía Obligatoria significa que las evaluaciones se harán suponiendo que el alumno ha leído dicho material.

 

General

  1. Allen, R., "A Formal Approach to Software Architecture", Tesis doctoral, Carnegie Mellon School of Computer Science, 1997.
  2. Bass, L., Clements, P., Kazman, R., Software architecture in practice, 2da edición, Addison-Wesley, 2003.
  3. Berson, A., Client/Server Architecture, McGraw-Hill, 1992.
  4. Buschmann, F., Meunier, R., Rohnert, H., Sommerland, P., Stal, M., Pattern-Oriented Software Architecture. A system of Patterns, John Wiley & Sons, 1996.
  5. Cristiá, M., Comentarios sobre diseño de software; apunte de clase; 2007.
  6. Cristiá, M., Catálogo incompleto de estilos arquitectónicos; apunte de clase; 2006.
  7. Cristiá, M., Testing funcional basado en especificaciones Z; apunte de clase; 2006.
  8. Gamma, E., Helm, R., Johnson, R., Vlissides, J., Patrones de diseño, Addison-Wesley, 2003.
  9. Garlan, D., Kaiser, G., Notkin, D., "Using tool abstraction to compose systems", IEEE Computer, 25(6):30-38, junio 1992.
  10. Ghezzi, C., Jazayeri, M. y Mandrioli, D., Fundamentals of Software Engineering, Prentice Hall, Upper Saddle River, 1991.
  11. Hörcher, H., Peleska, J., "Using formal specifications to support software testing", Software Quality Journal, 4: 309-327, 1995.
  12. Monroe, R.T., Kompanek, A., Melton, R., Garlan, D., "Architectural styles, design patterns, and objects", IEEE Software, 14(1): 36-52, enero de 1997.
  13. Nii, H.P., "Blackboard systems", AI Magazine, 7(3):38-53 y 7(4):82-107, julio 1986.
  14. Potter, B., Sinclair, J., Till, D., An introduction to formal specification and Z, Prentice Hall International, Hertfordshire, 1996.
  15. Rapps, S., Weyuker, E.J., "Data flow analysis techniques for test data selection", Proceedings of IEEE International Conference on Software Engineering, 272-278, septiembre 1982.
  16. Richards Adrion, W., Branstad, M. A., Cherniavsky, J. C., "Validation, verification, and testing of computer software", ACM Computing Surveys, 11(2): 159-192, junio 1982.
  17. Shaw, M., Garlan, D., Software architecture: perspectives on an emerging discipline, Prentice Hall, Upper Saddle River, 1996.
  18. Sommerville, I., Software Engineering, Addison-Wesley, Harlow, 1995.
  19. Stepney, S., "Testing as abstraction", Proceedings of 9th International Conference of Z Users, 1995.
  20. Stocks, P., "Applying formal methods to software testing", Tesis doctoral, Department of Computer Science, University of Queensland, 1993.
  21. Stocks, P., Carringtong, D., "A framework for specification-based testing", IEEE Transactions on Software Engineering, 22(11): 777-793, noviembre 1996.

 

 

 

 

Unidad I

Obligatoria

  1. Parnas, D.L., "On the criteria to be used in decomposing systems into modules", Communications of the ACM, 15(12): 1053-1058, diciembre 1972.
  2. Parnas, D.L., "Designing software for ease of extension and contraction", IEEE Transactions on Software Engineering, 5(2): 128-137, marzo 1979.
  3. Bass, L., Clements, P., Kazman, R., Software architecture in practice, 2da edición, Addison-Wesley, 2003. Páginas 47-68.
  4. Apunte de clase: Comentarios sobre diseño de software

Unidad II

Obligatoria

  1. Gamma, E., Helm, R., Johnson, R., Vlissides, J., Patrones de diseño, Addison-Wesley, 2003. Páginas: 2-69, 79-87, 141-169, 215-223, 237-249, 289-297, 305-316. Se puede encontrar una copia aquí.

Unidad III

Obligatoria

Vocabulario, conceptos y problemas

  1. Bass, L., Clements, P., Kazman, R., Software architecture in practice, 2da edición, Addison-Wesley, 2003. Páginas 3-46.
  2. Shaw, M., Garlan, D., Software architecture: perspectives on an emerging discipline, Prentice Hall, Upper Saddle River, 1996. Páginas 1-5.

Estilos arquitectónicos: llamada a procedimiento no es suficiente

  1. Shaw, M., Garlan, D., Software architecture: perspectives on an emerging discipline, Prentice Hall, Upper Saddle River, 1996. Páginas 19-38.

Invocación Implícita

  1. Garlan, D., Kaiser, G., Notkin, D., "Using tool abstraction to compose systems", IEEE Computer, 25(6):30-38, junio 1992.
  2. Shaw, M., Garlan, D., Software architecture: perspectives on an emerging discipline, Prentice Hall, Upper Saddle River, 1996. Páginas 172-181.
  3. Apunte de clase: Catálogo incompleto de estilos arquitectónicos

Tubos y filtros

  1. Buschmann, F., Meunier, R., Rohnert, H., Sommerland, P., Stal, M., Pattern-Oriented Software Architecture. A system of Patterns, John Wiley & Sons, 1996. Páginas 53-70.
  2. Apunte de clase: Catálogo incompleto de estilos arquitectónicos

Sistemas Estratificados

  1. Buschmann, F., Meunier, R., Rohnert, H., Sommerland, P., Stal, M., Pattern-Oriented Software Architecture. A system of Patterns, John Wiley & Sons, 1996. Páginas 31-51.
  2. Apunte de clase: Catálogo incompleto de estilos arquitectónicos

Control de Procesos

  1. Shaw, M., Garlan, D., Software architecture: perspectives on an emerging discipline, Prentice Hall, Upper Saddle River, 1996. Páginas 27-31, 51-60.
  2. Apunte de clase: Catálogo incompleto de estilos arquitectónicos

Blackboard Systems

  1. Buschmann, F., Meunier, R., Rohnert, H., Sommerland, P., Stal, M., Pattern-Oriented Software Architecture. A system of Patterns, John Wiley & Sons, 1996. Páginas 71-95.
  2. Apunte de clase: Catálogo incompleto de estilos arquitectónicos

Cliente/Servidor de 3 capas

  1. Berson, A., Client/Server Architecture, McGraw-Hill, 1992. Páginas 29-54.
  2. Apunte de clase: Catálogo incompleto de estilos arquitectónicos

Documentación de Arquitecturas

  1. Bass, L., Clements, P., Kazman, R., Software architecture in practice, 2da edición, Addison-Wesley, 2003. Páginas 201-218.

Optativa

  1. Allen, R., "A Formal Approach to Software Architecture", Tesis doctoral, Carnegie Mellon School of Computer Science, 1997.
  2. Bass, L., Clements, P., Kazman, R., Software architecture in practice, 2da edici&oacuten, Addison-Wesley, 2003.
  3. Buschmann, F., Meunier, R., Rohnert, H., Sommerland, P., Stal, M., Pattern-Oriented Software Architecture. A system of Patterns, John Wiley & Sons, 1996.
  4. Monroe, R.T., Kompanek, A., Melton, R., Garlan, D., "Architectural styles, design patterns, and objects", IEEE Software, 14(1): 36-52, enero de 1997.
  5. Nii, H.P., "Blackboard systems", AI Magazine, 7(3):38-53 y 7(4):82-107, julio 1986.
  6. Shaw, M., Garlan, D., Software architecture: perspectives on an emerging discipline, Prentice Hall, Upper Saddle River, 1996.

 

Unidad IV

Obligatoria

Testing estructural

  1. Sommerville, I., Software Engineering, Addison-Wesley, Harlow, 1995. Páginas 445-452.
  2. Ghezzi, C., Jazayeri, M. y Mandrioli, D., Fundamentals of Software Engineering, Prentice Hall, Upper Saddle River, 1991. Páginas 255-278.

Testing funcional y especificaciones formales

  1. Hörcher, H., Peleska, J., "Using formal specifications to support software testing", Software Quality Journal, 4: 309-327, 1995.
  2. Ghezzi, C., Jazayeri, M. y Mandrioli, D., Fundamentals of Software Engineering, Prentice Hall, Upper Saddle River, 1991. Páginas 280-295.
  3. Apunte de clase: Testing funcional basado en especificaciones Z

Optativa

  1. Richards Adrion, W., Branstad, M. A., Cherniavsky, J. C., "Validation, verification, and testing of computer software", ACM Computing Surveys, 11(2): 159-192, junio 1982.
  2. Stocks, P., Carringtong, D., "A framework for specification-based testing", IEEE Transactions on Software Engineering, 22(11): 777-793, noviembre 1996.
  3. Tai, K., "Theory of fault-based predicate testing for computer programs", IEEE Transactions on Software Engineering, 22(8): 552-562, agosto 1996.
  4. Rapps, S., Weyuker, E.J., "Data flow analysis techniques for test data selection", Proceedings of IEEE International Conference on Software Engineering, 272-278, septiembre 1982.
  5. Stocks, P., "Applying formal methods to software testing", Tesis doctoral, Department of Computer Science, University of Queensland, 1993. Páginas 27-32, 47-64.