Teste estrutural para aplicações concorrentes em Erlang

As atividades de validação, verificação e teste contribuem para melhorar a qualidade dos programas, independentemente do paradigma de programação utilizado. Erlang é um exemplo de linguagem funcional, e aspectos como: dados imutáveis, higher-order functions, lazy evaluation e pattern matching impõem...

Full description

Bibliographic Details
Main Author: Oliveira, Alexandre Ponce de
Other Authors: Souza, Paulo Sergio Lopes de
Format: Others
Language:pt
Published: Biblioteca Digitais de Teses e Dissertações da USP 2017
Subjects:
Online Access:http://www.teses.usp.br/teses/disponiveis/55/55134/tde-12092017-161142/