| |
|
|
|
Registro Completo |
|
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 |
|
Marc: |
LEADER 01271naa a2200229 a 4500
001 1002682
005 2011-03-25
008 1995 bl uuuu u00u1 u #d
100 1 $aFARIAS, C. R. G. de
245 $aEspecificação formal e validação de algoritmos distribuídos.
260 $c1995
300 $ap. 1027-1038. v.2
490 $vv.2
520 $aO 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.
650 $aAlgorithms
653 $aAlgoritmo distribuído
653 $aEspecificação formal
653 $aEstelle
653 $aSistemas distribuídos
653 $aTécnicas de descrição formal
700 1 $aSOUZA, W. L. de
773 $tIn: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 22.; CONFERÊNCIA LATINO-AMERICANA, 21., 1995, Canela. Anais... Porto Alegre: UFRGS, Instituto de Informática, 1995.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
|
| Registros recuperados : 2 | |
| 1. |  | ANDRADE, J. C de P. A.; JORDÁ JÚNIOR, J. B.; SOUZA, W. L. de; BARBOSA, L de L.; GOMES, M.; FERNANDES, V. Fundo capital semente: um modelo de financiamento para sistemas agroflorestais, no sul da Bahia. In: MONTOYA VILCAHUAMAN, L. J.; RIBASKI, J.; MACHADO, A. M. B. (Ed.). Sistemas agroflorestais e desenvolvimento com proteção ambiental: práticas e tecnologias desenvolvidas. Colombo: Embrapa Florestas, 2006. p. 201-214.| Biblioteca(s): Embrapa Florestas. |
|   |
| 2. | | ANDRADE, J. C. de P.; JORDÁ JUNIOR, J. B.; SOUZA, W. L. de; BARBOSA, L. de L. SILVA, D. C. da; GOMES, M. Fundo capital semente: um modelo de financiamento para sistemas agroflorestais, no Sul da Bahia. In: CONGRESSO BRASILEIRO DE SISTEMAS AGROFLORESTAIS, 5., 2004, Curitiba. SAFs: desenvolvimento com proteção ambiental: anais. Colombo: Embrapa Florestas, 2004. p. 217-219. (Embrapa Florestas. Documentos, 98).| Biblioteca(s): Embrapa Florestas. |
| |
| Registros recuperados : 2 | |
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
