Especificação de Software
Student Feedback
Project: 2 projects, one in Alloy and one in Dafny. Both projects are easy. Groups of 2.
Exam: The exam isn't as easy as the project but as it doesn't have minimum grade it's easy to pass the course due to the project's grade. The classes are nice, especially from prof. José Fragoso. The problem is that the contents of this course are the most useless I have ever seen. I've never taken a course with so much subjects that I thought "What will I use this for in my life?".
Overall: Great course if you don't want too much workload. It is really easy to pass. The contents are awful. In my...
It's an easy course but you definitely have to attend the classes to keep up, even though none are mandatory. As long as you attend all the classes you'll barely have to study and will finish with a good grade.
This year the course was split into 2 parts, with 1 project for each part, and a final exam with both parts.
First part was taught by José Fragoso who is a 10/10 professor, and it was very enjoyable. Second part was taught by Bernardo Toninho. This part was ok, but far from as good as the 1st part.
This user did not leave any comment
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....