Pressman, Roger S., Ingeniería del Software: Un enfoque práctico, 7, McGraw-Hill, 2010
Spivey, J.M, Understanding Z : a specification language and its formal semantics, 1, Prentice-Hall, 1988
Woodcock, Jim, Using Z [Recurso de Internet] : specifcation, refinement, and proof, 1, 1996
Bibliografía Complementaria
Rosalind Barden, Susan Stepney, and David Coope, Z in Practice, 1, Prentice-Hall, 1994
John J. Marciniak, Encyclopedia of software engineering, 1, John Wiley & Sons, 1994
Guttagg & Horning, Larch: Languages and tools for Formal Specification, 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
Pressman, Roger S., Ingeniería del Software: Un enfoque práctico, 7, McGraw-Hill, 2010