Adolfo Neto

Elixir and Erlang enthusiast. Associate Professor at UTFPR

Check out this website's source code

Tarefa de 29-09-2025

Esta tarefa deve ser feita de forma assíncrona em substituição à aula de 29/09/2025, em que o professor está adoentado.

Ennvie um documento em PDF no Moodle da disciplina, na “Tarefa de 29-09-2025”. Inclua seu nome no começo do documento. Formato livre. Máximo de duas páginas para cada item abaixo. Máximo de 6 páginas para o documento como um todo.

1. Linguagem de Especificação Formal Quint

Assista à palestra Introdução à Linguagem de Especificação Formal Quint - Esquenta SE4FP 2025 com Gabriela Moreira e acesse a página da linguagem Quint

Responder às seguintes perguntas

  1. Do que trata a palestra?
  2. Quem é a palestrante? Qual é a formação dela?
  3. O que você achou de mais interessante nesta palestra?
  4. O que você achou de menos interessante nesta palestra?
  5. Você acha que faz (ou fará) sentido usar Quint na sua prática como pessoa engenheira de software? Justifique.

2. Livro “Engenharia de Sofwtare”, de Roger Pressman e Bruce Maxim

Acesse o livro no portal Minha Biblioteca da UTFPR. Este link talvez funcione. Leia o capítulo 7: Entendendo os requisitos (24 páginas).

  1. Do que trata o capítulo?
  2. Quem são os autores? Qual é a formação deles?
  3. O que você achou de mais interessante neste capítulo?
  4. O que você achou de menos interessante neste capítulo?
  5. Você acha que faz (ou fará) sentido usar as técnicas descritas no capítulo na sua prática como pessoa engenheira de software? Justifique.

3. Artigo científico

Vá até à seção “Episódios recentes” de https://fronteirases.github.io/.

Escolha um dos episódios entre 20 e 39. Em quase todos estes episódios há uma lista de artigos.

Escolha um artigo e responda:

  1. Qual é o título do artigo?
  2. Qual é o link do artigo?
  3. Em que evento ou periódico ele foi publicado?
  4. Quais são os nomes dos autores?
  5. O que você achou de mais interessante neste artigo científico?
  6. O que você achou de menos interessante neste artigo científico?
  7. Qual é, ou quais são, as principais conclusões do artigo?