| |
| |
| Objetivos da disciplina ::: |
Esta disciplina apresenta os conteúdos de programação
concorrente, com o objetivo primordial de criar mecanismos para a
compreensão do formalismo para o projeto de sistemas com
situações em que há compartilhamento de dados ou
condição de corrida entre processos. A abordagem envolve mais as
questões de prova de correção de programas concorrentes,
bem como sua construção de modo correto.
Durante o semestre os alunos deverão desenvolver trabalhos de
programação concorrente usando linguagens que permitam
concorrência, a serem determinadas.
|
|
|
| |
|
