Student Feedback
Pessoalmente esta cadeira foi das melhores que tive no mestrado e sem dúvida a melhora da especialização de engenharia de software. Basicamente aprendes alguns métodos (em código) que analisam se um programa satisfaz determinadas especificações/condições. A matéria pode não parecer muito interessante, mas o que me fez adorar a cadeira foi o professor Fragoso. Se for este o professor, recomendo a 100% esta cadeira. É um professor excelente, explica muitoooo bem nas aulas, por isso vale muito a pena assistir a todas. O projeto é acessível e bem orientado, grande parte é dada nas aulas também, e...
It's a cool course, and in my opinion, it's the most interesting one in the Software Engineering specialization. You use formal specification languages to model software and verify code against those specifications. You work with Dafny, where you check preconditions, invariants, and postconditions; and with Alloy, which is an open source language and analyzer for software modeling. Look up these languages to see if you're into them....