Testes Automatizados com Ada: Estratégias e Ferramentas para Sistemas Críticos
Visão geral da linguagem
Ada foi concebida para oferecer verificação estática agressiva, coerência de tipos e facilidades de concorrência integradas. Esses atributos tornam a linguagem particularmente adequada para domínios onde falhas custam vidas ou milhões de dólares. A tipagem forte impede que valores incompatíveis sejam atribuídos acidenta ...
Publicado em 9-19 04:50