Data/hora: 12/06/2024 15:14:18

Biblioteca(s): | Embrapa Agricultura Digital.
Data corrente: | 30/05/1996
Data da última atualização: | 17/08/2007
Autoria: | BARROS, R. S. M. de.
Título: | Specification and derivation of relational database 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.1
Páginas: | p.387-398
Idioma: | Inglês
Conteúdo: | The development of database applications is usually carried out informally. The derivation of database programs directly from formal specification is a well known and unsolved problem. Most of the previous work on the area either tried to solve the problem too generally or was restricted to some trivial aspects, for example deriving the database structure and/or simple operations. However difficult in general, deriving relational database applications directly from z specifications satisfyng a certain set of rules (the method) is not arduous. With appropriate tool support, writting formal specifications according to the method and deriving the corresponding relational database programs can be straightforward. Moreover, it should produce code which is standardized and thus easier to understand and maintain.
Categoria do assunto: | --
Registro original: | Embrapa Agricultura Digital (CNPTIA)
Exemplares: | CNPTIA - (3172-1) - ADD - PL - -- - 004 - SEM - 1995.00004 - DIS