close this section of the libraryftp://ftp.inf.puc-rio.br (99)
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/93_08_carvalho.ps.gz, 19941019
SOBRE O COMPORTAMENTO DE OBJETOS Sergio Eduardo Rodrigues de Carvalho Departamento de Inform tica, Pontificia Universidade Cat lica RJ Rua Marques de S o Vicente 225, G vea, Rio de Janeiro, 22453 Telefone: (55)(21)274-4449 Fax: (55)(21) 511-5645 e-mail: sergio@inf.puc-rio.br RESUMO O comportamento
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/94_05_souza.ps.gz, 19941019
C.S. de Souza & A.C.B. Garcia Towards a Rhetoric of ... 1 C.J.P. Lucena (Ed.) Monografias em Ci ncia da Computa o MCC05/94 Towards a Rhetoric of Active Design Documents Clarisse Sieckenius de Souza and Ana Cristina Bicharra Garcia Departamento de Inform tica Pontif cia Universidade Cat lica PUC-Rio
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/93_33_carvalho.ps.gz, 19941019
Specifying Object Behavior Sergio Eduardo Rodrigues de Carvalho Departamento de Inform tica, Pontificia Universidade Cat lica RJ Rua Marques de S o Vicente 225, G vea, Rio de Janeiro, 22453 Telefone: (55)(21)274-4449 Fax: (55)(21) 511-5645 e-mail: sergio@inf.puc-rio.br
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/94_31_martins.ps.gz, 19941019
Orienta o Sem ntica Versus Orienta o Sint tica na Captura de Dados para Aplica es pelo M todo dos Elementos Finitos Isa Haro Martins isa@inf.puc-rio.br Clarisse Sieckenius de Souza clarisse@inf.puc-rio.br Marcelo Gattass gattass@icad.puc-rio.br PUC-Rio.Inf.MCC31/94 Resumo: Os Sistemas de Engenharia
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/93_23_souza.ps.gz, 19941019
Anima o de Imagens Fractais e Representa o de Processos em Linguagens Visuais CLARISSE SIECKENIUS DE SOUZA MARISA ORTEGOZA DA CUNHA ICAD Departamento de Inform tica PUC-Rio Rua Marqu s de S o Vicente 225 22453 -- Rio de Janeiro, RJ clarisse@inf.puc-rio.br ortegoza@inf.puc-rio.br MONOGRAFIAS EM CI NCIA
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/93_25_silva.ps.gz, 19941019
Um Esbo o de C lculo de Influ ncia de Di logos na Escolha entre Propostas de A o Maria Tereza M. P. da Silva Hugo Fuks Resumo Este trabalho esbo a um c lculo de influ ncia de di logos argumentativos na escolha de um curso de a o em trabalho cooperativo auxiliado por computador. Cada a o poss vel pode
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/94_03_ierusalimschy.ps.gz, 19941019
Reference Manual of the Programming Language Lua Roberto Ierusalimschy Luiz Henrique de Figueiredo Waldemar Celes Filho TeCGraf | PUC-Rio roberto, lhf, celes@icad.puc-rio.br September 9, 1994
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/94_18_figueiredo.ps.gz, 19941019
The design and implementation of a language for extending applications Luiz Henrique de Figueiredo, Roberto Ierusalimschy, Waldemar Celes Filho TeCGraf{Grupo de Tecnologia em Computa c~ao Gr afica, ITS, PUC-Rio Pr edio do ITS, Rua Marqu^es de S~ao Vicente 225, 22453-900 Rio de Janeiro, RJ, Brasil
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/94_32_laufer_english.ps.gz, 19941019
ACCORD CONVERSATION CLICH ES FOR COOPERATION 1 Carlos Laufer Hugo Fuks laufer, hugo@inf.puc-rio.br Departamento de Inform atica Pontif cia Universidade Cat olica do Rio de Janeiro Rua Marqu^es de S~ao Vicente 225 22453-900 RJ Brasil
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/93_24_souza.ps.gz, 19941019
General Help Systems for Network Resource Discovery Clarisse Sieckenius de Souza Departamento de Inform tica PUC-Rio Rua Marqu s de S o Vicente 225 Rio de Janeiro, RJ Brazil clarisse@inf.puc-rio.br Center for the Study of Language and Information Stanford University Stanford, Ca. USA
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/94_25_nogueira.ps.gz, 19941019
DI-PUCRJ S rie: Monografias do Departamento de Inform tica MCC 25/94 Representa o do Conhecimento em Banco de Dados Textuais Jos Helano Matos Nogueira Ant nio Luz Furtado Departamento de Inform tica Pontif cia Universidade Cat lica do Rio de Janeiro Rua Marques de S o Vicente, 225 G vea CEP 22453-900
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/94_02_andreatta.ps.gz, 19941019
A Graph Partitioning Heuristic for the Parallel Pseudo-Exhaustive Logical Test of VLSI Combinational Circuits Alexandre A. Andreatta Celso C. Ribeiro e-mail: fandreatta,celsog@inf.puc-rio.br Catholic University of Rio de Janeiro Department of Computer Science Rua Marqu^es de S~ao Vicente 225 Rio de
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/93_06_carvalho.ps.gz, 19941019
The Object and Event Oriented Language TOOL Sergio Eduardo Rodrigues de Carvalho Departamento de Inform tica, Pontificia Universidade Cat lica RJ Rua Marques de S o Vicente 225, G vea, Rio de Janeiro, 22453 Telephone: (55)(21)274-4449 Fax: (55)(21) 511-5645 e-mail: sergio@inf.puc-rio.br 1
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/93_31_souza.ps.gz, 19941019
Testing Predictions of Semiotic Engineering in HCI Clarisse Sieckenius de Souza Departamento de Inform tica PUC-Rio Rua Marqu s de S o Vicente 225 22453 - Rio de Janeiro, RJ Brazil email: clarisse@inf.puc-rio.br Monografias em Ci ncia da Computa o Departamento de Inform tica PUC-Rio MCC 31/93
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/93_18_carvalho.ps.gz, 19941019
Asynchronous Behavior in the TOOL Programming System Sergio Eduardo Rodrigues de Carvalho Departamento de Inform tica, Pontificia Universidade Cat lica RJ Rua Marques de S o Vicente 225, G vea, Rio de Janeiro, 22453 Telephone: (55)(21)274-4449 Fax: (55)(21) 511-5645 e-mail: sergio@inf.puc-rio.br 1
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/93_17_martins.ps.gz, 19941019
Uma Proposta para Tratamento de Exce es em uma Linguagem Orientada a Objeto Isa Haro Martins Departamento de Inform tica, PUC-Rio Rua Marqu s de S o Vicente, 225 22453 Rio de Janeiro, RJ, Brasil isa@inf.puc-rio.br PUCRioInf - MCC17/93
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/94_04_souza.ps.gz, 19941019
Especifica es Formais para Linguagens Visuais de Programa o CLARISSE SIECKENIUS DE SOUZA DELLER JAMES ICAD Departamento de Inform tica PUC-Rio email: clarisse@icad.puc-rio.br e deller@inf.puc-rio.br Monografias em Ci ncia da Computa o MCC04/94
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/94_06_souza.ps.gz, 19941019
Structure and Expressiveness of Visual Computer Languages Clarisse Sieckenius de Souza Departamento de Inform tica - PUC-Rio Rio de Janeiro, RJ - Brazil email: clarisse@inf.puc-rio.br Monografias em Ci ncia da Computa o MCC06/94
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/93_26_staa.ps.gz, 19941019
CRIT RIOS PARA A AVALIA O DA COES OArndt von Staa(email: arndt@inf.puc-rio.br)PUCRioInf - MCC 26/93ABSTRACTA set of quality control criteria is presented. These criteria evaluate the quality factorcohesion. The criteria may be used whenever representations having several levels ofabstraction are built.
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/93_03_porto.ps.gz, 19941019
A Tabu Search Approach to Task Scheduling on Heterogeneous Processors under Precedence Constraints Stella C.S. Porto Celso C. Ribeiro (e-mail: stella@inf.puc-rio.br) (e-mail: celso@inf.puc-rio.br) Pontif cia Universidade Cat olica do Rio de Janeiro Departamento de Inform atica Rua Marqu^es de S~ao
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/94_21_cowan.ps.gz, 19941019
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/94_23_carneiro-coffin.ps.gz, 19941019
An Experience Using JASMINUM Formalization Assisting With the Design of User Interfaces L.M.F. Carneiro-Coffin1 D.D. Cowan1 C.J.P. Lucena2 D. Smith1 1 Computer Science Department and Computer Systems Group, University of Waterloo, Waterloo, Ont, Canada 2 Departamento de Inform atica, Pontif cia
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/94_22_alencar.ps.gz, 19941019
The Semantics of Abstract Data Views: A Design Concept to Support Reuse-in-the-Large P. S. C. Alencar L. M. F. Carneiro-Coffin y D.D. Cowan z C.J.P. Lucena x
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/94_24_nogueira.ps.gz, 19941019
DI-PUCRJ S rie: Monografias do Departamento de Inform tica MCC 24/94 An lise e Implementa o da Teoria Formal de Reconhecimento de Planos Jos Helano Matos Nogueira Jos Jesus Perez Alcazar Ant nio Luz Furtado Departamento de Inform tica Pontif cia Universidade Cat lica do Rio de Janeiro Rio de Janeiro,
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/93_27_staa.ps.gz, 19941019
PROJETOTOTEMMeta-Ambiente deDesenvolvimento de SoftwareDEFINI O DO PROJETOArndt von StaaDepartamento de Inform ticaPUC-RioOutubro 1993 Projeto TOTEMMeta-Ambiente de Desenvolvimento de SoftwareDefini o do ProjetoArndt von Staa(e-mail: arndt@inf.puc-rio.br)PUCRioInf - MCC 27/93ABSTRACTTOTEM's main
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/93_07_carvalho.ps.gz, 19941019
On the Reuse of Object Oriented Applications as Components Sergio Eduardo Rodrigues de Carvalho Departamento de Inform tica, Pontificia Universidade Cat lica RJ Rua Marques de S o Vicente 225, G vea, Rio de Janeiro, 22453 Telephone: (55)(21)274-4449 Fax: (55)(21) 511-5645 e-mail: sergio@inf.puc-rio.br
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/94_16_gilvaz.ps.gz, 19941019
FAES - Uma estrat gia para Aquisi o de Informa es Ana Paula Pinho Gilvaz* Ceras Johnson Ltda Av. Comandante Guaranys 599 22275-610 - Rio de Janeiro, Brasil Departamento de Inform tica Pontif cia Universidade Cat lica do Rio de Janeiro Julio Cesar Sampaio do Prado Leite* Departamento de Inform tica
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/94_29_lucena.ps.gz, 19941019
1 Prof. Antonio L. Furtado: Pioneiro da Pesquisa Acad mica na rea de Banco de Dados Carlos J. P. de Lucena Marco A. Casanova Paulo A. Veloso RESUMO O presente trabalho constitu do por tr s partes elaboradas independentemente pelos tr s autores, colegas e colaboradores do Prof. Antonio L. Furtado h
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/93_22_souza.ps.gz, 19941019
Sem ntica Lexical em Linguagens Pseudo-Naturais de Interface Clarisse Sieckenius de Souza1 Maria Carmelita Padua Dias2 Laura S nchez Garc a1 Margarida de Paula Bas lio3 Departamento de Inform tica PUC-Rio1 Departamento de Letras PUC-Rio2 Departamento de Ling stica e Filologia UFRJ3 email:
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/94_32_laufer.ps.gz, 19941019
Carlos Laufer Hugo Fuks ACCORD - CLICH^ES DE CONVERSAC ~ AO PARA COOPERAC ~ AO Departamento de Inform atica Pontif cia Universidade Cat olica do Rio de Janeiro Rio de Janeiro, agosto 1994 Resumo Clich^es de conversa c~ao s~ao m aquinas de estados que controlam as sequ^encias de eventos de di alogo entre
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/93_28_staa.ps.gz, 19941019
Uso de Instrumenta o para aConstru o de Programas Confi veisArndt von Staa(e-mail: arndt@inf.puc-rio.br)PUCRioInf MCC 28/93AbstractIn this paper we discuss the implementation of reliable programs using almost reliablecomponents. The implementation method contributes also to the productivity increasewhen
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/94_20_celes.ps.gz, 19941019
Estrat egias de reuso de software no TeCGraf Waldemar Celes Filho Luiz Henrique de Figueiredo Marcelo Gattass Roberto Ierusalimschy TeCGraf{Grupo de Tecnologia em Computa c~ao Gr afica, ITS, PUC-Rio Rua Marqu^es de S~ao Vicente 225, 22453-900 Rio de Janeiro, RJ, Brasil
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/93_11_guedes.ps.gz, 19941019
Um Processo de ReengenhariaEcon mico e EficazLuiz Carlos Guedes Arndt von Staa(e-mail: gmcgued@bruff.bitnete-mail: arndt@inf.puc-rio.br)PUCRioInf - MCC 11/93AbstractIn this paper we propose a re-engineering process. Using this process, source programsare restructured in order to reduce maintenance costs
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/94_11_bigonha.ps.gz, 19941019
PUC/RJ - DEPARTAMENTO DE INFORM ATICA S erie: Monografias em Ci^encia da Computa c~ao, No. M11/94 Editor: Prof. Carlos Jos e Pereira de Lucena Sistema Gerador de Geradores de C odigo para Arquiteturas Superescalares Mariza Andrade da Silva Bigonha Jos e Lucas Mour~ao Rangel Netto Agosto/1994 Para obter
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/93_34_carvalho.ps.gz, 19941019
Coroutine Semantics in the TOOL Programming Environment Sergio Eduardo Rodrigues de Carvalho Departamento de Inform tica, Pontificia Universidade Cat lica RJ Rua Marques de S o Vicente 225, G vea, Rio de Janeiro, 22453 Telephone: (55)(21)274-4449 Fax: (55)(21) 511-5645 e-mail: sergio@inf.puc-rio.br
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/94_17_ierusalimschy.ps.gz, 19941019
Side Effect Free Functions in Object-Oriented Languages Roberto Ierusalimschy Noemi Rodriguez Departamento de Inform atica | PUC-Rio roberto, noemi@inf.puc-rio.br
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/94_19_borges.ps.gz, 19941019
UAI | Um Framework para Suporte a Objetos Visuais Renato Borges Carlos Cassino Renato Cerqueira Roberto Ierusalimschy ICAD | Departamento de Inform atica | PUC/Rio rborges, cassino, rcerq, roberto@icad.puc-rio.br Resumo UAI e um framework de classes C++ para desenvolvimento de programas gr
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/94_28_amaral.ps.gz, 19941026
Resumo Os Sistemas Gerenciadores de Banco de Dados Orientados a Objetos (SGBDOO) t m se firmado como alternativa para aplica es que necessitem manipular dados n o convencionais. Devido riqueza de conceitos, os projetos de aplica es que utilizam SGBDs OO s o bem mais complexos do que no caso dos
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/93_16_soares.ps.gz, 19941028
An Open Hypermedia System with Nested Composite Nodes and Version Control Luiz Fernando G. Soares Noemi L. R. Rodriguez Marco Antonio Casanova Depto. de Inform tica, PUC-Rio Depto. de Inform tica, PUC-Rio Centro Cient fico Rio, IBM Brasil R. Marqu s de S o Vicente 225 R. Marqu s de S o Vicente 225 Caixa
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/94_10_garcia.ps.gz, 19941206
Improving Design and Documentation by Using Partially Automated Synthesis A. CRISTINA BICHARRA GARCIA1, H. CRAIG HOWARD2 AND MARK J. STEFIK3 Departamento de Informatica, PUC-RIO, Rio de Janeiro, Brazil1, Department of Civil Engineering, Stanford University, Stanford,CA2 and Information Systems and
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/93_20_garcia.ps.gz, 19941206
Building a Model for Augmented Design Documentation1 Ana Cristina Bicharra Garcia2 H. Craig Howard3
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/93_12_duarte.ps.gz, 19941206
T ecnicas Formais e Informais: Um Estudo sobre Integra c~ao usando Statecharts Carlos Henrique C. Duarte Edward H. Haeusler @inf.puc-rio.br Departamento de Inform atica Pontif cia Universidade Cat olica do Rio de Janeiro R. Marqu^es de S. Vicente, 225, Rio de Janeiro, RJ, 22453, Brazil
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/93_15_garcia.ps.gz, 19941206
Design Rationale for Collaboration: The Active Document Approach Ana Cristina Bicharra Garcia Mark Stefik H. Craig Howard e-mail: bicharra@inf.puc-rio.br Submitted to Research in Engineering Design Journal. March 1994 We present a new approach for supporting documentation in routine design tasks using
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/94_30_schwabe.ps.gz, 19950210
1 From Domain Models to Hypermedia Applications: an Object-Oriented Approach. Daniel Schwabe and Gustavo Rossi 1 Departamento de Inform tica Pontificia Universidade Cat lica R. M. de S. Vicente, 225 Rio de Janeiro, RJ 22453-900, Brazil Fax: +55-21-511 5645. Telephone: +55-21-529 9544 E-mail:
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/94_41_schwabe.ps.gz, 19950210
1 Building Hypermedia Applications as Navigational Views of Information Models Daniel Schwabe and Gustavo Rossi* Departamento de Inform tica Pontificia Universidade Cat lica, Rio de Janeiro, Brazil Presented at 28th Hawaii International Conference on System Sciences, Hawaii, Jan. 1995
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/94_42_barbosa.ps.gz, 19950316
Navigation Modelling in Hypermedia Applications Daniel Schwabe and Simone D. J. Barbosa Departamento de Inform tica Pontif cia Universidade Cat lica R. Marqu s de S o Vicente, 225 Rio de Janeiro RJ 22453-900 Brazil e-mail: @inf.puc-rio.br
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/94_34_levy.ps.gz, 19950404
IUP/LED: A Portable User Interface Development Tool C.H. Levy, L.H. de Figueiredo, M. Gattass, C.J.P. Lucena Departamento de Inform atica Pontif cia Universidade Cat olica 22453-900 Rio de Janeiro, RJ, Brazil flevy,lhfg@icad.puc-rio.br; fgattass,lucenag@inf.puc-rio.br D.D. Cowan Computer Science
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/94_39_mere.ps.gz, 19950425
THE ELIMINABILITY PROPERTY IN EXTENSIONS BY SORT Mar a Claudia MER E e-mail: mere@inf.puc-rio.br Paulo A. S. VELOSO e-mail: veloso@inf.puc-rio.br
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/94_14_veloso.ps.gz, 19950425
1 1. INTRODU O A id ia de implementa o crucial no desenvolvimento de programas por refinamentos sucessivos. Uma implementa o envolve descrever os conceitos de um n vel, mais abstrato, em termos dos conceitos do n vel seguinte, mais concreto. Linguagens de programa o costumam fornecer mecanismos para
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/94_37_mere.ps.gz, 19950425
On deflnition-like extensions by sorts Mar a Claudia MER E e-mail: mere@inf.puc-rio.br Paulo A. S. VELOSO e-mail: veloso@inf.puc-rio.br
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/94_40_veloso.ps.gz, 19950425
ON DEFINABILITY PROPERTIES FOR SORT INTRODUCTION CONSTRUCTS Paulo A. S. VELOSO e-mail: veloso@inf.puc-rio.br Mar a Claudia MER E e-mail: mere@inf.puc-rio.br PUCRioInf MCC 40/94
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/94_38_veloso.ps.gz, 19950425
Some Constructs for Sort Introduction in Logical Speciflcations Paulo A. S. VELOSO e-mail: veloso@inf.puc-rio.br Mar a Claudia MER E e-mail: mere@inf.puc-rio.br
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/95_06_porto.ps.gz, 19951010
Parallel Strategies for Task Scheduling Algorithms Using PVM Stella C.S. Porto y Depto. de Eng. de Telecomunica c~oes Universidade Federal Fluminense Rua Passos da P atria 156 Niter oi 24210, RJ e-mail: stella@inf.puc-rio.br Celso C. Ribeiro z Departamento de Inform atica Pontif cia Universidade Cat
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/95_02_maia.ps.gz, 19951010
1 REPRESENTING TEAM DESIGN ACTIVITY Antonio Carlos Pereira Maia *
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/95_07_rossi.ps.gz, 19951010
An Object-Oriented Model for Designing the Human-Computer Interface Of Hypermedia Applications G. Rossi 1*, D. Schwabe 1, C.J.P. Lucena 1and D.D. Cowan2 1 Departamento de Informatica Pontificia Universidade Cat lica. R. M. de S. Vicente, 225 Rio de Janeiro, RJ 22453-900, Brazil. Fax: +55-21-511 5645.
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/95_24_correa.ps.gz, 19951010
A Concrete Categorical Model for the Lambek Calculus Marcelo da Silva Corr^ea 1 e-mail: correa@inf.puc-rio.br Edward Hermann Haeusler e-mail: hermann@inf.puc-rio.br PUC-RioInf.MCC24/95
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/95_22_araujo.ps.gz, 19951010
QUORUM-W A Group Decision Support Tool for the Internet Environment Renata Mendes de Araujo COPPE/UFRJ, Programa de Engenharia de Sistemas Caixa Postal 68501 - 21945-970, Rio de Janeiro, RJ, Brasil e-mail: renata@cos.ufrj.br http://cos.ufrj.br/~renata/mypage.html Hugo Fuks Departamento de Inform tica
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/95_08_ierusalimschy.ps.gz, 19951010
Reference Manual of the Programming Language Lua 2.1 Roberto Ierusalimschy Luiz Henrique de Figueiredo Waldemar Celes Filho roberto,lhf,celes@icad.puc-rio.br MCC 08/95 | Departamento de Inform atica | PUC-Rio April 25, 1995
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/95_12_ierusalimschy.ps.gz, 19951010
Lua|an extensible extension language Roberto Ierusalimschy Luiz Henrique de Figueiredo Waldemar Celes Filho roberto,lhf,celes@icad.puc-rio.br MCC 12/95 | Departamento de Inform atica | PUC-Rio May 15, 1995
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/95_21_correa.ps.gz, 19951010
A Dialectica Model of State Marcelo da Silva Corr^ea 1 e-mail: correa@inf.puc-rio.br Edward Hermann Haeusler e-mail: hermann@inf.puc-rio.br Valeria Correa Vaz de Paiva Computer Laboratory - University of Cambridge New Museums Site - Pembroke Street Cambridge CB2 3QG - U.K. Computer Laboratory -
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/95_19_staa.ps.gz, 19951114
#ONSIDERA ES SOBRE %DUCA O EM %NGENHARIA DE 3OFTWARE !ffiVffi 3TAA ARNDT INFffiPUCflRIOffiBR $EPARTAMENTO DE )NFORM TICA 0ONTIF CIA 5NIVERSIDADE #AT LICA <=>= flss 2IO DE *ANEIROfi "RASIL *UNHO ssss>= 05#fl2IO)NFffi-## ssfflss>= 2ESUMO .ESTE ARTIGO APRESENTAMOS E JUSTIFICAMOS ALGUNS DOS REQUISITOS A
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/95_14_braga.ps.gz, 19951114
&ERRAMENTAS PARA A 'ERA O !UTOM TICA DE $OCUMENTA O #ffi/ffi "RAGA !ffiVffi 3TAA INFffiPUCflRIOffiBR $EPARTAMENTO DE )NFORM TICA 0ONTIF CIA 5NIVERSIDADE #AT LICA <=>= ss 2IO DE *ANEIROfi "RASIL 05#fl2IO)NF-## <=fflss>= *UNHO ssss>= 2ESUMO Este artigo tem por objetivo discutir o problema
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/95_23_muchaluat.ps.gz, 19951116
Browsing in a Hypermedia System with Nested Composite Nodes D bora Christina Muchaluat debora@inf.puc-rio.br Luiz Fernando Gomes Soares lfgs@inf.puc-rio.br Marco Antonio Casanova casanova@vnet.ibm.com PUC-RioInf.MCC23/95 October, 1995
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/95_31_souzafilho.ps.gz, 19951116
Synchronization Aspects of a Presentation Model for Hypermedia Documents with Composite Nodes Guido Lemos de Souza Filho DIMAp, UFRN guido@dimap.ufrn.br Luiz Fernando G. Soares lfgs@inf.puc-rio.br Marco Antonio Casanova Centro Cient fico Rio, IBM Brasil casanova@vnet.ibm.com PUC-RioInf.MCC31/95 October,
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/95_32_casanova.ps.gz, 19951116
Anchors and Links for Composite Nodes Marco Antonio Casanova Centro Cient fico Rio, IBM Brasil casanova@vnet.ibm.com Guido Lemos de Souza Filho DIMAp, UFRN guido@dimap.ufrn.br Luiz Fernando G. Soares lfgs@inf.puc-rio.br PUC-RioInf.MCC32/95 October, 1995
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/95_30_schwabe.ps.gz, 19951218
1 Systematic Hypermedia Application Design with OOHDM Daniel Schwabe, Gustavo Rossi *, Simone D.J. Barbosa Departamento de Inform tica Pontif cia Universidade Cat lica R. Marqu s de S o Vicente, 225 Rio de Janeiro, RJ 22453-900, Brazil e-mail: @ inf.puc-rio.br (*) also LIFIA, F. Cs.
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/95_20_costa.ps.gz, 19951226
M nica Costa, Bruno Feij and Daniel Schwabe. Reactive Agents in Behavioral Animation M NICA COSTA ICAD - Laborat rio de CAD Inteligente, PUC-Rio e-mail: monica@icad.puc-rio.br BRUNO FEIJ ICAD - Laborat rio de CAD Inteligente, PUC-Rio e-mail: bruno@icad.puc-rio.br DANIEL SCHWABE e-mail:
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/95_41_maia.ps.gz, 19951226
A model of the communicative behavior of designers involved in cooperative software design Antonio Carlos Pereira Maia * Hugo Fuks Carlos Jos Pereira de Lucena Departamento de Inform tica Pontif cia Universidade Cat lica do Rio de Janeiro R.Marqu s de S.Vicente, 225, Rio de Janeiro, RJ, 22453-900,
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/95_40_staa.ps.gz, 19960229
#EN RIOS DE 5TILIZA O DE 4OTEM !RNDT VON 3TAA ARNDT INFffiPUCflRIOffiBR 0ONTIF CIA 5NIVERSIDADE #AT LICA <=>= ss 2IO DE *ANEIROfi "RASIL 05#fl2IO)NF-## <= fflss>= $EZEMBRO ssss>= 2ESUMO Neste artigo apresentamos alguns cen rios de uso do meta-ambiente de engenharia de software Totem. O artigo tem por
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/95_35_staa.ps.gz, 19960229
!N /VERVIEW OF 4HE 4OTEM 3OFTWARE %NGINEERING -ETAfl%NVIRONMENT !RNDT VON 3TAA ARNDT INFffiPUCflRIOffiBR $EPARTAMENTO DE )NFORM TICA 0ONTIF CIA 5NIVERSIDADE #AT LICA DO 2IO DE *ANEIRO <=>= flss 2IO DE *ANEIROfi 2* "RAZIL $ONALD $ffi #OWAN DCOWAN CSGffiUWATERLOOffiCA #OMPUTER 3CIENCE $EPARTMENT
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/95_36_serrano.ps.gz, 19960229
!-")%.4% $% 2%15)3)4/3 -ARIA !M LIA "ffi 3ERRANO !RNDT VON 3TAA INFffiPUCflRIOffiBR $EPARTAMENTO DE )NFORM TICA 0ONTIF CIA 5NIVERSIDADE #AT LICA DO 2IO DE *ANEIRO <=>= ss 2IO DE *ANEIROfi "RASIL 05# fl 2IO)NF-## fflss>= .OVEMBRO ssss>= 2ESUMO definido um Ambiente de Requisitos composto
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/96_02_ciarlini.ps.gz, 19960301
Sistema para Reconhecimento e Gera o de Planos Angelo E. M. Ciarlini e-mail: angelo@inf.puc-rio.br Antonio L. Furtado e-mail: furtado@inf.puc-rio.br PUC-RioInf.MCC 02/96 February, 1996
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/95_25_coelho.ps.gz, 19960419
Aspectos Semi oticos de uma Interface 3D Luiz Cristov~ao Gomes Coelho lula@icad.puc-rio.br Clarisse Sieckenius de Souza clarisse@inf.puc-rio.br PUC{RioInf.MCC25/95 Abril, 1995
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/96_07_mediano.ps.gz, 19960419
Map-tree: Um M etodo de Acesso para Mapas Longos Maur cio Riguette Mediano mediano@inf.puc-rio.br Marco Antonio Casanova Centro Cient fico Rio, IBM Brasil casanova@vnet.ibm.com Marcelo Gattass gattass@inf.puc-rio.br PUC-RioInf.MCC07/96 March, 1996
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/96_06_colcher.ps.gz, 19960419
Modelo de Objetos Baseado no CORBA para Sistemas Hiperm dia Abertos com Garantias de Sincroniza c~ao S ergio Colcher1 colcher@inf.puc-rio.br Marco Antonio Casanova2 casanova@vnet.ibm.com Luiz Fernando G. Soares1 lfgs@inf.puc-rio.br Guido Lemos S. Filho1;3 guido@dimap.ufrn.br 1Laborat orio Telem dia
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/96_03_ribeiro.ps.gz, 19960419
A Case Study on Parallel Synchronous Implementations for Tabu Search Based on Neighborhood Decomposition Celso C. Ribeiro Department of Computer Science Pontif cia Universidade Cat olica Rua Marqu^es de S~ao Vicente 225 Rio de Janeiro 22453-970, RJ Brazil e-mail: celso@inf.puc-rio.br Stella C.S. Porto y
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/96_01_martins.ps.gz, 19960419
Ferramentas para Programa c~ao Paralela em Ambientes de Mem oria Distribu da Simone de L. Martins Celso C. Ribeiro Noemi de la R. Rodriguez e-mail: fsimone,celso,noemig@inf.puc-rio.br Pontif cia Universidade Cat olica do Rio de Janeiro Department of Computer Science Rua Marqu^es de S~ao Vicente 225 Rio
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/95_37_maculan.ps.gz, 19960422
A New Formulation for Scheduling Unrelated Processors under Precedence Constraints Nelson Maculan Stella C.S. Porto Universidade Federal do Rio de Janeiro Universidade Federal Fluminense COPPE - Engenharia de Sistemas e Computa c~ao Dept. of Telecommunication Engineering Caixa Postal 68514 Rua Passos da
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/95_26_prates.ps.gz, 19960422
Sobre o nus da Representa o de Modelos em Interfaces Multimodais para Sistemas de Configura o Espacial Raquel Oliveira Prates1,3 Clarisse Sieckenius de Souza1 Fl vio Miguel Varej o1,2 1Departamento de Inform tica Pontif cia Universidade Cat lica PUC-Rio email: {clarisse, fvarejao,raquel}@inf.puc-rio.br
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/96_16_lerner.ps.gz, 19960621
An lise de Custos, Desempenho e Balanceamento de Carga de Algoritmos de Jun o em Ambientes com Mem ria Distribu da1 Alberto Lerner2 S rgio Lifschitz3 Alexandre Plastino4 E-mail: {lerner, lifschit, plastino}@inf.puc-rio.br PUCRioInfMCC16/96
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/96_10_duran.ps.gz, 19960621
Some Classes Containing a Fork Algebra Equivalent Variety Involving Projections and their Use to Specify Abstract Data Types Juan E. Dur an April 11, 1996 PUC-Rio Inf.MCC10/96
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/96_09_maia.ps.gz, 19960621
A model for cooperative software design ANTONIO CARLOS PEREIRA MAIA* EDWARD HERMANN HAEUSLER CARLOS JOS PEREIRA DE LUCENA Departamento de Inform tica Pontif cia Universidade Cat lica do Rio de Janeiro E-mail: {maia, hermann, lucena@inf.puc-rio.br} *(on leave from PETROBR S - Petr leo Brasileiro S.A.)
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/96_15_milidiu.ps.gz, 19960626
The WARM-UP Algorithm: A Lagrangean Construction of Length Restricted Hufiman Codes Ruy Luiz Milidi u milidiu@inf.puc-rio.br Eduardo Sany Laber laber@lmf-di.puc-rio.br PUC-RioInf.MCC15/96 May, 1996
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/96_17_sanchez.ps.gz, 19960910
- i - Software Design Baseado em Encapsulamento de Dados e Troca de Mensagens entre Subsistemas Aut nomos Focalizando o Re so Maria Luiza d'Almeida Sanchez UFF (TET/CAA) - Departamento de Engenharia de Telecomunica es P s -Gradua o em Computa o Aplicada e Automa o e-mail: mluiza@caa.uff.br Bruno Maffeo1
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/96_22_ferreira.ps.gz, 19960910
An analysis of strictly visual codes in programming environments from a semiotic perspective DELLER J. FERREIRA email: deller@inf.pud-rio.br CLARISSE S. DE SOUZA email: clarisse@inf.puc-rio.br ROBERTO IERUSALIMSCHY email: roberto@inf.puc-rio.br PUC-RioInf.MCC22/96 August, 1996
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/96_18_sanchez.ps.gz, 19960910
Modelagem Conceitual de Sistemas de Tempo-Real Um Estudo de Caso Maria Luiza d'Almeida Sanchez UFF Departamento de Engenharia de Telecomunica es CAA - P s Gradua o em Computa o e Automa o Aplicada e-mail: mluiza@caa.uff.br Bruno Maffeo1 UFG Instituto de Matem tica e F sica Departamento de Estat stica e
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/96_13_rodriguez.ps.gz, 19960912
The use of interpreted languages for implementing parallel algorithms on distributed systems Noemi Rodriguez noemi@inf.puc-rio.br Cristina Ururahy ururahy@inf.puc-rio.br Roberto Ierusalimschy roberto@inf.puc-rio.br Renato Cerqueira rcerq@inf.puc-rio.br PUC-RioInf.MCC13/96 March, 1996
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/96_32_costa.ps.gz, 19960924
An Architecture for Concurrent Reactive Agents in Real-Time Animation M NICA COSTA BRUNO FEIJ ICAD - Laborat rio de CAD Inteligente Departamento de Inform tica, PUC-Rio Rua Marqu s de S o Vicente, 225 22453-900 Rio de Janeiro, RJ, Brasil {monica,bruno}@icad.puc-rio.br PUC-RioInf.MCC32/96 September, 1996
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/96_21_cafezeiro.ps.gz, 19960924
Paradigmas de Linguagens de Programa c~ao: uma abordagem geom etrica Isabel Cafezeiro Edward Hermann Haeusler y Carlos J. P. Lucena z PUC-Rio Inf.MCC 21/96 Junh,1996 September 19, 1996
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/97_01_zukin.ps.gz, 19970630
DIGITAL COMMUNICATION TECHNOLOGY: CONNECTING DESIGN, ENGINEERING AND MANUFACTURING MARCIO ZUKIN Dept. of Industrial Engineering, PUC-Rio. Rio de Janeiro, BRAZIL e-mail: marzukin@rdc.puc-rio.br HUGO FUKS e-mail: hugo@inf.puc-rio.br http://www.inf.puc-rio.br/~hugo/ PAULO R. T. DALCOL Dept. of Industrial
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/97_16_fiorini.ps.gz, 19980226
Descri o de Padr es de Processo em um Ambiente Automatizado para a Modelagem de Processos Soeli T. Fiorini Julio Cesar Sampaio do Prado Leite Carlos Jos Pereira de Lucena soeli,julio,lucena@inf.puc-rio.br Pontif cia Universidade Cat lica do Rio de Janeiro PUC-Rio Rua Marqu s de S o Vicente 255,
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/97_44_almeida.ps.gz, 19980226
PUC RIO - DEPARTAMENTO DE INFORM TICA Monografias em Ci ncia da Computa o Editor: Carlos J. P. Lucena Dezembro, 97 ESPECIFICA O DE ESTRUTURAS CONCEITUAIS B SICAS ATRAV S DA L GICA DE PREDICADOS Eliana Silva de Almeida Bruno Maffeo Departamento de Inform tica SUM RIO 1. INTRODU O
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/97_42_uchoa.ps.gz, 19980226
HEROS: um Sistema de Bancos de Dados Heterog neos usando CORBA Elvira Maria Antunes Uch a1 elvira@inf.puc-rio.br S rgio Lifschitz2 lifschit@inf.puc-rio.br Rubens Nascimento Melo3 rubens@inf.puc-rio.br PUC-RioInf.MCC42/97 Novembro, 1997 Resumo O uso de padr es para a orienta o a objetos tem sido
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/97_43_cerqueira.ps.gz, 19980226
A Dynamic Approach for Composing CORBA Objects Renato Cerqueira rcerq@inf.puc-rio.br Roberto Ierusalimschy roberto@inf.puc-rio.br Noemi Rodriguez noemi@inf.puc-rio.br PUC-RioInf.MCC43/97 November, 1997
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/96_45_uchoa.ps.gz, 19980226
Interoperabilidade de Objetos em Sistemas de Bancos de Dados Heterog neos Elvira Maria Antunes Uch a 1 elvira@inf.puc-rio.br Rubens Nascimento Melo 2 rubens@inf.puc-rio.br S rgio Lifschitz 3 lifschit@inf.puc-rio.br PUC-RioInf.MCC45/96 Dezembro, 1996 Resumo Sistemas de bancos de dados heterog neos t m
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/97_23_silva.ps.gz, 19980226
Communicating Different Perspectives on Extensible Software S rgio Roberto P. da Silva Simone D.J. Barbosa Clarisse Sieckenius de Souza srsilva,sim,clarisse@inf.puc-rio.br Departamento de Inform tica PUC-Rio R. Marqu s de S. Vicente 225 Rio de Janeiro,RJ 1 Communicating Different Perspectives on
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/98_02_milidiu.ps.gz, 19980304
A Space-Economical Algorithm for Minimum-Redundancy Coding Ruy Luiz Milidi u milidiu@inf.puc-rio.br Artur Alves Pessoa artur@learn.fplf.org.br Eduardo Sany Laber laber@inf.puc-rio.br PUC-RioInf.MCC02/98 January, 1998
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/98_04_laufer.ps.gz, 19980304
1 Rio Internet TV AulaNet Videoconfer ncia em Web-Based Learning Carlos Laufer, Hugo Fuks, Carlos J. P. de Lucena email: {laufer, hugo, lucena}@inf.puc-rio.br PUC-RioInf.MCC04/98 Mar o, 1998
open this document and view contentsftp://ftp.inf.puc-rio.br/pub/docs/techreports/97_46_moura.ps.gz, 19980304
The Spider Environment Leonardo Mendon a de Moura e-mail: moura@les.inf.puc-rio.br Carlos Jos Pereira de Lucena lucena@inf.puc-rio.br Arndt von Staa arndt@inf.puc-rio.br PUC-RioInf.MCC46/97 December, 1997