Data/hora: 08/06/2024 08:27:10

Biblioteca(s): | Embrapa Agricultura Digital.
Data corrente: | 14/06/1996
Data da última atualização: | 22/03/2011
Autoria: | LOSAVIO, F.; MATTEO, A.; SCHLIENGER, F.
Afiliação: | FRANCISCA LOSAVIO, Universidad Central de Venezuela; ALFREDO MATTEO, Universidad Central de Venezuela; FRANÇOISE SCHLIENGER, Université Paris-Sud.
Título: | Problem based strategies + algebraic abstract data types = programs.
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. 1199-1210.
Idioma: | Inglês
Conteúdo: | A methodology is presented for the assisted construction of programs, involving decomposition of abstract data types which are formally specified as algebraic abstract data types. In order to assure the construction of robust software, exceptional situations are taken into account very early in the development process and they are also used to structure the corresponding program. As an example to illustrate the method, we have selected to construct the program corresponding to the binary tree search problem. Even if the methodology is sufficiently general to be used with any programming language holding genericity, modularity and exception handing features, Ada has been selected as the target language in this work. The program unit implementing the abstract data type, a decomposition scheme for common algorithms on the data type structure and an appropriated construction strategy depending on the nature of the problem, are the main elements used for program production. Finally, the method is compared with a similar approach and the automation with respect to code generation is evaluated.
Palavras-Chave: | Engenharia de software; Linguagem Ada.
Categoria do assunto: | X Pesquisa, Tecnologia e Engenharia
Registro original: | Embrapa Agricultura Digital (CNPTIA)
Exemplares: | CNPTIA - (3289-1) - ADD - PL - PP - 004 - SEM - 1995.00014 - DIS