1
|
Material Type: Relatório Técnico
|
|
Higher order data types
T. S. E. Maibaum Carlos José Pereira de Lucena
Rio de Janeiro Puc 1977
Localização:
IME - Inst. Matemática e Estatística
(S M751 1977 v.10 )(Acessar)
|
2
|
Material Type: Relatório Técnico
|
|
On the synthesis of programs and reliability
Carlos José Pereira de Lucena
Rio de Janeiro Puc 1974
Localização:
IME - Inst. Matemática e Estatística
(S M751 1974 v.4 )(Acessar)
|
3
|
Material Type: Relatório Técnico
|
|
PUC a knowledge based environment for planned user communication
Paula Ypiranga dos Guaranys Carlos José Pereira de Lucena
Rio de Janeiro PUC 1988
Localização:
IME - Inst. Matemática e Estatística
(S M751 1988 v.15 )(Acessar)
|
4
|
Material Type: Relatório Técnico
|
|
Um prototipador e gerador de interfaces gráficas por manipulação direta um modelo baseado em eventos
Luis Fernando Diniz Junqueira Barbosa Carlos José Pereira de Lucena
Rio de Janeiro PUC/RJ 1992
Localização:
IME - Inst. Matemática e Estatística
(S M751 1992 v.16 )(Acessar)
|
5
|
Material Type: Relatório Técnico
|
|
The semantics of nesting in object-oriented design
Luiza M. F. Carneiro Donald D Cowan; Carlos José Pereira de Lucena
Rio de Janeiro PUC/RJ 1993
Localização:
IME - Inst. Matemática e Estatística
(S M751 1993 v.10 )(Acessar)
|
6
|
Material Type: Relatório Técnico
|
|
Establishing a precise relationship between a software development enviroment and software process models
Arndt Von Staa Carlos José Pereira de Lucena; Donald D Cowan
Rio de Janeiro PUC/RJ 1992
Localização:
IME - Inst. Matemática e Estatística
(S M751 1992 v.21 )(Acessar)
|
7
|
Material Type: Relatório Técnico
|
|
Geração de dados de teste baseada nos aspectos estruturais de programas
Antonio Morais da Silveira Carlos Jose Pereira de Lucena
Rio de Janeiro Puc 1977
Localização:
IME - Inst. Matemática e Estatística
(S M751 1977 v.18 )(Acessar)
|
8
|
Material Type: Relatório Técnico
|
|
Software design cooperativo um estudo de caso
Renato C. Duarte Hugo Fuks; Carlos Jose Pereira de Lucena
Rio de Janeiro PUC/RJ 1992
Localização:
IME - Inst. Matemática e Estatística
(S M751 1992 v.4 )(Acessar)
|
9
|
Material Type: Relatório Técnico
|
|
A view of the program derivation process based on incompletely defined data types a case study
Carlos José Pereira de Lucena Tarcisio H. C Pequeno
Rio de Janeiro Puc 1977
Localização:
IME - Inst. Matemática e Estatística
(S M751 1977 v.25 )(Acessar)
|
10
|
Material Type: Relatório Técnico
|
|
On the use of a problem statement language in a software development
Carlos José Pereira de Lucena Romeu Delaroli; Vilmondes Gomes da Silva
Rio de Janeiro Puc 1977
Localização:
IME - Inst. Matemática e Estatística
(S M751 1977 v.3 )(Acessar)
|