|
|
Registro Completo |
Biblioteca(s): |
Embrapa Agricultura Digital. |
Data corrente: |
28/07/1998 |
Data da última atualização: |
22/08/2007 |
Autoria: |
SALVADOR, M. R.; SOUZA, W. L. de. |
Título: |
Especificacao formal de sistemas ODP usando a linguagem mondel. |
Ano de publicação: |
1998 |
Fonte/Imprenta: |
In: SIMPOSIO BRASILEIRO DE REDES DE COMPUTADORES, 16., 1998, Rio de Janeiro. Anais. Rio de Janeiro: Universidade Federal Fluminense, 1998. |
Páginas: |
p.278-297 |
Idioma: |
Português |
Conteúdo: |
A incapacidade das linguagens de especificacao formal em cobrir todo o escopo ODP e reconhecida e tem levado a um grande numero de investigacoes. A linguagem mondel, investigada e apresentada neste artigo, por sua concepcao orientada a objeto, seus recursos de distribuicao e de banco de dados, representa uma alternativa bastante interessante para a especificacao de sistemas ODP. Sua adequabilidade para a descricao da arquitetura ODP e demonstrada atraves do desenvolvimento de uma semantica arquitetonica na linguagem. Essa semantica e entao usada como base no desenvolvimento de um estudo de caso, no qual a funcao tranding e especificada, para ilustrar a aplicacao da linguagem em uma situacao real. |
Palavras-Chave: |
Computer networks; Redes de computadores. |
Categoria do assunto: |
-- |
Marc: |
LEADER 01262naa a2200169 a 4500 001 1006467 005 2007-08-22 008 1998 bl uuuu u00u1 u #d 100 1 $aSALVADOR, M. R. 245 $aEspecificacao formal de sistemas ODP usando a linguagem mondel. 260 $c1998 300 $ap.278-297 520 $aA incapacidade das linguagens de especificacao formal em cobrir todo o escopo ODP e reconhecida e tem levado a um grande numero de investigacoes. A linguagem mondel, investigada e apresentada neste artigo, por sua concepcao orientada a objeto, seus recursos de distribuicao e de banco de dados, representa uma alternativa bastante interessante para a especificacao de sistemas ODP. Sua adequabilidade para a descricao da arquitetura ODP e demonstrada atraves do desenvolvimento de uma semantica arquitetonica na linguagem. Essa semantica e entao usada como base no desenvolvimento de um estudo de caso, no qual a funcao tranding e especificada, para ilustrar a aplicacao da linguagem em uma situacao real. 653 $aComputer networks 653 $aRedes de computadores 700 1 $aSOUZA, W. L. de 773 $tIn: SIMPOSIO BRASILEIRO DE REDES DE COMPUTADORES, 16., 1998, Rio de Janeiro. Anais. Rio de Janeiro: Universidade Federal Fluminense, 1998.
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. | ![Imagem marcado/desmarcado](/consulta/web/img/desmarcado.png) | 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. |
| ![Visualizar detalhes do registro](/consulta/web/img/visualizar.png) ![Imprime registro no formato completo](/consulta/web/img/print.png) |
2. | ![Imagem marcado/desmarcado](/consulta/web/img/desmarcado.png) | 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. |
| ![Visualizar detalhes do registro](/consulta/web/img/visualizar.png) ![Imprime registro no formato completo](/consulta/web/img/print.png) |
Registros recuperados : 2 | |
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|