11
|
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)
|
12
|
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)
|
13
|
Material Type: Relatório Técnico
|
|
On some view constructs for the specification and design of external schemas
Paulo A. S. Veloso Antonio Luz Furtado
Rio de Janeiro Puc 1983
Localização:
IME - Inst. Matemática e Estatística
(S M751 1983 v.8 )(Acessar)
|
14
|
Material Type: Relatório Técnico
|
|
On multi-step methods for stepwise construction of algebraic specifications for data base applications
Paulo A. S. Veloso Antonio Luz Furtado
Rio de Janeiro Puc 1983
Localização:
IME - Inst. Matemática e Estatística
(S M751 1983 v.2 )(Acessar)
|
15
|
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)
|
16
|
Material Type: Relatório Técnico
|
|
Formal data base specification an eclectic perspective
Paulo A. S. Veloso Marco Antonio Casanova; Antonio Luz Furtado
Rio de Janeiro Puc 1984
Localização:
IME - Inst. Matemática e Estatística
(S M751 1984 v.1 )(Acessar)
|
17
|
Material Type: Relatório Técnico
|
|
Complete and compatible sets of update operations
K. C. Sevcik Antonio Luz Furtado
Rio de Janeiro Puc 1977
Localização:
IME - Inst. Matemática e Estatística
(S M751 1977 v.26 )(Acessar)
|
18
|
Material Type: Relatório Técnico
|
|
A pragmatical approach to structured database design
Luiz Tucherman Antonio Luz Furtado; Marco Antonio Casanova
Rio de Janeiro Puc 1983
Localização:
IME - Inst. Matemática e Estatística
(S M751 1983 v.11 )(Acessar)
|
19
|
Material Type: Relatório Técnico
|
|
Using graph grammars for the defintion of sets of digraphs
John Mylopoulos Antonio Luz Furtado
Rio de Janeiro Puc 1975
Localização:
IME - Inst. Matemática e Estatística
(S M751 1975 v.1 )(Acessar)
|
20
|
Material Type: Relatório Técnico
|
|
Iteration for applicative languages a proposal
Antonio Luz Furtado Paulo A. S Veloso
Rio de Janeiro Puc 1988
Localização:
IME - Inst. Matemática e Estatística
(S M751 1988 v.7 )(Acessar)
|