Disciplina: 4645R-02 - Disciplina Integradora III (CC)
Horário: 6AB
Turma 128
Profa. Dra. Soraia Raupp Musse
Bibliografia
Bibliografia:
·
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.
·
OUTRAS REFERÊNCIAS:
1. AHRENDT, W. et al. Deductive Software Verification – The KeY
Book: from theory to practice. Lecture Notes in Computer Science, vol.
10001. Springer, 2016.
·
SOFTWARE DE APOIO:
2.
http://lamport.azurewebsites.net/tla/tla.html
3. http://www.key-project.org/
6. https://hackage.haskell.org/package/QuickCheck
7. https://www.latex-project.org/