| |
|
|
|
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
|
|
|
 | Acesso ao texto completo restrito à biblioteca da Embrapa Agroindústria Tropical. Para informações adicionais entre em contato com cnpat.biblioteca@embrapa.br. |
Registro Completo
|
Biblioteca(s): |
Embrapa Agroindústria Tropical. |
|
Data corrente: |
25/01/2024 |
|
Data da última atualização: |
25/01/2024 |
|
Tipo da produção científica: |
Artigo em Periódico Indexado |
|
Circulação/Nível: |
A - 3 |
|
Autoria: |
GALVÃO, F. M. F.; CABRAL, R. L. B.; SANTOS, E. V.; SANTOS, J. E. L.; SANTOS, T. F.; ZILLE, A.; MATTOS, A. L. A.; SOUZA, D. F. S.; NASCIMENTO, J. H. O. |
|
Afiliação: |
F. M. F. GALVÃO, FEDERAL UNIVERSITY OF RIO GRANDE DO NORTE; R. L. B. CABRAL, FEDERAL UNIVERSITY OF RIO GRANDE DO NORTE; E. V. SANTOS, FEDERAL UNIVERSITY OF RIO GRANDE DO NORTE; J. E. L. SANTOS, FEDERAL UNIVERSITY OF RIO GRANDE DO NORTE; T. F. SANTOS, FEDERAL UNIVERSITY OF RIO GRANDE DO NORTE; A. ZILLE, UNIVERSITY OF MINHO; ADRIANO LINCOLN ALBUQUERQUE MATTOS, CNPAT; D. F. S. SOUZA, UNIVERSITY OF RIO GRANDE DO NORTE; J. H. O. NASCIMENTO, UNIVERSITY OF RIO GRANDE DO NORTE. |
|
Título: |
Comparative Study of the Synthesis and Characterization of Reduced Graphene Oxide (RGO) Using an Eco‑Friendly Reducing Agent. |
|
Ano de publicação: |
2023 |
|
Fonte/Imprenta: |
Journal of Electronic Materials, ago. 2023. |
|
DOI: |
https://doi.org/10.1007/s11664-023-10633-1 |
|
Idioma: |
Inglês |
|
Palavras-Chave: |
Agent reducers; Agente redutor; Electrochemistry properties; Óxido de grafeno; Polysaccharide; Propriedades eletroquímicas; Supercapacitores; Supercapacitors. |
|
Thesagro: |
Polissacarídeo. |
|
Thesaurus NAL: |
Graphene oxide. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 01071naa a2200337 a 4500
001 2161320
005 2024-01-25
008 2023 bl uuuu u00u1 u #d
024 7 $ahttps://doi.org/10.1007/s11664-023-10633-1$2DOI
100 1 $aGALVÃO, F. M. F.
245 $aComparative Study of the Synthesis and Characterization of Reduced Graphene Oxide (RGO) Using an Eco‑Friendly Reducing Agent.$h[electronic resource]
260 $c2023
650 $aGraphene oxide
650 $aPolissacarídeo
653 $aAgent reducers
653 $aAgente redutor
653 $aElectrochemistry properties
653 $aÓxido de grafeno
653 $aPolysaccharide
653 $aPropriedades eletroquímicas
653 $aSupercapacitores
653 $aSupercapacitors
700 1 $aCABRAL, R. L. B.
700 1 $aSANTOS, E. V.
700 1 $aSANTOS, J. E. L.
700 1 $aSANTOS, T. F.
700 1 $aZILLE, A.
700 1 $aMATTOS, A. L. A.
700 1 $aSOUZA, D. F. S.
700 1 $aNASCIMENTO, J. H. O.
773 $tJournal of Electronic Materials, ago. 2023.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Agroindústria Tropical (CNPAT) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
| Expressão de busca inválida. Verifique!!! |
|
|
