1
|
Material Type: Relatório Técnico
|
|
A relational model towards the synthesis of data structures
Roberto Lins de Carvalho Antonio Luz Furtado; Atendolfo Pereda Borquez
Rio de Janeiro Puc 1977
Localização:
IME - Inst. Matemática e Estatística
(S M751 1977 v.17 )(Acessar)
|
2
|
Material Type: Relatório Técnico
|
|
Properties of conceptual and external database schemas
Marco Antonio Casanova José Mauro V. de Castilho; Antonio Luz Furtado
Rio de Janeiro PUC 1981
Localização:
IME - Inst. Matemática e Estatística
(S M751 1981 v.11 )(Acessar)
|
3
|
Material Type: Relatório Técnico
|
|
The plan recognition/Plan generation paradigm*
Angelo Ernani Maia Ciarlini Antonio L Furtado
Rio de Janeiro PUC 1998
Localização:
IME - Inst. Matemática e Estatística
(S M751 1998 v.48 )(Acessar)
|
4
|
Material Type: Relatório Técnico
|
|
Verification and testing of simple entity -relationship representations
Antonio L Furtado; Paulo A. S Veloso; Jose Mauro Volkmer de Castilho
Rio de Janeiro PUC 1981
Localização:
IME - Inst. Matemática e Estatística
(S M751 1981 v.04 )(Acessar)
|
5
|
Material Type: Relatório Técnico
|
|
Permitting updates through views of data bases
Antonio Luz Furtado K C Sevcik
Rio de Janeiro Puc 1978
Localização:
IME - Inst. Matemática e Estatística
(S M751 1978 v.2 )(Acessar)
|
6
|
Material Type: Relatório Técnico
|
|
On multi-level specification based on traces
Antonio Luz Furtado Paulo A. S Veloso
Rio de Janeiro Puc 1981
Localização:
IME - Inst. Matemática e Estatística
(S M751 1981 v.8 )(Acessar)
|
7
|
Material Type: Relatório Técnico
|
|
A w-grammar approach to data bases
Antonio Luz Furtado
Rio de Janeiro PUC 1982
Localização:
IME - Inst. Matemática e Estatística
(S M751 1982 v.9 )(Acessar)
|
8
|
Material Type: Relatório Técnico
|
|
An incremental approach to the construction of data base software
Antonio Luz Furtado Carlos José Pereira de Lucena
Rio de Janeiro Puc 1977
Localização:
IME - Inst. Matemática e Estatística
(S M751 1977 v.4 )(Acessar)
|
9
|
Material Type: Relatório Técnico
|
|
Towards the design of data base interfaces for non-programmers
Antonio Luz Furtado
Rio de Janeiro Puc 1977
Localização:
IME - Inst. Matemática e Estatística
(S M751 1977 v.5 )(Acessar)
|
10
|
Material Type: Relatório Técnico
|
|
On informal approach to formal specifications
Antonio Luz Furtado T. S. E Maibaum
Rio de Janeiro Puc 1981
Localização:
IME - Inst. Matemática e Estatística
(S M751 1981 v.6 )(Acessar)
|