Data/hora: 23/09/2024 15:56:29

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