Sinopse
Este livro é de grande interesse para profissionais que atuam em áreas da engenharia e da informática relacionadas ao projeto e à implementação de sistemas de comunicação. Ao longo dos capítulos, descrevem-se metodologias para conceber, descrever e analisar protocolos de redes de computadores, ambientes de telecomunicações, automação industrial e outros tipos de sistemas distribuídos. Essas metodologias são detalhadamente explicadas e exemplificadas com aplicações em gerência de redes e telefonia sem fio (com um sistema anticlonagem de celulares), entre outras aplicações de interesse atual. Há farta distribuição de figuras bem elucidativas por todo o texto. Todo o conteúdo apresentado neste livro é resultante de pesquisas e de desenvolvimentos realizados em nível universitário. Os conceitos utilizados e os resultados obtidos foram objeto de intensa discussão tanto em aulas como em congressos e teses de mestrado e doutorado. O emprego da Técnica de Descrição Formal LOTOS (um padrão da ISO) garantiu a correção dos projetos e a eliminação de ambiguidades. Além disso, LOTOS permitiu a análise e a implementação automática das especificações.