|
|
Registro Completo |
Biblioteca(s): |
Embrapa Agricultura Digital. |
Data corrente: |
21/08/1996 |
Data da última atualização: |
18/12/2007 |
Autoria: |
CUNHA, C. M. A. da. |
Título: |
Refinement of database processes. |
Ano de publicação: |
1994 |
Fonte/Imprenta: |
In: SIMPÓSIO BRASILEIRO DE BANCO DE DADOS, 9., 1994, São Carlos. Anais... São Carlos: USP-ICMSC, 1994. |
Páginas: |
p.65-79. |
Idioma: |
Inglês |
Notas: |
SBBD'94. Editado por Caetano Traina Júnior.
|
Conteúdo: |
The information engineering method and the information engineering facility tool have been successfully used over the past years as an efficient way of developing information systems on a database environment. At present, code is automatically generated from a procrdural specification (written using the Process Action Diagram-PAD). The main purpose of this work is to make the PAD generation a stepwise refinement task, with the use of refinement laws (based on morgan's refinement calculus). The major advantage of this is to give more power to the designer, and to ensure that the resulting code is correct by construction. |
Categoria do assunto: |
-- |
Marc: |
LEADER 01080naa a2200145 a 4500 001 1003245 005 2007-12-18 008 1994 bl uuuu u00u1 u #d 100 1 $aCUNHA, C. M. A. da 245 $aRefinement of database processes. 260 $c1994 300 $ap.65-79. 500 $aSBBD'94. Editado por Caetano Traina Júnior. 520 $aThe information engineering method and the information engineering facility tool have been successfully used over the past years as an efficient way of developing information systems on a database environment. At present, code is automatically generated from a procrdural specification (written using the Process Action Diagram-PAD). The main purpose of this work is to make the PAD generation a stepwise refinement task, with the use of refinement laws (based on morgan's refinement calculus). The major advantage of this is to give more power to the designer, and to ensure that the resulting code is correct by construction. 773 $tIn: SIMPÓSIO BRASILEIRO DE BANCO DE DADOS, 9., 1994, São Carlos. Anais... São Carlos: USP-ICMSC, 1994.
Download
Esconder MarcMostrar Marc Completo |
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
Registros recuperados : 217 | |
1. | | CUNHA, C. P.; CRESTANA, S. Caracterização granulométrica em áreas de neossolo quartzarenico em ecossistema natural, sistema agroflorestal e pastagem. In: SIMPÓSIO NACIONAL DE INSTRUMENTAÇÃO AGROPECUÁRIA, 4., 2019, São Carlos, SP. Ciência, inovação e mercado: anais. São Carlos, SP: Embrapa Instrumentação, 2019. Editores: Paulino Ribeiro Villas-Boas, Maria Alice Martins, Débora Marcondes Bastos Pereira Milori, Ladislau Martin Neto. SIAGRO 2019. 356-360Tipo: Artigo em Anais de Congresso |
Biblioteca(s): Embrapa Instrumentação. |
| |
18. | | CUNHA, C. A.; WANDER, A. E. STAR unit root test e os preços da cana-de-açúcar. In: CONGRESSO SOCIEDADE BRASILEIRA DE ECONOMIA, ADMINISTRAÇÃO E SOCIOLOGIA RURAL, 47., 2009, Porto Alegre. Desenvolvimento rural e sistemas agroalimentares: os agronegócios no contexto de integração das nações: anais. Porto Alegre: Sociedade Brasileira de Economia, Administração e Sociologia Rural, 2009.Tipo: Artigo em Anais de Congresso |
Biblioteca(s): Embrapa Arroz e Feijão. |
| |
Registros recuperados : 217 | |
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|