Data/hora: 10/06/2024 04:16:44

Biblioteca(s): | Embrapa Agricultura Digital.
Data corrente: | 12/06/1996
Data da última atualização: | 24/03/2011
Autoria: | LIMA, J. M. de B.; SAMPAIO, A.
Afiliação: | JOSÉ MARCONI DE B. LIMA, DI/UFPE; AUGUSTO SAMPAIO, DI/UFPE.
Título: | Um método de desenvolvimento de programas para OBJ3.
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. 1051-1062.
Idioma: | Português
Conteúdo: | Apresentamos um método de desenvolvimento de programas, baseado em um método já existente para EML, utilizando os recursos de OBJ3 - uma linguagem declarativa utilizada principalmente para especificação e prototipagem. Inicialmente, revisamos alguns conceitos de EML, para então apresentarmos OBJ3 e o método desenvolvido. Com o objetivo de ilustrarmos o método proposto, apresentamos um estudo de caso: a especificação e o desenvolvimento de uma tabela de símbolos.
Palavras-Chave: | Computer programs; Desenvolvimento de programas para computação; Linguagem EML; Recursos de OBJ3.
Thesaurus Nal: | Computer science.
Categoria do assunto: | X Pesquisa, Tecnologia e Engenharia
Registro original: | Embrapa Agricultura Digital (CNPTIA)
Exemplares: | CNPTIA - (3277-1) - ADD - PL - PP - 004 - SEM - 1995.00014 - DIS