Guia docente 2020_21
E. S. de Enxeñaría Informática
Grao en Enxeñaría Informática
 Materias
  Métodos avanzados de enxeñaría de software
   Bibliografía. Fontes de información
Bibliografía Básica Pressman, Roger S., Ingeniería del Software: Un enfoque práctico, 9786071503145, 7, McGraw-Hill, 2010
Spivey, J.M, Understanding Z : a specification language and its formal semantics, 9780521334297, 1, Prentice-Hall, 1988
Woodcock, Jim, Using Z [Recurso de Internet] : specifcation, refinement, and proof, 978-0139484728, 1, 1996
Bibliografía Complementaria Rosalind Barden, Susan Stepney, and David Coope, Z in Practice, 9780131249349, 1, Prentice-Hall, 1994
John J. Marciniak, Encyclopedia of software engineering, 978-0471210085, 1, John Wiley & Sons, 1994
Guttagg & Horning, Larch: Languages and tools for Formal Specification, 978-1-4612-2704-5, 1, Springer-Verlag, 1993
http://vl.fmnet.info/, Páxina de métodos formais.,
http://vl.zuser.org/, Páxina de Z,
Universidade de Vigo            | Reitoría | Campus Universitario | C.P. 36.310 Vigo (Pontevedra) | España | Tlf: +34 986 812 000