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.