Resumo
Proposta de criação e implementação de um aplicativo computacional para o dimensionamento do entroncamento entre centrais em redes de telefonia móvel. O uso de ferramentas de programação orientada a objeto, com especial ênfase no uso de linguagens formais de especificação de software é um dos principais objetivos deste plano. Pretende-se testar o uso de ambiente formal de desenvolvimento …