Métodos Formais em Engenharia de Software MIEIC — 4º ano 2013/14 |
Bibliografia: |
Bibliografia principal:
Software Abstractions Daniel Jackson http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=10928
Validated designs for object-oriented systems Fitzgerald, John Springer, 2004 ISBN: 1-85233-881-4
Proof and Disproof in Formal Logic Richard Bornat Oxforn University Press, 2005 ISBN: 0-19-8530269
Systems and Software Verification - Model Checking Techniques and Tools B. Bérard; M. Bidoit; A. Finkel; F. Laroussinie; A. Petit; L. Petrucci; Ph. Schnoebelen; P. McKenzie Springer, 2001 ISBN: 3-540-41523-8
Bibliografia complementar
Model Checking Clark, Jr., Edmund M.; Grumberg, Orna; Peled, Doron A. Cambridge, MA : MIT Press, 1999 ISBN: 0-262-03270-8
Modelling Systems—Practical Tools and Techniques in Software Development John Fitzgerald, Peter Gorm Larsen Cambridge University Press, 1998 ISBN: 0-521-62605-6
Specification of Software Systems V.S. Alagar, K. Periyasamy Springer, 1998 ISBN: 0387984305
|