Riferimenti

I testi del corso di Ingegneria del Software includono un libro di testo, alcuni libri e articoli di riferimento, e alcuni siti WWW.

Libri di Testo

  • R. Pressman, Principi di Ingegneria del software - terza edizione, Mc Graw Hill, 2000.
  • Arlow e Neustad, UML e Unified Process, Mc Graw Hill, 2003.

    Libri di riferimento

  • M. Fowley, UML Distilled, 3a ed., Addison Wesley, 1999.
  • M. Shaw and D. Garlan. Software Architectures, Prentice Hall, 1996.
  • M. Cusumano e R. Selby. Codice Microsoft, Etas Libri, 1998.
  • G. Pascal Zachary. I guerrieri del software, UTET, 1999.
  • W. Goldman Rohm. Il rapporto Microsoft, Garzanti, 1999.
  • E. Raymond. The Cathedral & the Bazaar, O'Reilly, 1999.
  • P. Sabbatini. La concorrenza come bene pubblico. Il Caso Microsoft. Laterza 2000.

    Articoli sui temi principali del corso

    1. AA.VV. Model Driven Development. IEEE Software, 20(5), Sept/Oct 2003.
    2. J. Bowen and M. Hinchey. Ten Commandments of Formal Methods. IEEE Computer, 28(4):56--63, April 1995.
    3. B. Curtis, M.I. Kellner, and J. Over. Process Modeling. Communications of the ACM, 35(9):75--90, September 1992.
    4. J. Doppke, D. Heimbigner, and A. Wolf. Software Process Modeling and Execution within Virtual Environments. ACM Transactions on Software Engineering and Methodology, 7(1):1--40, January 1998.
    5. A. Hall. Seven Myths of Formal Methods. IEEE Software, 7(5):11--20, September 1990.
    6. M. Lehman. Laws of Software Evolution Revisited. in C. Montangero (ed.), Software Process Technology, LNCS 1149:108--124, October 1996.
    7. D.L. Parnas. On the Criteria to be Used in Decomposing Systems into Modules. Communications of the ACM, 15(12):1053--1058, December 1972.
    8. M. Paulk, B. Curtis, M. Chrissis, and C. Weber. Capability Maturity Model, Version 1.1. IEEE Software, 10(4):18--27, July 1993.
    9. D. Perry and G. Kaiser. Models of Software Development Environments. IEEE Transactions on Software Engineering, 17(3):283--295, 1991.
    10. D. Perry and A. Wolf. Foundations for the Study of Software Architecture. ACM SIGSOFT Sw Eng. Notes, 17(4):40--52, October 1992.
    11. J.M. Wing. A Specifier's Introduction to Formal Methods. IEEE Computer, 23(9):8--24, September 1990.

    Siti Interessanti

    1. Sulla notazione Z
    2. Strumenti Open Source (tra cui ArgoUML)
    3. Design patterns home page
    4. Extreme programming