4645R-2 Disciplina Integradora III
Bibliografia
Prof. Márcio Sarroglia Pinho

BÁSICA
1.    BRAMBILLA, M. CABOT, J. WIMMER, M.  Model-Driven software Engineering in Practice. Morgan & Claypool, 2012.
2.    TENNENT, R. D. Specifying Software: a hands-on introduction. Cambridge University Press, 2002.
3.    MYERS, Thomas J. Equations, Models and Programs: a mathematical introduction to computer science. Prentice-Hall, 1988.


COMPLEMENTAR
1.    LAMPORT, L. Specifying Systems : the TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley, 2003.
2.    CORMEN, T. H. Algoritmos – teoria e prática. 3 ed., Rio de Janeiro: Elsevier-Campus, 2012.
3.    AMMANN, P.; OFFUTT, J. Introduction to Software Testing. 2 ed. Cambridge University Press, 2016.
4.    HUTH, M. R. A; RYAN, M. D. Lógica em Ciência da Computação: Modelagem e Argumentação sobre Sistemas.  2ª ed. LTC, 2008.
5.    ZOBEL, J. Writing for Computer Science. 3rd ed. London: Springer, 2015.