Data/hora: 20/06/2024 13:31:57

Biblioteca(s): | Embrapa Agricultura Digital.
Data corrente: | 11/06/1996
Data da última atualização: | 25/03/2011
Autoria: | FARIAS, C. R. G. de; SOUZA, W. L. de.
Afiliação: | CLÉVER RICARDO GUAREIS DE FARIAS, UFSCar; WANDERLEY LOPES DE SOUZA, UFSCar.
Título: | Especificação formal e validação de algoritmos distribuídos.
Ano de publicação: | 1995
Fonte/Imprenta: | In: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 22.; CONFERÊNCIA LATINO-AMERICANA, 21., 1995, Canela. Anais... Porto Alegre: UFRGS, Instituto de Informática, 1995.
Volume: | v.2
Páginas: | p. 1027-1038.
Idioma: | Português
Conteúdo: | O objetivo principal deste trabalho é demonstrar a importância da utilização de Técnicas de Descrição Formal (TDF) no ciclo de vida dos sistemas distribuídos. Para tal, a TDF extended state transition language (Estelle) é utilizada para a especificação formal de um algoritmo distribuído relativo a um sistema de acesso por exclusão mútua. O desenvolvimento dessa especificação, bem como a validação da mesma, são realizados utilizando-se um conjunto integrado de ferramentas para Estelle.
Palavras-Chave: | Algoritmo distribuído; Especificação formal; Estelle; Sistemas distribuídos; Técnicas de descrição formal.
Thesaurus Nal: | Algorithms.
Categoria do assunto: | X Pesquisa, Tecnologia e Engenharia
Registro original: | Embrapa Agricultura Digital (CNPTIA)
Exemplares: | CNPTIA - (3270-1) - ADD - PL - PP - 004 - SEM - 1995.00014 - DIS