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...
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/ |
Similar Items
-
Teste estrutural para aplicações concorrentes em Erlang
by: Alexandre Ponce de Oliveira
Published: (2017) -
Model-Based Protocol Testing in an Erlang Environment
by: Blom, Johan
Published: (2016) -
Static analysis of function calls in Erlang
by: Dániel Horpácsi, et al.
Published: (2013-06-01) -
Erlang-Based Software Update Platform For Mobile Devices
by: Malgorzata Wielgus, et al.
Published: (2013-01-01) -
Computing the asymptotic expansion of the median of the erlang distribution
by: Pedro Jodr´a
Published: (2012-04-01)