Uma metodologia de apoio à análise e ao desenvolvimento de modelos para simulação de plataformas de distribuição

Abstract

Mesmo dispondo de ferramentas eficientes para a construção de plataformas de distribuição, engenheiros de software necessitam, frequentemente, testar novos mecanismos e extensões que melhorem o desempenho durante a execução das plataformas de distribuição em diversos tipos de cenários [...].

Keywords

• engenharia de software
• middleware
• sistemas distribuídos
• especificação formal