2 PRODUÇÃO CIENTÍFICA, TECNOLÓGICA E ARTÍSTICA/CULTURAL

 

              2.1 PRODUÇÃO BIBLIOGRÁFICA

 

                     2.1.1 Trabalhos completos em anais de eventos

 

          1          Masiero, P. C. 2004. Reuso da Implementação Orientada a Aspectos do Padrão de Projeto Camada de

                    Persistência.  In  A ser publicado,  SugarLoaf - Pattern Languages of Programs,  Porto das Dunas,  2004.

 

          2          Pazin, Anderson, Rosângela A D Penteado, and P. C. Masiero. 2004. SiGCLi: A Pattern Language for

                    Management of of rehabilitation clinics.  In  A ser publicado,  SugarLoaf - Pattern Languages of

                    Programs,  Porto das Dunas, CE,  2004.

 

          3          Braga, Rosana T V, P. C. Masiero, and Fernão S R Germano. 2004. System Development using a

                    Pattern Language-based Tool.  In  Proceedings of the 6th International Conference on Enterprise

                    Information Systems,  International Conference on Enterprise Information Systems,  Porto,  2004,

                    3:155-162 http://www.insticc.org: INSTICC Press.

 

          4          Lemos, Otávio A L, José Carlos Maldonado, and P. C. Masiero. 2004. Teste de Unidades de Programas

                    Orientados a Aspectos.  In  a ser publicado,  Simpósio Brasileiro de Engenharia de Software,  Brasilia,

                    2004.

 

          5          Ramos, Ricardo, Rosângela A D Penteado, and P. C. Masiero. 2004. Um processo de reestruturação de

                    código baseado em aspectos.  In  a ser publicado,  Simpósio Brasileiro de Engenharia de Software,

                    Brasília,  2004.

 

          6          Cagnin, Maria Istela, José Carlos Maldonado, Fernão Stella R Germano, P. C. Masiero, Alessandra

                    Chan, and Rosângela A D Penteado. 2003. An Agile Reverse Engineering Process based on a

                    Framework.  In  6th International Workshop on Requirements Engineering,  Workshop de Engenharia de

                    Requisitos,  Piracicaba,  2003,  VI:240-252 Piracicaba: Unimep.

 

          7          Braga, Rosana T V, Fernão Stella R Germano, and P. C. Masiero. 2003. Building a wizard for framework

                    instantiation based on a pattern language.  In  Lecture Notes in Computer Science,  International

                    Conference on Object-Oriented Information Systems,  Genebra,  2003,  2817:95-106 Heidelberg:

                    Springer-Verlag.

 

          8          Braga, Rosana T V, Fernão Stella R Germano, and P. C. Masiero. 2003. Experiments on pattern

                    language-based modeling.  In  Anais do Simpósio Brasileiro de Engenharia de Software,  Simpósio

                    Brasileiro de Engenharia de Software,  Manaus,  2003,  XVII:35-40 Manaus: SBC/UFA.

 

          9          Masiero, P. C., and Ernesto Massaropi Júnior. 2003. Modelagem geométrica e funcional de paletes de

                    transporte para auxiliar a determinação do fluxo de peças em sistemas produtivos.  In  Fórum de

                    discussão da engenharia de fabricação no Brasil,  Congresso Brasileiro de Engenharia de Fabricação,

                    Uberlândia,  2003, 1-11 Uberlândia: ABCM/UFU.

 

          10          Camargo, Valter V. de, Ricardo A. Ramos, Rosângela A D Penteado, and P. C. Masiero. 2003. Projeto

                    baseado em aspectos do padrão camada de persistência.  In  Anais do Simpósio Brasileiro de

                    Engenharia de Software,  Simpósio Brasileiro de Engenharia de Software,  Manaus,  2003,  XVII:71-76

                    Manaus: SBC/UFA.

          11          Braga, Rosana T V, and P. C. Masiero. 2002. A Process for Framework Construction Based on a Pattern

                    Language.  In  Proceedings of the Computer Software and Application Conference,  Annual International

                    Computer Software and Applications Conference,  Oxford,  2002,  1:615-620 Los Alamitos: IEEE

                    Computer Society.

 

          12     Re, R., Rosana T V Braga, and P. C. Masiero. 2002. A Process for Framework Development from

                    Reverse Engineering of Web-based Information Systems.  In  Proceeding of the International Seminar on

                    Advanced Research in e-Business,  International Seminar on Advanced Research in e-Business,  Rio de

                    Janeiro,  2002,  1:25-34 Rio de Janeiro: PUC-RJ.

 

          13          Braga, Rosana T V, and P. C. Masiero. 2002. An Approach for Framework Construction and Instantiation

                    using Pattern Languages.  In  Proceedings of International Conference on Computer Science, Information

                    Technology, e-Busines, and Application,  International Conference on Computer Science, Information

                    Technology, e-Busines, and Applications - CSITeA,  Foz do Iguaçú,  2002,  1:305-310 ACIS.

 

          14          Massaropi JR, Ernesto, and P. C. Masiero. 2002. Modelagem Geométrica e Funcional de Garras de Robô

                    para Auxiliar a Determinação do Fluxo de Peças em Sistemas Produtivos.  In  ANAIS: II Congresso

                    Nacional de Engenharia Mecânica,  Congresso Nacional de Engenharia Mecânica,  João Pessoa,  2002,

                    1:15-25 João Pessoa: UFPB e ABCM.

 

          15          Braga, Rosana T V, and P. C. Masiero. 2002. The Role of Pattern Languages in the Instantiation of

                    Object-oriented Frameworks.  In  Lecture Notes in Computer Science,  Advances in Object-oriented

                    Information Systems: Workshop on Reuse in Information Systems Design,  Montpellier,  2002,

                    2426:122-131 Berlin: Springer-Verlag.

 

          16     Re, R., Rosana T V Braga, and P. C. Masiero. 2001. A Pattern Language for Online Auctions

                    Management.  In  Proceedings of the 8th Conference on Pattern Languages of Programs (PLoP'2001),

                   8th Conference on Pattern Languages of Programs (PLoP'2001),  Monticello,  2001,  1:1-18.

 

          17          Masiero, P. C., T. Sugeta, José Carlos Maldonado, and S. C. P. F. Fabbri. 2001. A Tool to Support

                    Statecharts Validation Based on Mutation Testing.  In  4o. Workshop Ibero-americado de Egenharia de

                    Requisitos e Ambientes de Software,  4o. Workshop Ibero-americano de Engenharia de Requisitos e

                    Ambientes de Software -IDEAS´2001,  Santo Domingo,  2001,  1:370-384.

 

          18          Shibuya, R., W. D. Leiva, M. C. F. Oliveira, and P. C. Masiero. 2001. Automatic HTML generation from

                    formal hypermedia specifications.  In  Proceedings Annual Hawaii International conference on Systems

                    Sciences,  Annual Hawaii International conference on Systems Sciences,  Hawaii,  2001,  1:1-10.

 

          19          Cagnin, Maria Istela, Rosângela A D Penteado, José Carlos Maldonado, and P. C. Masiero. 2001.

                    Comparison of Maintainability Improvement by Segmentation and Reengineering: a case study.  In

                    Proceedings of the European Conference on Software Maintenance and Reengineering,  European

                    Conference on Software Maintenance and Reengineering,  Lisboa,  2001,  5:158-167.

 

          20          Braga, Rosana T V, and P. C. Masiero. 2001. Identification of Framework Hot Spots Using Pattern

                    Languages.  In  Anais do 16o. Simpósio Brasileiro de Engenharia de Software (SBES'2001),  16o.

                    Simpósio Brasileiro de Engenharia de Software  (SBES'2001),  Rio de Janeiro,  2001,  16:145-160.

 

          21          Massaropi JÚNIOR, Ernesto, and P. C. Masiero. 2001. Modelagem Geométrica e Funcional de Placas de

                    Torno para Auxiliar a Determinação do Fluxo de Peças em Sistemas Produtivos.  In  Anais do 1o.

                    Congresso Brasileiro de Engenharia de Fabricação,  Congresso Brasileiro de Engenharia de Fabricação,

                    Curitiba,  2001,  1:1-10.

 

          22          Sugeta, T., José Carlos Maldonado, P. C. Masiero, and S. C. P. F. Fabbri. 2001. Proteum/ST: a Tool to

                    Support Statecharts Validation Based on Mutation Testing.  In  Ideas'2001:memorias de Jornadas

                    Iberoamericanas de Ingeniería de Requisitos de Ambientes de Software,  Jornadas Iberoamericanas de

                    Ingeniería de Requisitos de Ambientes de Software,  Santo Domingo,  2001,  1:370-384.


 

          23          Masiero, P. C., T. E. Colanzi, and José Carlos Maldonado. 2001. SDProc/UML: Integrating Testing with

                    Object-oriented Software Development.  In  Anales do I Workshop de Ingeniería de Software,  I

                    Workshop de Ingenieria de Software,  Punta Arenas,  2001,  1:1-15 Punta Arenas: Universidade de

                    Magallanes.

 

          24          Turine, M. A. S., and P. C. Masiero. 2000. Aspectos Jurídicos na Formação do Profissional em

                    Computação e Informática.  In  International Conference on Engineering and Computer Education,

                    International Conference on Engineering and Computer Education,  São Paulo,  2000.

 

          25          Leiva, W. D., A. M.c.m., and P. C. Masiero. 2000. Computer Supported Authoring of questionnaries.  In

                    International Conference on Engineering and Computer Education,  International Conference on

                    Engineering and Computer Education,  São Paulo,  2000.

 

          26          Maldonado, José Carlos, M. E. Delamaro, S. C. P. F. Fabbri, A. S. Simao, A. Vicenzi, and P. C. Masiero.

                    2000. Proteum - a Family of Tools to Support Specification and Program Testing Based on Mutation.  In

                    IEEE Reliability Society,  Mutation 2000 Symposium,  San José,  2000, 146-149.

 

          27          Cagnin, Maria Istela, Rosângela A D Penteado, Rosana T V Braga, and P. C. Masiero. 2000.

                    Reengineering Using Design Patterns.  In  7th Working Conference on Reverse Engineering,  7th

                    Working Conference on Reverse Engineering, IEEE Computer Society,  Brisbane,  2000, 118-127 IEEE

                    Computer Society.

 

          28          Souza, S. R. S., José Carlos Maldonado, S. C. P. F. Fabbri, and P. C. Masiero. 2000. Statecharts

                    Specifications: a Family of Coverage Testing Criteria.  In  Conferênca Latinoamericana de Informática,

                    Conferênca Latinoamericana de Informática,  Monterrey,  2000.

 

          29          Braga, Rosana T V, Fernão S R Germano, and P. C. Masiero. 1999. A Pattern Language For Business

                    Resource Management.  In  Proceedings of the 6th Annual Conference on the Pattern Languages of

                    Programs,  6º Annual Conference on the Pattern Languages of Programs,  Monticello-IL,  1999, 1-34.

 

          30          Penteado, Rosângela A D, P. C. Masiero, and Maria Istela Cagnin. 1999. An Experiment of Legacy Code

                    Segmentation to Improve Maintainability.  In  Proceedings  Los Alamitos: IEEE Computer Society, 

                    European Conference on Software Maintenance and Reengineering,  Amsterdam,  1999, 111-119.

 

          31          Carvalho, M. R., M. C. F. Oliveira, and P. C. Masiero. 1999. An Object Oriented Method For Hypermedia

                    Design.  In  Anais do 5º Simpósio Brasileiro de Sistemas Multimídia e Hipermídia,  5º Simpósio Brasileiro

                   de Sistemas Multimídia e Hipermídia,  Instituto de Informática da UF,  1999, 43-62.

 

          32          Garcia, R. E., and P. C. Masiero. 1999. Dinâmica de Sistemas: Um Apoio ao Gerente de Projetos.  In

                    Anais do CITS,  X Conferência Internacional de Tecnologia de Software,  Curitiba,  1999, 135-147.

 

          33          Masiero, P. C., and Rosana T V Braga. 1999. Legacy Systems  Reengineering Using Software Patterns.

                   In  Proceedings Los Alamitos:  IEEE Computer  Society,  19º International Conference of the Chilean

                    Computer Science Society,  Talca,  1999, 160-169.

 

          34          Fabbri, S. C. P. F., José Carlos Maldonado, T. Sugeta, and P. C. Masiero. 1999. Mutation Testing

                    Applied to Validate Specifications Based on Statecharts.  In  Proceedings Los Alamitos :  IEEE Computer

                    Society,  10º  International Symposium on Software Reliability Engineering,  Boca Raton,  1999, 210-219.

                  

 

          35          Caldas JR, J., and P. C. Masiero. 1999. Obtenção de Modelos de Análise OO a partir de um Modelo de

                    Requisito Baseado em Cenários.  In  Anais do IDEAS'99,  Jornadas Iberoamericanas de Ingeniría de

                    Requisitos y Ambientes de Software - IDEAS'99,  Alajuela,  1999, 24-35.

 

          36          Fabbri, S. C. P. F., M. E. Delamaro, José Carlos Maldonado, and P. C. Masiero. 1999. Proteum /FSM : A

                    Tool to Support Finite State Machine Validation Based on Mutation Testing.  In  Los Alamitos:  IEEE

                    Computer Society,  19º International Conference of the Chilean Computer Science Society,  Talca,  1999,

                   96-104.

          37          Cagnin, Maria Istela, Rosângela A D Penteado, Fernão S R Germano, and P. C. Masiero. 1999.

                    Reengenharia com Uso de Padrões de Projeto.  In  UFRGS/UFSC,  13º Simpósio Brasileiro de

                    Engenharia de Software,  Florianópolis,  1999, 273-288.

 

          38          Colanzi, T. E., José Carlos Maldonado, and P. C. Masiero. 1999. Teste de   Software OO: Uma

                    Abordagem para a Organização e o Planejamento da Atividade   de Teste.  In  SBC/SSQP-SW,  13º

                    Simpósio Brasileiro de Engenharia de Software / Workshop Qualidade de Software,  Florianopolis,  1999,

                   91-108.

 

          39          Braga, Rosana T V, Fernão S R Germano, and P. C. Masiero. 1998. A Confederation Of Patterns For

                    Business Resource Management.  In  Proceedings of the 5th Annual Conference on the Pattern

                    Languages of Programs,  5th Annual Conference on the Pattern Languages of Programs (PLOP 98),

                    Monticello-IL,  1998,  5:1-13.

 

          40          Costa, R. M., G. M. Iavarone, Rosely Sanches, José Carlos Maldonado, and P. C. Masiero. 1998.

                    Engenharia Reversa da Interface: do Software Aos Modelos de Analise do Metodo Fusion.  In  ASOO'98,

                    SIMPOSIO EN ORIENTACION A OBJETOS,  Buenos Aires,  1998, 133-146.

 

          41          Caldas JR, J., and P. C. Masiero. 1998. ERACE - Uma Abordagem Baseada em Cenários para

                    aEngenharia de Requisitos.  In  ASOO'98,  SIMPOSIO EN ORIENTACION EN OBJETOS (SOO),

                    Buenos Aires,  1998, 109-118 Buenos Aires, Argentina.

 

          42          Caldas JR, J., and P. C. Masiero. 1998. ERACE-Tool: Uma Ferramenta Baseada Em Cenários Para

                    Apoio À Engenharia de Requisitos.  In  Anais do Workshop de Engenharia de Requisitos,  Workshop de

                    Engenharia de Requisitos,  Maringá,  1998, 70-88 Maringá - PR.

 

          43          Paulo, F. B., and P. C. Masiero. 1998. Especificação Formal de Hiperdocumentos Baseada Em

                    Statecharts.  In  Anais do XVIII Congresso da SBC,  XVIII Congresso da Sociedade Brasileira de

                    Computação,  Belo Horizonte-MG,  1998, 364-378.

 

          44          Noronha, M., P. C. Masiero, and t. al.. 1998. GDOC - Um Sistema para Gerenciamento de Documentos

                    Estruturados na Web.  In  Proceedings do ISDM,  INTERNATIONAL SEMINAR ON DOCUMENT

                    MANAGEMENT,  CURITIBA, PR,  1998, 43-68.

 

          45          Turine, M. A. S., M. C. F. Oliveira, and P. C. Masiero. 1998. Hyschart: Um Ambiente de Autoria e

                    Navegação Baseado No Modelo Hmbs.  In  Anais do IV SBSMH,  IV Simpósio Brasileiro de Sistemas

                    Multimídia e Hipermídia,  Rio de Janeiro-RJ, 27-38.

 

          46          Penteado, Rosângela A D, Rosana T V Braga, and P. C. Masiero. 1998. Improving The Quality Of

                    Legacy Code By Reverse Engineering.  In  Proceedings do ISAS'98,  4th International Conference on

                    Information Systems, Analysis and Synthesis,  Orlando, 364-370.

 

          47          Masiero, P. C., Fernão S R Germano, and José Carlos Maldonado. 1998. Object And Systems Life Cycle

                    Revisited: Their Use In Object-Oriented Analysis And Design Methods.  In  Proceedings of the Third

                    CAiSE/IFIP8.1,  Third CAiSE/IFIP8.1 - International Workshop on Modeling Methods in Systems Analysis

                   and Design,  Pisa,  1998, 1-12.

 

          48          Misaka, A. P. S., and P. C. Masiero. 1998. Proposta de Um Modelo de Requisitos para o Método Fusion.

                   In  Anais do Workshop Iberoamericano de Engenharia de Requisitos e Ambientes de Software,

                    Workshop Iberoamericano de Engenharia de Requisitos e Ambientes de Software,  Torres-RS,  1998,

                   1-13.

 

          49          Penteado, Rosângela A D, P. C. Masiero, A. F. Prado, and Rosana T V Braga. 1998. Reengineering of

                    Legacy Systems Based on Transformation Using the Object-Oriented Paradigm.  In  Proceedings of the

                   5th WCRE - IEEE,  5th WORKING CONFERENCE ON REVERSE ENGINEERING (WCRE 98),  Hawai,

                    144-153.


 

          50          Bruzarosco, D. C., and P. C. Masiero. 1998. Um Sistema Para Workflow de Documentos Para Apoio Às

                    Normas da Série Iso-9000.  In  Anais da IX CITS,  IX Conferência Internacional de Tecnologia de

                    Software,  Curitiba-PR,  1998, 169-180.

 

          51          Silva, D. D., and P. C. Masiero. 1998. Uma Proposta de Versão e Ferramenta do PSP para o Domínio de

                    Aplicações Comerciais.  In  Anais do IX CITS,  IX Congresso Internacional de Tecnologia de Software,

                    Curitiba-PR,  1998, 157-168.

 

          52          Paulo, F. B., M. A. S. Turine, M. C. F. Oliveira, and P. C. Masiero. 1998. XHMBS: A Formal Model to

                    Support Hypermedia Specification.  In  Proceedings of the 9th ACM/CHH,  The Ninth ACM Conference o

                    Hypertext and Hypermedia,  PITTSBURG - PA,  1998, 161-170.

 

          53          Fabbri, S. C. P. F., José Carlos Maldonado, and P. C. Masiero. 1997. Aplicação do Critério Análise de

                    Mutantes Na Validação de Especificações Baseadas Em Statecharts.  In  Anais do XI SBES,  XI

                    Simpósio Brasileiro de Engenharia de Software,  Fortaleza-CE, 429-444.

 

          54          Santander, V. F. A., I. M. S. Gimenes, and P. C. Masiero. 1997. Assistência Inteligente Ao  Processo de

                    Engenharia de Software.  In  Anais do XI SBES,  XI Simpósio Brasileiro de Engenharia de Software,

                    Fortaleza-CE, 147-161.

 

          55          Paulo, F. B., P. C. Masiero, and M. C. F. Oliveira. 1997. Hypercharts: An Extension Of Statecharts To

                    Support Hypermedia Specifications.  In  Proceedings of the 3rd IEEE ICECCS,  Third  IEEE International

                    Conference on the Engineering of Complex Computer Systems (ICECCS'97),  Como, 152-161.

 

          56          Turine, M. A. S., M. C. F. Oliveira, and P. C. Masiero. 1997. Hypertext Model Based On Statecharts.  In

                    Proceedings of the 8th Hypertext,  8th ACM Conference on Hypertext (Hypertext'97),  Southampton,

                    1997, 102-111 Southampton, UK.

 

          57          Gimenes, I. M. S., V. F. A. Santander, and P. C. Masiero. 1997. Improving Software Development

                    Through An Intelligent Assistant To The Software Process.  In  Proceedings of the 2nd ACSPI,  2nd

                    Annual Conference ou Software Process Improvement,  Gothemburg, 157-167.

 

          58          Fabbri, S. C. P. F., José Carlos Maldonado, and P. C. Masiero. 1997. Mutation Analysis In The Context

                   Of Reative System Specification And Validation.  In  Proceedings of the 5th AICSQM,  5th Annual

                    International Conference on Software Quality Management,  Bath, 247-258.

 

          59          Penteado, Rosângela A D, Fernão S R Germano, and P. C. Masiero. 1996. An Overall Approach To

                    Reverse  Engineering Based On Fusion.  In  Proceedings of the 3rd WCRE,  3rd Working Conference on

                    Reverse Engineering,  Monterey - CA, 179-188.

 

          60          Oliveira, M. C. F., M. A. S. Turine, and P. C. Masiero. 1996. An Overview of HMBS: a Statechart Based

                    Model for Hypertext.  In  Anais do II WOSH,  II WOSH - Workshop em Sistemas Hipermídia,

                    Fortaleza-CE, 11-20.

 

          61          Paulo, F. B., P. C. Masiero, and M. C. F. Oliveira. 1996. Extensões ao HMBS Para Especificação de

                    Apresentações Hipermídia.  In  Anais do X SBES,  X Simpósio Brasileiro de Engenharia de Software,

                    São Carlos-SP, 241-258.

 

          62          Penteado, Rosângela A D, Fernão S R Germano, and P. C. Masiero. 1996. Melhoria da Manutenibilidade

                   de Software Legado Com Base Em Engenharia Reversa.  In  Anais do VII CITS,  VII Conferência

                    Internacional de Tecnologia de Software: Qualidade de Software,  Curitiba-PR, 155-170.

 

          63          Yonezawa, W., P. C. Masiero, and J. C. P. Leite. 1996. O Processo de Construção de Um Domínio de

                    Visualização de Imagens Meteorológicas.  In  Anais do XIII SEMISH,  XIII Seminário Integrado de

                    Software e Hardware,  Recife-PE, 433-444.


 

          64          Penteado, Rosângela A D, Fernão S R Germano, and P. C. Masiero. 1995. Engenharia Reversa

                    Orientada A Objetos do Ambiente Statsim: Método Utilizado e Resultados Obtidos.  In  Anais do IX

                    SBES,  IX Simpósio Brasileiro de Engenharia de Software,  Recife-PE, 345-362.

 

          65          Masiero, P. C. 1995. Ética Profissional Na Área de Computação.  In  Anais do XV Congresso da SBC,  III

                    Workshop sobre Educação em Informática, XV Congresso da Sociedade Brasileira de Computação,

                    Canela-RS, 11-20.

 

          66          Fabbri, S. C. P. F., José Carlos Maldonado, P. C. Masiero, M. E. Delamaro, and E. Wong. 1995. Mutation

                    Analysis Applied to Validate Specifications Based on Petri Nets.  In  Proceedings of the 8th FORTE,

                    International IFIP Conference On Formal Description Techniques For Distributed Systems And

                    Communications Protocols,  Montreal, 329-337.

 

          67          Fabbri, S. C. P. F., José Carlos Maldonado, P. C. Masiero, and M. E. Delamaro. 1994. Aplicação da

                    Análise de Mutantes na Validação de Especificações Baseadas em Redes de Petri.  In  Anais do VIII

                    SBES,  VIII Simpósio Brasileiro de Engenharia de Software,  Curitiba,  1994, 423-438.

 

          68          Shibuya, R., Rosângela A D Penteado, and P. C. Masiero. 1994. Geração de Código a partir de Modelos

                    Comportamentais Especificados por Statecharts.  In  Anais do VIII SBES,  VIII Simpósio Brasileiro de

                    Engenharia de Software,  Curitiba,  1994, 253-267.

 

          69          Fabbri, S. C. P. F., José Carlos Maldonado, P. C. Masiero, and M. E. Delamaro. 1994. Mutation Analysis

                   for Finite State Machines.  In  Proceedings of the 5th ISSRE,  Fifth International Symposium On Software

                    Reliability Engineering,  Monterey, CA, 220-229.

 

          70          Fabbri, S. C. P. F., M. E. Delamaro, José Carlos Maldonado, and P. C. Masiero. 1994. PROTEUM/FSM:

                    Especificação de uma Ferramenta para Apoiar a Validação de Máquinas de Estado Finito pelo Critério

                    Análise de Mutantes.  In  Anais do XII SBRC,  XII Simpósio Brasileiro de Redes de Computadores,

                    Curitiba,  1994, 284-302.

 

          71          Fabbri, S. C. P. F., José Carlos Maldonado, P. C. Masiero, M. E. Delamaro, and K. Nakazato. 1993.

                    Análise de Mutantes Baseada em Máquinas de Estado Finito.  In  Anais do 11o. Simpósio Brasileiro de

                    Redes de Computadores,  11o. Simpósio Brasileiro de Redes de Computadores,  Campinas,  1993,

                    407-425.

 

          72          Cangussu, J. W. L., P. C. Masiero, and José Carlos Maldonado. 1993. Execução Programada de

                    Statecharts.  In  Anais do VII SBES,  VII Simpósio Brasileiro de Engenharia de Software,  Rio de Janeiro,

                    1993, 151-155.

 

          73          Oliveira, M. C. F., S. M. A. Caldeira, P. C. Masiero, and O. N. Oliveira Jr. 1992. A Discussion On Human

                    Computer Interfaces For Writting Support Tools.  In  Proceedings of the XII ICCCS,  XII International

                    Conference of the Chilean Computer Society,  Santiago,  1992, 223-233 SANTIAGO,CHILE.

 

          74          Masiero, P. C., I. A. G. Boaventura, and José Carlos Maldonado. 1992. Dynamic Properties of

                    Statecharts a Reachability Tree and Analysis of Some Properties.  In  Anais da XVIII Conferencia

                    Latino-Americana de Informatica,  XVIII Conferencia Latino-Americana de Informatica,  LAS PALMAS DE

                    GRAN CANARIA,  1992, 728-735.

 

          75          Boaventura, I. A. G., and P. C. Masiero. 1992. Simulação Exaustiva de Statecharts.  In  Anais do VI

                    SBES,  VI Simpósio Brasileiro de Engenharia de Software,  Gramado,  1992, 143-156.

 

          76          Cangussu, J. W. L., and P. C. Masiero. 1992. Uma Linguagem para Execução Programada de

                    Statechart.  In  Anais do XIX SEMISH,  XII Congresso Nacional da SBC, XIX Seminário Integrado de

                    Software e Hardware,  Rio de Janeiro,  1992, 229-242.

 

          77          Masiero, P. C., R. P. M. Fortes, and J. E. S. Batista Neto. 1991. Edição e Simulação do Aspecto

                    Comportamental de Sistema de Tempo Real.  In  Anais do XI SEMISH,  XI Congresso Nacional da SBC,

                    XVIII Seminário Integrado de Software e Hardware,  Curitiba,  1991, 45-61 SANTOS, SP.

          78          Meira, C. A. A., and P. C. Masiero. 1991. Um Gerador de Aplicações Para Sistemas Reativos.  In  ANAIS

                   DO V SBES,  V Simpósio Brasileiro de Engenharia de Software,  Ouro Preto,  1991, 45-60 OURO

                    PRETO, MG.

 

          79          Santos, P. A., and P. C. Masiero. 1991. Um Sistema Para Navegação (Browser) para o SGBD Damokles.

                   In  Anais do VI SBBD,  VI Simpósio Brasileiro de Banco de Dados,  Manaus,  1991, 253-268.

 

          80          Fortes, R. P. M., and P. C. Masiero. 1991. Um Sistema Para Simulação de Estadogramas (Statecharts).

                   In  Anais do XXIV CNI,  XXIV Congresso Nacional de Informática,  São Paulo,  1991, 153-161.

 

          81          Rodrigues, M., and P. C. Masiero. 1990. Apoio Por Computador à Criação de Especificações

                    Operacionais.  In  Anais do IV SBES,  IV Simpósio Brasileiro de Engenharia de Software,  Águas de São

                    Pedro,  1990, 203-217.

 

          82          Rodrigues, M., and P. C. Masiero. 1990. Proyeto de Un Ambiente Automatizado Para El Desarollo de

                    Sistemas de Information.  In  Anais do I Congresso Nacional de Informática,  I Congresso Nacional de

                    Informática,  Quito, 0-0.

 

          83          Rodrigues, M., and P. C. Masiero. 1990. Um Analisador de Especificações Operacionais.  In  Anais do

                    XXIII CNI,  XXIII Congresso Nacional de Informática,  Rio de Janeiro,  1990,  RIO DE JANEIRO.

 

          84          Rodrigues, M., and P. C. Masiero. 1990. Una Herramienta Automatizada Para Apoio A Las Fases de

                    Analises Y Deseno Del Desarolo de Sistemas de Information.  In  Anais das Primeiras Jornadas de

                    Ingenieria de Sistemas Informáticos y de Computacion,  Primeiras Jornadas de Ingenieria de Sistemas

                    Informáticos y de Computacion,  QUITO, 228-235.

 

          85          Masiero, P. C. 1988. O processo de Instanciação do Sistema SEM para criação de um Ambiente de

                    Apoio a um Método de Desenvolvimento de Sistemas.  In  Anais do II SBES,  II Simpósio Brasileiro de

                    Engenharia de Software,  Canela,  1988, 135-149.

 

          86          Masiero, P. C., Fernão S R Germano, and D. Teichroew. 1987. Computer Aided Transition From Analysis

                   To Design.  In  Proceedings of the 8th Annual Conference on Applications of Computer-aided Systems

                    Engineering Tools,  Eighth Annual Conference on Applications of Computer-aided Systems Engineering

                    Tools,  Ann Arbor.

 

          87          Masiero, P. C., and Fernão S R Germano. 1987. Ferramentas Automatizadas para Apoio a Metodologias

                   de Desenvolvimento de Sistemas de Informação.  In  Anais do Simpósio sobre Produtividade no

                    Desenvolvimento de Sistemas,  Simpósio sobre Produtividade no Desenvolvimento de Sistemas,

                    Brasília,  1987, 26-37.

 

          88          Masiero, P. C., T. Chase, S. Padmanabhan, and D. Teichroew. 1986. An Implementation Of A Structured

                    Methodology For Real Time Systems Using The System Encyclopedia Manager System.  In  Proceedings

                   of the National Conference and Workshop on Methodologies and Tools,  National Conference and

                    Workshop on Methodologies and Tools,  Washington, D.C..

 

          89          Masiero, P. C., and D. Teichroew. 1985. A Graphic Tool For Defining ERA Models.  In  Prise Project.

                    University Of Michigan, Tr-22.,  Information Systems Engineering Tools & Technology Conference,  ANN

                    ARBOR.

 

          90          Masiero, P. C., and D. Teichroew. 1985. Usage Of The System Encyclopedia Manager System As A Tool

                   For Prototyping.  In  Prise Project, University Of Michigan, Tr-23,  Information Systems Engineering Tools

                   & Technology Conference,  ANN ARBOR,  1985.

 

          91          Masiero, P. C., and N. Reinhard. 1984. Métodos para Análise de Escritório: uma Avaliação.  In  Anais do

                   XVII Congresso Nacional de Informática,  XVII Congresso Nacional de Informática,  Rio de Janeiro.


 

          92          Masiero, P. C., Rosângela A D Penteado, and E. H. Moriya. 1983. Alguns Métodos para Análise e Projeto

                   de Sistemas de Informação Vistos sob o Ângulo da Análise Estruturada.  In  Anais do SUCESU-MG,

                    Encontro para troca de experiência em Metodologia de Desenvolvimento de Sistemas,  Belo Horizonte,

                    1983.

 

          93          Penteado, Rosângela A D, E. H. Moriya, and P. C. Masiero. 1983. Alguns Métodos para Análise e Projeto

                   de Sistemas de Informação Vistos sob o Ângulo do Método HIPO.  In  Anais do SUCESU-MG,  Encontro

                    para troca de experiência em Metodologia de Desenvolvimento de Sistemas,  Belo Horizonte.

 

          94          Germano, Fernão S R, P. C. Masiero, and Rosângela A D Penteado. 1983. Análise Comparativa dos

                    Métodos SA/SD, HIPO, PSL/PSA, SOP, SYSTEMATICS e PDL.  In  Anais do SUCESU-MG,  Encontro

                    para troca de experiência em Metodologia para Desenvolvimento de Sistemas,  Belo Horizonte,  1983.

 

          95          Masiero, P. C. 1983. Uma Proposta para a Estação de Trabalho do Executivo.  In  Anais do XVI

                    Congresso Nacional de Informática,  XVI Congresso Nacional de Informática,  São Paulo,  1983,

                    297-299.

 

          96          Germano, Fernão S R, P. C. Masiero, and J. Sahão Jr. 1982. Análise Comparativa de Métodos para

                    Análise e Projeto de Sistemas de Informação.  In  Anais da IX Conferência Latino-Americana de

                    Informática,  IX Conferência Latino-Americana de Informática,  Lima, 0-0.

 

          97          Penteado, Rosângela A D, and P. C. Masiero. 1982. Formulação de um Problema de Processamento da

                    Informação em HIPO.  In  Anais do IV CRC,  IV Congresso Regional de Computação,  Curitiba,  1982,

                    414-430.

 

          98          Masiero, P. C., and G. S. Olivetti. 1980. Avaliação de um Projeto Estruturado.  In  Anais do XIII

                    Congresso Nacional de Processamento de Dados,  XIII Congresso Nacional de Processamento de

                    Dados,  Rio de Janeiro,  1980, 187-193.

 

          99          Masiero, P. C., and Fernão S R Germano. 1980. Solução de um Problema de Processamento da

                    Informação pela Análise Estruturada.  In  Anais do II CRC,  II Congresso Regional de Computação,  Belo

                    Horizonte,  1980, 83-97.

 

          100          Masiero, P. C., and J. B. Favaro. 1979. Uma Experiência de Aperfeiçoamento nos Métodos de

                    Desenvolvimento de Sistemas de Informação.  In  Anais do XII Congresso Nacional de Processamento

                   de Dados,  XII Congresso Nacional de Processamento de Dados,  São Paulo,  1979, 185-195.

 

                     2.1.2 Resumos simples em anais de eventos

 

          1          Braga, Rosana T V, and P. C. Masiero. 2002. GREN-Wizard: a Tool to Instantiate the GREN Framework.

                   In  Caderno de Ferramentas do Simpósio Brasileiro de Engenharia de Software,  Simpósio Brasileiro de

                    Engenharia de Software,  Gramado,  2002,  1:408-413 Porto Alegre: Sociedade Brasileira de

                    Computação.

 

          2          Braga, Rosana T V, and P. C. Masiero. 2001. A Pattern Language-based Approach for Framework

                    Construction and Instantiation.  In  Workshop on Software Architecture,  Workshop on Software

                    Architecture,  Edmonton,  2001,  1:1-2.

 

          3          Masiero, P. C., and Fernão S R Germano. 1999. On the Problem of Dealing with Existing System when

                    Adopting a New Method for System Development.  In  Proceedings of the 9h IFIP WG8.1 Meeting,  9th

                    IFIP WG8.1 Meeting,  Linz,  1984.

 

          4          Masiero, P. C., José Carlos Maldonado, S. C. P. F. Fabbri, and R. P. M. Fortes. 1998. Pesquisas em

                    Métodos e Ferramentas de Engenharia de Software com Ênfase em Sistemas Reativos.  In  Anais do I

                    Workshop Brasileiro de Métodos Formais,  I Workshop Brasileiro de Métodos Formais,  Porto Alegre,

                    1994, 45-50.


 

          5          Masiero, P. C., José Carlos Maldonado, S. C. P. F. Fabbri, and M. E. Delamaro. 1994. Análise de

                    Mutantes no Teste de Software e na Validação de Sistemas Reativos.  In  Anais da Academia Brasileira

                   de Ciências,  Jornada de Computação, Sessão Regular da Academia Brasileira de Ciências,  São Paulo,

                    1994,  66:506-506.

 

          6          Masiero, P. C., José Carlos Maldonado, and S. C. P. F. Fabbri. 1994. Validação de Especificações

                    Formais com Aplicação do Critério Análise de Mutantes.  In  Anais do I Workshop Brasileiro de Métodos

                    Formais,  I Workshop Brasileiro de Métodos Formais,  Porto Alegre,  1994, 129-134.

 

          7          Masiero, P. C., J. C. C. Abreu, R. A. Zucchi, and S. Silveira Neto. 1993. Sistema Computadorizado para

                    Identificação de Pragas Agrícolas.  In  Anais do 14o. Congresso Brasileiro de Entomologia,  14o.

                    Congresso Brasileiro de Entomologia,  Piracicaba,  1993.

 

                     2.1.3 Artigos completos publicados em periódicos

 

          1          Braga, Rosana T V, and P. C. Masiero. 2004. Finding Frameworks Hot Spots in Pattern Languages.  In

                    Journal Of Object Technology,  no. 1,  3:123-142. ETH - Switzerland.

 

          2          Masiero, P. C., and Ernesto Massaropi Júnior. 2003. Garras de robô ajudam a determinar o fluxo de

                    peças em sistemas flexíveis.  In  Revista Máquinas e Metais,  no. 447,  39:214-231. São Paulo.

 

          3          Masiero, P. C., and t. al.. 2001. A Biblioteca Digital de Teses e Dissertações da Universidade de São

                    Paulo.  In  Ciência da Informação,  no. 3,  30:34-41. Brasília, DF.

 

          4          Turine, M. A. S., M. C. F. Oliveira, and P. C. Masiero. 2001. A Statechart-Based Model for Hipermidia

                    Applications.  In  ACM Transactions on Information Systems,  no. 1,  19:28-52.

 

          5          Masiero, P. C., and Ernesto Massaropi Júnior. 2001. Fluxo de peças determinado pela modelagem de

                    placas de tornos.  In  Máquinas e Metais,  no. 429,  38:100-111. São Paulo.

 

          6          Paulo, F. B., P. C. Masiero, and M. C. F. Oliveira. 1999. Hypercharts: Extended Statecharts To Support

                    Hypermedia Specifications.  In  IEEE TRANSACTIONS ON SOFTWARE ENGINEERING,  no. 1,

                    25:33-49. USA.

 

          7          Turine, M. A. S., M. C. F. Oliveira, and P. C. Masiero. 1999. HySChart: A Hyperdocument Authoring And

                    Browsing Environment Based On Statecharts.  In  Multimedia Tools and Applications,  8:309-324.

                    Netherlands.

 

          8          Santander, V. F. A., I. M. S. Gimenes, and P. C. Masiero. 1998. Assistência Inteligente Ao Processo de

                    Desenvolvimento de Software No Método Fusion.  In  Acta Scientiarum Mathematicarum  (Szeged),  no.

                   4,  20:483-493.

 

          9          Cangussu, J. W. L., Rosângela A D Penteado, P. C. Masiero, and José Carlos Maldonado. 1995.

                    Validation Of Statecharts Based On Programmed Execution.  In  Journal Of Computing And Information,

                   no. 2,  vol. I,. ONTARIO-CANADA.

 

          10          Masiero, P. C., José Carlos Maldonado, and I. A. G. Boaventura. 1994. A Reachability Tree For

                    Statecharts And Analysis Of Some Properties.  In  Information and Software Technology,  no. 10,

                    36:615-624.

 

          11          Masiero, P. C., Fernão S R Germano, M. C. F. Oliveira, and G. Pierri. 1994. Authoring And Searching In

                    Dinamically Growing Hypertext Databases.  In  Hypermedia,  no. 2,  6:124-148. United Kingdom.

 

          12          Cangussu, J. W. L., P. C. Masiero, and José Carlos Maldonado. 1994. Execução Programada de

                    Statecharts.  In  Revista Brasileira de Computação,  no. 2,  7:3-14. Rio de Janeiro.

 

          13          Masiero, P. C., and C. A. A. Meira. 1993. Development And Instantiation Of A Generic Application

                    Generator.  In  The Journal Of System And Software,  no. 1,  23:27-38. Estados Unidos.

          14          Masiero, P. C. 1992. Algorithm Development Through Correct Transformations.  In  Revista Brasileira de

                    Computação,  no. 2,  6:29-39.

 

          15          Carneiro, Maria C. V. S., and P. C. Masiero. 1989. Avaliação do Método ISAC Baseada No

                    Desenvolvimento de Um Protótipo.  In  Revista de Matemática e Estatística,  7:31-45.

 

          16          Masiero, P. C., and Fernão S R Germano. 1988. JSD as an Object-Oriented Design Method.  In  Software

                    Engineering Notes,  no. 3,  13:22-23.

 

          17          Penteado, Rosângela A D, P. C. Masiero, and Fernão S R Germano. 1985. Structure Charts For Jackson

                    System Development.  In  ACM - Software Engineering Notes,  no. 3,  10:40-46.

 

          18          Masiero, P. C. 1984. Os Instrumentos do Escritório do Futuro.  In  Informática e Administração,  no. 8,

                    1:16-22.

 

                     2.1.4 Livros publicados

 

          1          Masiero, P. C. 2000. Ética em Computação. . 1 vols, p. 213. São Paulo: Editora da Universidade de São

                    Paulo (EDUSP).

 

          2          Masiero, P. C. 1992. Análise Estruturada de Sistemas Pelo Método de Jackson. . 1 vols, p. 230. São

                    Paulo: EDGARD BLUCHER.

 

                     2.1.5 Capítulos de livros publicados

 

          1          Masiero, P. C. 2001. A Universidade e a Tecnologia da Informação.  In A USP E Seus Desafios, edited

                   by Caldas, Marília Junqueir. Vol. III, 281-287. São Paulo: Editora da USP (EDUSP).

 

          2          Maldonado, J. C., M. Delamaro, S. Fabbi, A. Simão, T. Sugeta, A. V. Rizzo, and P. C. Masiero. 2001.

                    Proteum: a Family of Tools to Support Specification and Program Testing Based on Mutation

                    mutation.  In Mutation testing for the new century, edited by Wong, W E. Vol. 1, 113-117. Massachussets:

                    Kluwer.

 

                     2.1.6 Organização de obra publicada

 

          1          Masiero, P. C., and José Carlos Maldonado. 1998. Journal of the Brazilian Computer Society.  5d ed. 1

                    vols, p. 62. Porto Alegre: Sociedade Brasileira de Computação.

 

          2          Masiero, P. C., and Rosângela A D Penteado. 1997. XXII Seminário Integrado de Hardware e Software.

                   27d ed. 1 vols, p. 556. Porto Alegre: Sociedade Brasileira de Computação.

 

          3          Masiero, P. C., and José Carlos Maldonado. 1996. X Simpósio Brasileiro de Engenharia de Software.

                   10d ed. 1 vols, p. 382. Porto Alegre: Sociedade Brasileira de Computação.

 

          4          Masiero, P. C. 1991. Anais do Workshop Em Programação Concorrente, Sistemas Distribuídos e

                    Engenharia de Software. . São Carlos/SP: ICMSC-USP.

 

          5          Masiero, P. C. 1990. IV Simpósio Brasileiro de Engenharia de Software.  4d ed. 1 vols, p. 280. Porto

                    Alegre: Sociedade Brasileira de Computação.

 

                     2.1.7 Textos em jornais de notícias

 

          1          Masiero, P. C. 01 jun. 2001. A Ética em Computação e o Caso do Senado.  In  Computação Brasil, 6-6.

                    Porto Alegre.

 

          2          Masiero, P. C., O. Trindade Jr., and Fernão S R Germano. 02 ago. 1999. A USP e o erro do milênio.  In

                    Jornal da USP, 3,. São Paulo.

          3          Masiero, P. C., Fernão S R Germano, and O. Trindade Jr.. 17 jan. 1996. Análise do Computador

                    Think-Pad.  In  Folha de São Paulo/Folha Informática, . São Paulo.

 

          4          Masiero, P. C. Data de publicação indefinida. Análise do Microcomputador Aptiva Multimídia.  In  Folha

                   de São Paulo/Folha Informática.

 

          5          Masiero, P. C., Fernão S R Germano, and O. Trindade Jr.. 08 jan. 1995. Análise do Microcomputador

                    IBM Aptiva.  In  Folha de São Paulo/Folha Informática, . São Paulo.

 

          6          Masiero, P. C. Data de publicação indefinida. Análise do Software Antivírus "InoculAN".  In  Folha de São

                    Paulo/Folha Informática.

 

          7          Masiero, P. C., and Fernão S R Germano. 23 fev. 1994. Análise do Software "Key File".  In  Folha de São

                    Paulo/Folha Informática, . São Paulo.

 

          8          Masiero, P. C., and M. C. F. Oliveira. 02 set. 1992. Análise Comparativa da Planilha Eletrônica Excel.  In

                    Folha de São Paulo/Folha Informática, . São Paulo.

 

          9          Masiero, P. C., R. P. M. Fortes, and E. Cazarini. 20 maio 1992. Análise Comparativa das Planilhas

                    Eletrônicas "Quattro Pro", "Lotus 1-2-3" V.3.1 e V.2.3".  In  Folha de São Paulo/Folha de Informática, .

                    São Paulo.

 

          10          Masiero, P. C. 06 maio 1992. Análise do Software "Antivirus Plus".  In  Folha de São Paulo/Folha

                    Informática, . São Paulo.

 

          11          Masiero, P. C. Data de publicação indefinida. Análise do Software "Central Point Anti-Virus".  In  Folha de

                    São Paulo/Folha Informática.

 

          12          Masiero, P. C., and L. Cesario. 01 dez. 1992. Análise do Software "Frame Maker".  In  Folha de São

                    Paulo/Folha Informática, . São Paulo.

 

          13          Masiero, P. C. 11 nov. 1992. Análise do Software "ViruSafe".  In  Folha de São Paulo/Folha Informática, .

                    São Paulo.

 

          14          Masiero, P. C. 18 out. 1983. Processadores de Texto: o que são e como avaliá-los.  In  Data News.

 

                     2.1.8 Demais tipos de produção bibliográfica

 

          1          Masiero, P. C., Rosana T V Braga, and Fernão Stella R Germano. 2003. Utilizando UML e Padrões: Uma

                    Introdução à Análise e ao Projeto Orientados a Objetos - Craig Larman. Porto Alegre: Bookman. (Revisã

                    Técnica da Tradução).

 

          2          Masiero, P. C., José Carlos Maldonado, and Fernão Stella R Germano. 2002. Engenharia de Software -

                    Roger S. Pressman. Rio de Janeiro: Mc Graw-Hill. (Revisão Técnica da Tradução).

 

          3          Masiero, P. C. 1998. Projetos Virtualmente Impossíveis - Edward Yourdon. São Paulo: Makron Books.

                    (Revisão da Tradução).

 

          4          Masiero, P. C., José Carlos Maldonado, and Rosely Sanches. 1997. Engenharia de Software - Roger

                    Pressman. São Paulo: Makron Books. (Revisão da Tradução).

 

          5          Masiero, P. C. 1996. Ascenção e Renascimento do Programador Americano - Edward Yourdon. São

                    Paulo: Makron Books. (Revisão da Tradução).

 

          6          Masiero, P. C., and Fernão Stella R Germano. 1995. Software com Qualidade - Gerald Weinberg. São

                    Paulo: Makron Books. (Revisão da Tradução).


              2.2 PRODUÇÃO TÉCNICA

 

                     2.2.1 Softwares sem registro ou patente

 

          1          Masiero, P. C. 2002. Framework GREN.

 

          2          Masiero, P. C. 2000. Cycles.

 

          3          Masiero, P. C. 1995. StatSim (Statechart Simulator).

 

                     2.2.2 Trabalhos técnicos

 

          1          Masiero, P. C. 2004. Parecer sobre a publicação do livro - Software Engineering: An Object-oriented

                    Approach, Eric J. Braude, para a Editora Bookman.

 

          2          Masiero, P. C. 2004. Revisão de um Artigo para a Revista de Informática Teórica e Aplicada - RITA.

 

          3          Masiero, P. C. 2004. Revisão de um artigo para o Journal of the Brazilian Computer Society, Edição

                    Especial sobre Adpative Software Systems, Eds. Fabio Kon e Dilma Menezes.

 

          4          Masiero, P. C. 2004. Revisão de um artigo para o Journal of the Brazilian Computer Society, Edição

                    Especial sobre Agile Development, Eds. Julio Leite e Shari Pfleeger.

 

                     2.2.3 Demais tipos de produção técnica

 

          1          Masiero, P. C. 2004. Linguagens de Padrões de Análise e Linhas de Produtos de Software

                    (SugarloafPLoP). (Palestra).

 

          2          Masiero, P. C. 2003. Ética em Computação. (Palestra).

 

              2.3 ORIENTAÇÕES CONCLUÍDAS

 

                     2.3.1 Mestrado

 

          1          Silva, Maria Tânia F d. 2004. 120 f. Uso de aspectos para apoiar a evolução não funcional de

                    frameworks: aplicação ao framework GREN. Dissertação (Mestrado em Ciências da Computação e

                    Matemática Computacional), Instituto de Ciências Matemáticas e de Computação, Fundação de Amparo

                   à Pesquisa do Estado de São Paulo. Orientador: Paulo Cesar Masiero.

 

          2       Ré, Reginald. 2002. 130 f. Uma linguagem de padrões e framework OO para sistemas de leilões virtuais.

                    Dissertação (Mestrado em Ciências da Computação e Matemática Computacional), Instituto de Ciências

                    Matemáticas e de Computação, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador:

                    Paulo Cesar Masiero.

 

          3          Casagrande, Ludimila Monjardi. 2001. Um método para análise e projetos de sistemas de workflow

                    administrativo com interface para a Web. Dissertação, Instituto de Ciências Matemáticas e de

                    Computação, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Paulo Cesar

                    Masiero.

 

          4          Cóffani, Janaín. 2000. Jogos de empresa em gestão de projetos de software: desenvolvimento de uma

                    ferramenta baseada na dinâmica de sistemas. Dissertação, Instituto de Ciências Matemáticas e de

                    Computação, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Paulo Cesar

                    Masiero.

 

          5          Colanzi, Thelma Elit. 1999. Uma abordagem Integrada de Desenvolvimento e Teste de Software

                    Baseada na UML. Dissertação, Instituto de Ciências Matemáticas e de Computação. Orientador: Paulo

                    Cesar Masiero.


 

          6          Shibuya, Rosemeir. 1998. Geração de Código A Partir de Statecharts. Dissertação, Instituto de Ciências

                    Matemáticas e de Computação. Orientador: Paulo Cesar Masiero.

 

          7          Carvalho, Márica Regina d. 1998. HMBS/M - Um Método Orientado A Objetos Para O Projeto e O

                    Desenvolvimento de Aplicações Hipermídia. Dissertação, Instituto de Ciências Matemáticas e de

                    Computação. Orientador: Paulo Cesar Masiero.

 

          8          Braga, Rosana T. 1998. Padrões de Software A Partir da Engenharia Reversa de Sistemas Legados.

                    Dissertação, Instituto de Ciências Matemáticas e de Computação. Orientador: Paulo Cesar Masiero.

 

          9          Silva, Djalma D d. 1998. PSP Builder: Uma Ferramenta de Apoio Ao Processo de Software Pessoal.

                    Dissertação, Instituto de Ciências Matemáticas e de Computação. Orientador: Paulo Cesar Masiero.

 

          10          Bruzarosco, Donizete. 1998. Um Sistema de Gerenciamento de Workflow Para Gestão de Documentos.

                    Dissertação, Instituto de Ciências Matemáticas e de Computação. Orientador: Paulo Cesar Masiero.

 

          11          Caldas JÚNIOR, Joã. 1998. Uma Ferramenta Baseada Em Cenários Para Elicitação e Modelagem de

                    Requisitos. Dissertação, Instituto de Ciências Matemáticas e de Computação, Coordenação de

                    Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Paulo Cesar Masiero.

 

          12          Garcia, Rogério. 1998. Uma Ferramenta de Apoio À Modelagem Baseada Na Dinâmica de Sistemas.

                    Dissertação, Instituto de Ciências Matemáticas e de Computação. Orientador: Paulo Cesar Masiero.

 

          13          Paulo, Fabiano. 1997. Especificação de Aplicações Hipermídia Baseada Em Statecharts. Dissertação,

                    Instituto de Ciências Matemáticas e de Computação. Orientador: Paulo Cesar Masiero.

 

          14          Misaka, Antonio. 1996. Um Modelo de Requisitos Para O Método Fusion. Dissertação, Instituto de

                    Ciências Matemáticas e de Computação. Orientador: Paulo Cesar Masiero.

 

          15          Yonezawa, Wilson Massashir. 1994. Uma Aplicação Prática de Análise de Domínios. Dissertação,

                    Instituto de Ciências Matemáticas e de Computação. Orientador: Paulo Cesar Masiero.

 

          16          Cunha, Luiz Manoel da Silv. 1993. Automacao Laboratorial: Um Dominio de Aplicacao e Um Software de

                    Apoio. Dissertação, Instituto de Ciências Matemáticas e de Computação. Orientador: Paulo Cesar

                    Masiero.

 

          17          Cangussu, Joao Wagner Lim. 1993. Execução Programada de Statecharts. Dissertação, Instituto de

                    Ciências Matemáticas e de Computação. Orientador: Paulo Cesar Masiero.

 

          18          Santos, Gladys Pierri Bernardo do. 1992. O Uso de Hipertexto Para Apoio A Reuniões Formais.

                    Dissertação, Instituto de Ciências Matemáticas e de Computação. Orientador: Paulo Cesar Masiero.

 

          19          Boaventura, Ines Aparecida Gasparott. 1992. Propriedades Dinâmicas de Statecharts. Dissertação,

                    Instituto de Ciências Matemáticas e de Computação. Orientador: Paulo Cesar Masiero.

 

          20          Abreu, Jose Celso Carriel d. 1992. Um Sistema Para Navegação Em Bases de Dados Multiformatadas.

                    Dissertação (Mestrado em Ciências da Computação), Universidade Federal de São Carlos. Orientador:

                    Paulo Cesar Masiero.

 

          21          Meira, Carlos A. 1991. Sobre Geradores de Aplicacao. Dissertação, Instituto de Ciências Matemáticas e

                   de Computação. Orientador: Paulo Cesar Masiero.

 

          22          Batista NETO, Joao Do Espirito Sant. 1991. Um Editor Gráfico Para Statecharts. Dissertação, Instituto de

                    Ciências Matemáticas e de Computação. Orientador: Paulo Cesar Masiero.

 

          23          Tutumi, Renat. 1991. Um estudo de Higrafo e Implementação de um Editor Gráfico para Statechart.

                    Dissertação (Mestrado em Ciências de Computação), Instituto de Ciências Matemática e Computação,

                    Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Paulo Cesar Masiero.

          24          Santos, P. A. 1991. Um Sistema de Navegacao Para Um Sgbd Baseado Em Um Modelo Semântico.

                    Dissertação, Instituto de Ciências Matemáticas e de Computação. Orientador: Paulo Cesar Masiero.

 

          25          Fortes, Renata P. de M. 1991. Uma Ferramenta de Apoio à Utilização de Statecharts Para Especificação

                   do Comportamento de Sistemas de Tempo-Real Complexos. Dissertação, Instituto de Ciências

                    Matemáticas e de Computação. Orientador: Paulo Cesar Masiero.

 

          26          Schutzer, Elizabet. 1990. Identificação de Necessidades de Informação Em Um Instituto de Pesquisa.

                    Dissertação (Mestrado em Computação Aplicada), Instituto Nacional de Pesquisas Espaciais.

                   Co-orientador: Paulo Cesar Masiero.

 

          27          Toure, Yay. 1989. Metodologia MIND-BFB: Proposta de Uma Ferramenta. Dissertação, Instituto de

                    Ciências Matemáticas e de Computação. Orientador: Paulo Cesar Masiero.

 

          28          Lopez, Maritza de Las Mercedes Rodrigues d. 1989. Um Analisador de Especificações Operacionais.

                    Dissertação, Instituto de Ciências Matemáticas e de Computação. Orientador: Paulo Cesar Masiero.

 

          29          Costa, Guatabi Bernarde. 1987. Modelos e Metodologias Para Análise e Projeto de Sistemas de

                    Informação de Escritório. Dissertação, Instituto de Ciências Matemáticas e de Computação. Orientador:

                    Paulo Cesar Masiero.

 

          30          Carneiro, Maria Cecília V. 1987. Um Estudo do Metodo ISAC como Alternativa do JSD para Articulação

                    com o JSP. Dissertação, Instituto de Ciências Matemáticas e de Computação. Orientador: Paulo Cesar

                    Masiero.

 

                     2.3.2 Doutorado

 

          1          Massaropi JÚNIOR, Ernest. 2003. 164 f. Um Framework para Simulação do Fluxo de Peças em Sistema

                    Flexíveis de Fabricação. Tese (Doutorado em Ciências da Computação e Matemática Computacional),

                    Instituto de Ciências Matemáticas e de Computação. Orientador: Paulo Cesar Masiero.

 

          2          Leiva, Willie D. 2003. 124 f. Um modelo de Hipertexto para Apoio ao Ensino Mediado pela Web. Tese

                    (Doutorado em Ciências da Computação e Matemática Computacional), Universidade de São Paulo,

                    Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Paulo Cesar Masiero.

 

          3          Braga, Rosana T. 2003. 171 f. Um Processo para Construção e Instanciação de Frameworks Baseados

                   em uma Linguagem de Padrões para um Domínio Específico. Tese (Doutorado em Ciências da

                    Computação e Matemática Computacional), Instituto de Ciências Matemáticas e de Computação,

                    Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Paulo Cesar Masiero.

 

          4          Turine, Marcelo A. 1998. Um Modelo Baseado Em Statecharts Para A Especificação Formal de

                    Hiperdocumentos. Tese, Instituto de Física de São Carlos - USP, Conselho Nacional de Desenvolvimento

                    Científico e Tecnológico. Orientador: Paulo Cesar Masiero.

 

          5          Guimarães, José de Oliveir. 1996. Filtros Para Objetos. Tese, Instituto de Física de São Carlos - USP.

                    Orientador: Paulo Cesar Masiero.

 

          6          Penteado, Rosângela A. 1996. Um Método Para Engenharia Reversa Orientada a Objetos. Tese, Instituto

                   de Física de São Carlos - USP. Orientador: Paulo Cesar Masiero.

 

                     2.3.3 Graduação

 

          1          Sorokin, José Lui. 1995. Qualidade de Software. Trabalho de Conclusão de Curso (Graduação em

                    Ciências de Computação), Instituto de Ciências Matemáticas e de Computação. Orientador: Paulo Cesar

                    Masiero.

 

                     2.3.4 Iniciação científica

          1          Silva, Fábio Oliveri. 2004. 30 f. Extensões ao Framework GREN visando a Melhoria de Desempenho das

                    Aplicações Instanciadas. Iniciação científica (Graduando em Bacharelado Em Ciências de Computação),

                    Instituto de Ciências Matemáticas e de Computação, Conselho Nacional de Desenvolvimento Científico e

                    Tecnológico. Orientador: Paulo Cesar Masiero.

 

          2          Oliveira, Fredson Carlos Javurek d. 1998. Apoio ao Desenvolvimento de uma Ferramenta para

                    Modelagem e Simulação da Dinâmica de Sistemas, Testes e Manutenção. Iniciação científica

                    (Graduando em Ciências de Computação), Instituto de Ciências Matemáticas e de Computação,

                    Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Paulo Cesar Masiero.

 

          3          Rocha, Fabiana Maurício d. 1998. Engenharia Reversa de Sistemas Implementados em Clipper.

                    Iniciação científica (Graduando em Ciências de Computação), Instituto de Ciências Matemáticas e de

                    Computação, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Paulo Cesar

                    Masiero.

 

          4          Silva, Fábio L V d. 1997. Apoio ao Desenvolvimento da Ferramenta Proteum/FSM. Iniciação científica

                    (Graduando em Ciências de Computação), Instituto de Ciências Matemáticas e de Computação,

                    Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Paulo Cesar Masiero.

 

          5          Machado, Elaine. 1997. Edição de Hipertextos para o Ambiente StatSim. Iniciação científica (Graduando

                   em Ciências de Computação), Instituto de Ciências Matemáticas e de Computação, Conselho Nacional

                   de Desenvolvimento Científico e Tecnológico. Orientador: Paulo Cesar Masiero.

 

          6          Hiraoka, Rogéri. 1997. Implementação de Sistemas Hipermídia. Iniciação científica (Graduando em

                    Ciências de Computação), Instituto de Ciências Matemáticas e de Computação, Conselho Nacional de

                    Desenvolvimento Científico e Tecnológico. Orientador: Paulo Cesar Masiero.

 

          7          Covino, Luis Gustav. 1996. Apoio ao Desenvolvimento de Sistemas Hipertexto baseado no Modelo

                    HMBS. Iniciação científica (Graduando em Ciências de Computação), Instituto de Ciências Matemáticas

                   e de Computação, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Paulo

                    Cesar Masiero.

 

          8          Boralli, Andr. 1994. Implementação dos Modelos de Linguagens Orientadas a Ojbetos Smalltalk, POOL-I

                   e C+. Iniciação científica (Graduando em Ciências de Computação), Universidade Federal de São

                    Carlos, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Paulo Cesar Masiero.

 

          9          Nakamatsu, Claudi. 1993. Implementação de uma Ferramenta de Auxílio à Escrita de Artigos Cientìficos

                   em Inglês. Iniciação científica (Graduando em Ciências de Computação), Instituto de Ciências

                    Matemáticas e de Computação, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador:

                    Paulo Cesar Masiero.

 

          10          Yoshio, Sandr. 1992. Desenvolvimento de um Editor Gráfico de Diagramas de Atividade. Iniciação

                    científica (Graduando em Ciências de Computação), Instituto de Ciências Matemáticas e de

                    Computação, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Paulo Cesar

                    Masiero.

 

          11          Furuuti, Reinald. 1992. Implementação de micro-passos na simulação de statecharts. Iniciação científica

                    (Graduando em Ciências de Computação), Instituto de Ciências Matemáticas e de Computação,

                    Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Paulo Cesar Masiero.

 

          12          Marques, Daniela Troy. 1992. Métodos Algébricos para Execução de Statecharts. Iniciação científica

                    (Graduando em Ciências de Computação), Instituto de Ciências Matemáticas e de Computação,

                    Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Paulo Cesar Masiero.

 

          13          Paganini, Gabriel Vita. 1991. Implementação Parcial de um Gerador de Aplicação. Iniciação científica

                    (Graduando em Ciências de Computação), Instituto de Ciências Matemáticas e de Computação,

                    Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Paulo Cesar Masiero.

          14          Miranda, Fernando. 1991. Um Estudo de Higrafos e Implementação de um Editor Gráfico para

                    Statechart. Iniciação científica (Graduando em Ciências de Computação), Instituto de Ciências

                    Matemáticas e de Computação, Conselho Nacional de Desenvolvimento Científico e Tecnológico.

                    Orientador: Paulo Cesar Masiero.

 

          15          Moletta, Ana Elis. 1988. Computação Gráfica. Iniciação científica (Graduando em Ciências de

                    Computação), Instituto de Ciências Matemáticas e de Computação, Conselho Nacional de

                    Desenvolvimento Científico e Tecnológico. Orientador: Paulo Cesar Masiero.

 

          16          Sarino, Ana Luzia Gonçalve. 1988. Estudo do Método JSD com o apoio da Linguagem Modula-2.

                    Iniciação científica (Graduando em Ciências de Computação), Instituto de Ciências Matemáticas e de

                    Computação, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Paulo Cesar

                    Masiero.