Pressman, Roger S., Ingeniería del Software: Un enfoque práctico,, 9781456287726, 7, McGraw Hill, 2010
Spivey, J.M, Understanding Z : a specification language and its formal semantics, 0-521-33429-2, Prentice-Hall, 1988
Woodcock, Jim, Using Z [Recurso de Internet] : specifcation, refinement, and proof, 2010
Bibliografía Complementaria
Rosalind Barden, Susan Stepney, and David Coope, Z in practice, 0-13-124934-7, 1, Prentice-Hall, 1994
John J. Marciniak,, Encyclopedia of software engineering,, 0-471-54004-8, 1, John Wiley & Sons, 1994
Página de métodos formales, http://fmnet.info/,
Página del lenguaje Z, http://www.zuser.org/,
Universidade de Vigo
|
Rectorado |
Campus Universitario |
C.P. 36.310 Vigo (Pontevedra) |
España |
Tlf: +34 986 812 000
Pressman, Roger S., Ingeniería del Software: Un enfoque práctico,, 9781456287726, 7, McGraw Hill, 2010