Registro Completo |
Biblioteca(s): |
Embrapa Agricultura Digital. |
Data corrente: |
17/06/1996 |
Data da última atualização: |
21/03/2011 |
Autoria: |
SANTOS, A. S.; PALMA, G. F. L.; CUNHA, P. R. F.; MEIRA, S. R. L. |
Afiliação: |
ANTONIO SERRANO SANTOS, UFPE; GIOVANNY F. LUCERO PALMA, UFPE; PAULO R. FREIRE CUNHA, UFPE; SILVIO R. LEMOS MEIRA, UFPE. |
Título: |
Especificando um sistema celular baseado em CDMA. |
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. 1291-1302. |
Idioma: |
Português |
Conteúdo: |
Neste trabalho especificamos formalmente um sistema celular CDMA tomando por base um padrão da Associação de Industrias de Telecomunicações (TIA). A especificação considera os protocolos no nível das conexões e a manutenção das mesmas enquanto as estacoes moveis vagam através das células. A especificação foi validada usando a ferramenta SMILE mediante a exploração da árvore de execução e a elaboração de testes. |
Palavras-Chave: |
Desenvolvimento de software; Ferramenta SMILE; Linguagem LOTOS; Sistema celular CDMA; Software. |
Categoria do assunto: |
X Pesquisa, Tecnologia e Engenharia |
Marc: |
LEADER 01196naa a2200241 a 4500 001 1002716 005 2011-03-21 008 1995 bl uuuu u00u1 u #d 100 1 $aSANTOS, A. S. 245 $aEspecificando um sistema celular baseado em CDMA. 260 $c1995 300 $ap. 1291-1302. v.2 490 $vv.2 520 $aNeste trabalho especificamos formalmente um sistema celular CDMA tomando por base um padrão da Associação de Industrias de Telecomunicações (TIA). A especificação considera os protocolos no nível das conexões e a manutenção das mesmas enquanto as estacoes moveis vagam através das células. A especificação foi validada usando a ferramenta SMILE mediante a exploração da árvore de execução e a elaboração de testes. 653 $aDesenvolvimento de software 653 $aFerramenta SMILE 653 $aLinguagem LOTOS 653 $aSistema celular CDMA 653 $aSoftware 700 1 $aPALMA, G. F. L. 700 1 $aCUNHA, P. R. F. 700 1 $aMEIRA, S. R. L. 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) |
|