Utilizando LOTOS na concepção formal de uma aplicação para gerência de redes : Especificação e verificação
Este trabalho apresenta um estudo sobre a aplicação da técnica de descrição formal LOTOS na concepção formal de um sistema para gerência de redes denominado Gateway CMIP-SNMP. São apresentados os resultados obtidos durante o trabalho de descrição formal do sistema em LOTOS e durante o desenvolviment...
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Portugués |
| Publicado: |
1997
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/23930 |
| Aporte de: |
| id |
I19-R120-10915-23930 |
|---|---|
| record_format |
dspace |
| institution |
Universidad Nacional de La Plata |
| institution_str |
I-19 |
| repository_str |
R-120 |
| collection |
SEDICI (UNLP) |
| language |
Portugués |
| topic |
Ciencias Informáticas Simulation Parallel processing Distributed Técnicas de Descrição Formal LOTOS Simulação Verificação Gerência de Redes Gateway CMIP-SNMP |
| spellingShingle |
Ciencias Informáticas Simulation Parallel processing Distributed Técnicas de Descrição Formal LOTOS Simulação Verificação Gerência de Redes Gateway CMIP-SNMP Mello, Braulio Adriano de Camargo, Murilo Silva de Specialski, Elizabeth Sueli Utilizando LOTOS na concepção formal de uma aplicação para gerência de redes : Especificação e verificação |
| topic_facet |
Ciencias Informáticas Simulation Parallel processing Distributed Técnicas de Descrição Formal LOTOS Simulação Verificação Gerência de Redes Gateway CMIP-SNMP |
| description |
Este trabalho apresenta um estudo sobre a aplicação da técnica de descrição formal LOTOS na concepção formal de um sistema para gerência de redes denominado Gateway CMIP-SNMP. São apresentados os resultados obtidos durante o trabalho de descrição formal do sistema em LOTOS e durante o desenvolvimento das tarefas de análise, simulação, teste e verificação. Devido ao uso de dados, principalmente para a tarefa de verificação, variadas restrições são impostas pelas ferramentas utilizadas. Tais restrições são abordadas segundo as capacidades e incompatibilidades dessas ferramentas. |
| format |
Objeto de conferencia Objeto de conferencia |
| author |
Mello, Braulio Adriano de Camargo, Murilo Silva de Specialski, Elizabeth Sueli |
| author_facet |
Mello, Braulio Adriano de Camargo, Murilo Silva de Specialski, Elizabeth Sueli |
| author_sort |
Mello, Braulio Adriano de |
| title |
Utilizando LOTOS na concepção formal de uma aplicação para gerência de redes : Especificação e verificação |
| title_short |
Utilizando LOTOS na concepção formal de uma aplicação para gerência de redes : Especificação e verificação |
| title_full |
Utilizando LOTOS na concepção formal de uma aplicação para gerência de redes : Especificação e verificação |
| title_fullStr |
Utilizando LOTOS na concepção formal de uma aplicação para gerência de redes : Especificação e verificação |
| title_full_unstemmed |
Utilizando LOTOS na concepção formal de uma aplicação para gerência de redes : Especificação e verificação |
| title_sort |
utilizando lotos na concepção formal de uma aplicação para gerência de redes : especificação e verificação |
| publishDate |
1997 |
| url |
http://sedici.unlp.edu.ar/handle/10915/23930 |
| work_keys_str_mv |
AT mellobraulioadrianode utilizandolotosnaconcepcaoformaldeumaaplicacaoparagerenciaderedesespecificacaoeverificacao AT camargomurilosilvade utilizandolotosnaconcepcaoformaldeumaaplicacaoparagerenciaderedesespecificacaoeverificacao AT specialskielizabethsueli utilizandolotosnaconcepcaoformaldeumaaplicacaoparagerenciaderedesespecificacaoeverificacao |
| bdutipo_str |
Repositorios |
| _version_ |
1764820466408620033 |