Data/hora: 23/06/2024 01:03:10

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
Registro original: | Embrapa Agricultura Digital (CNPTIA)
Exemplares: | CNPTIA - (3301-1) - ADD - PL - PP - 004 - SEM - 1995.00014 - DIS