Paulo Sergio Muniz Silva

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Espanhol

Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Pouco.

Francês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.

MUNIZ SILVA, P. S.; BARRETTO, Marcos Ribeiro Pereira; BECERRA, Jorge Luis Risco. Avaliação de ambientes para desenvolvimento de software embutido e de tempo real baseados em uma ferramenta CASE UML. 2008. Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo.

MUNIZ SILVA, P. S.; SOUZA, S. N. A.; BECERRA, Jorge Luis Risco. Proposta de um modelo de rastreamento entre requisitos de software e o contexto organizacional. 2008. Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo.

HIRAMA, K.;MUNIZ SILVA, P. S.; MELNIKOFF, S. S. S.. Um processo de medição de defeitos de software orientado a testes. 2008. Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo.

COSTA, I.;MUNIZ SILVA, P. S.; FERNANDES, A. A.. Proposta de um processo de gerenciamento das interações de uma organização de desenvolvimento de software com uma ou mais fábricas de software em projetos que utilizam o RUP como modelo de processo. 2008. Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo.

MUNIZ SILVA, P. S.; BARRETTO, Marcos Ribeiro Pereira; BECERRA, Jorge Luis Risco. Especificação de um modelo conceitual de gestão de dados corporativos. 2008. Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo.

MUNIZ SILVA, P. S.; VEGA, I. S.; BECERRA, Jorge Luis Risco. Transformações e mapeamentos da MDA e sua implementação em três ferramentas. 2007. Dissertação (Mestrado em Mestrado em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo.

MUNIZ SILVA, P. S.; JOSÉ NETO, João; LEJBMAN, A. G. V.. Objetos adaptativos: aplicação da teoria adaptativa à orientação a objetos. 2007. Dissertação (Mestrado em Mestrado em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo.

MUNIZ SILVA, P. S.; VEGA, I. S.; ROCHA, Ricardo Luis de Azevedo da. Aplicação da técnica de tecelagem de models na transformação de modelos na MDA. 2007. Dissertação (Mestrado em Mestrado em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo.

HIRAMA, K.;MUNIZ SILVA, P. S.; COSTA, H. A. X.. Uma extensão do RUP com ênfase no gerenciamento de projetos do PMBOK baseada em process patterns. 2007. Dissertação (Mestrado em Mestrado em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo.

MUNIZ SILVA, P. S.; BECERRA, Jorge Luis Risco; BARRETTO, Marcos Ribeiro Pereira. Modelagem de plataforma abstrata na MDA: um estudo sobre a implementação de mensagens assíncronas entre objetos. 2007. Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo.

DEBONI, J. E. Z.;MUNIZ SILVA, P. S.; ITO, M.. Uma proposta de inspeção de modelos de caso de uso. 2007. Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo.

MUNIZ SILVA, P. S.; JOSÉ NETO, João; FINGER, Marcelo. Verificação Formal de Sistemas Modelados em Estados Finitos. 2006. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo.

MUNIZ SILVA, P. S.; MELNIKOFF, S. S. S.; PENTEADO, Rosângela. O Desenvolvimento Distribuído de Software: Características e Recomendações para a Gerência de Projetos. 2005. Dissertação (Mestrado em Engenharia de Computação) - Escola Politécnica da Universidade de São Paulo.

BARRETTO, Marcos Ribeiro Pereira;MUNIZ SILVA, P. S.; BECERRA, Jorge Luis Risco. Estratégias e Impactos de Implementação de Plataformas Tecnológicas para Processamento de Serviços Bancários de Varejo. 2005. Dissertação (Mestrado em Sistemas de Computação) - Centro Universitário Fieo.

ARAKAKI, R.;MUNIZ SILVA, P. S.; BECERRA, Jorge Luis Risco. Processo de melhoria contínua de arquitetura de software direcionado por indicadores de qualidade. 2005. Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo.

BECERRA, Jorge Luis Risco;MUNIZ SILVA, P. S.; ARAKAKI, R.. Implementação de um Método de Gestão de Projetos, Fundamentado no Modelo PMBOK. 2004. Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo.

MUNIZ SILVA, P. S.; BECERRA, Jorge Luis Risco; BARRETTO, Marcos Ribeiro Pereira. Método de Avaliação de Riscos na Primeira Fase do 'Rational Unified Process'. 2004. Dissertação (Mestrado em Sistemas de Computação) - Centro Universitário Fieo.

AMARAL, J. A. A.;MUNIZ SILVA, P. S.; BECERRA, Jorge Luis Risco. Utilização de Modelos de Maturidade em Desenvolvimento de Software: Estudo de Caso de Três Projetos Acadêmicos. 2004. Dissertação (Mestrado em Sistemas de Computação) - Centro Universitário Fieo.

MUNIZ SILVA, P. S.; AMARAL, J. A. A.. Análise da Aplicação das Técnicas de Gerência de Riscos em Projetos de Software. 2004. Dissertação (Mestrado em Sistemas de Computação) - Centro Universitário Fieo.

MUNIZ SILVA, P. S.; BARRETTO, Marcos Ribeiro Pereira; TAKASE, F.. Linguagens Orientadas a Objeto e suas Implementações. 2004. Dissertação (Mestrado em Sistemas de Computação) - Centro Universitário Fieo.

MUNIZ SILVA, P. S.; BARRETTO, Marcos Ribeiro Pereira; SILVA, J. R.. Análise das Restrições Impostas pelos Modelos de Persistência de J2EE no Padrão de Projeto Compósito. 2004. Dissertação (Mestrado em Sistemas de Computação) - Centro Universitário Fieo.

SILVA, J. R.;MUNIZ SILVA, P. S.; BARRETTO, Marcos Ribeiro Pereira. Verificação de Requisitos de Sistemas Utilizando Redes de Petri. 2003. Dissertação (Mestrado em Engenharia Mecatrônica) - Escola Politécnica da Universidade de São Paulo.

MELNIKOFF, S. S. S.;MUNIZ SILVA, P. S.; BECERRA, Jorge Luis Risco. Definição de um Processo de Desenvolvimento de Software para a Área Financeira Baseado no Processo Unificado. 2003. Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo.

CAMPOS, E. G. L.;MUNIZ SILVA, P. S.; RADY JR, J.. Evolução de Banco de Dados utilizando Técnicas de Integração de Esquemas Conceituais. 2003. Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo.

BECERRA, Jorge Luis Risco;MUNIZ SILVA, P. S.; ANDRADE, M. T. C.. Proposta de Método para a Implantação do Nível 3 do Modelo SEI/CMM. 2003. Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo.

CORREA DA SILVA, F. S.; WANG, X.; TONIN, G. S.; AGUIAR, A.;MUNIZ SILVA, P. S.. Mob programming for writing code with high complexity and remote work. 2023. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.

JOSÉ NETO, João; VEGA, I. S.; LIMA, A. M.; PISTORI, H.;MUNIZ SILVA, P. S.. Concepção e modelagem de sistemas de software adaptativos. 2022. Tese (Doutorado em Doutorado em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo.

JOSÉ NETO, João;MUNIZ SILVA, P. S.; PISTORI, H.; ROCHA, Ricardo Luis de Azevedo da; ZORZO, S. D.. Considerações sobre o desenvolvimento de linguagens adaptativas de programação. 2008. Tese (Doutorado em Doutorado em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo.

JOSÉ NETO, João;MUNIZ SILVA, P. S.; ROCHA, Ricardo Luis de Azevedo da; ZORZO, S. D.. Um gerador de ambientes para modelagem baseada em formalismos adaptativos. 2007. Tese (Doutorado em Doutorado em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo.

JOSÉ NETO, João;MUNIZ SILVA, P. S.; ROCHA, Ricardo Luis de Azevedo da; BIANCO FILHO, O.; ZAPAROLLI, Z. M.. Alguns aspectos de tratamento de dependências de contexto em linguagem natural empregando tecnologia adaptativa. 2006. Tese (Doutorado em Doutorado em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo.

JOSÉ NETO, João; SONG, S. W.; DURHAM, A. M.;MUNIZ SILVA, P. S.; ROCHA, Ricardo Luis de Azevedo da. Gramáticas Livres de Contexto Adaptativas com Verificação de Aparência. 2004. Tese (Doutorado em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo.

RADY JR, J.; MELNIKOFF, S. S. S.;MUNIZ SILVA, P. S.; JINO, M.; NAKANISHI, T.. Monitores de Execução de Software para Sistemas Similares de Mesma Funcionalidade. 2004. Tese (Doutorado em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo.

JOSÉ NETO, João; SOUZA, C. R.;MUNIZ SILVA, P. S.; ROCHA, Ricardo Luis de Azevedo da; MARIETTO, Maria das Graças Bruno. Tecnologia Adaptativa em Engenharia de Computação: Estado da Arte e Aplicações. 2003. Tese (Doutorado em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo.

JOSÉ NETO, João;MUNIZ SILVA, P. S.; MELNIKOFF, S. S. S.; MOURA, A. V.; FINGER, Marcelo. Um Modelo semi-formal de objeto e tipode objeto e sua aplicação na modelagem de sistemas de software orientados a objetos.. 1998. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.

JOSÉ NETO, João;MUNIZ SILVA, P. S.; ROCHA, Ricardo Luis de Azevedo da. Considerações sobre o desenvolvimento de linguagens adaptativas de programação. 2007. Exame de qualificação (Doutorando em Doutorado em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo.

PESSOA, M. S. P.;MUNIZ SILVA, P. S.. Contribuição ao estudo do ambiente de desenvolvimento de software multi-sites a distribuições. 2006. Exame de qualificação (Doutorando em Mestrado em Engenharia de Produção) - Escola Politécnica da Universidade de São Paulo.

BECERRA, Jorge Luis Risco;MUNIZ SILVA, P. S.; MELNIKOFF, S. S. S.. Metodologia para Definição de Arquitetura de Sistema de Informação Corporativa: Uma Aplicação nas Empresas de Energia Elétrica. 2005. Exame de qualificação (Doutorando em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo.

JOSÉ NETO, João;MUNIZ SILVA, P. S.; ROCHA, Ricardo Luis de Azevedo da. Um Gerador de Ambientes para Modelagem Baseada em Formalismos Adaptativos. 2005. Exame de qualificação (Doutorando em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo.

MUNIZ SILVA, P. S.; JOSÉ NETO, João; ROCHA, Ricardo Luis de Azevedo da. Tecnologia Adaptativa em Engenharia de Computação: Estado da Arte e Aplicações. 2003. Exame de qualificação (Doutorando em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo.

RADY JR, J.;MUNIZ SILVA, P. S.; MELNIKOFF, S. S. S.. Monitores de Execução de Software para Sistemas Simuladores de Mesma Funcionalidade. 2003. Exame de qualificação (Doutorando em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo.

JOSÉ NETO, João;MUNIZ SILVA, P. S.; ROCHA, Ricardo Luis de Azevedo da. Teoria e Infraestrutura para a Geração de Gramáticas no Paradigma Adaptativo. 2002. Exame de qualificação (Doutorando em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo.

MUNIZ SILVA, P. S.; JOSÉ NETO, João; VEGA, I. S.; TERADA, R.; PISTORI, H.. Concurso para professor doutor, especialidade "Fundamentos da Engenharia de Computação". 2008. Universidade de São Paulo.. 2008. Escola Politécnica da Universidade de São Paulo.

MUNIZ SILVA, P. S.; DURHAM, A. M.; JOSÉ NETO, João; VEGA, I. S.. Concurso público ao cargo de Professor Doutor. 2003. Universidade de São Paulo. 2003. Escola Politécnica da Universidade de São Paulo.

Definição de arquitetura de referência para Agricultura Digital utilizando Domain Driven Design; Início: 2025; Dissertação (Mestrado profissional em Computação Aplicada) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo; (Orientador);

Validação e verificação de contratos de interfaces em Sistemas de Sistemas; Início: 2024; Dissertação (Mestrado profissional em Computação Aplicada) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo; (Orientador);

Aplicação de práticas ágeis no desenvolvimento de sistemas para digitalização de instituições; Início: 2022; Dissertação (Mestrado profissional em Computação Aplicada) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo; (Orientador);

Auditando regras de negócio; Início: 2022; Dissertação (Mestrado profissional em Computação Aplicada) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo; (Orientador);

StarMVP: Um Método de Engenharia de Requisitos Usando i* para Definição de MVP em Startups de Software; 2024; Dissertação (Mestrado em Computação Aplicada) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, ; Orientador: Paulo Sérgio Muniz Silva;

Uma ferramenta para análise de código estático e refatoração em LavVIEW; 2023; Dissertação (Mestrado em Computação Aplicada) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, ; Orientador: Paulo Sérgio Muniz Silva;

A contribuição do Value Stream Mapping para obtenção de métricas de comportamentos de equipes de software em projetos no contexto Lean Agile; 2021; Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, ; Orientador: Paulo Sérgio Muniz Silva;

Desafios para as práticas de visualização do método Kanban em projetos de desenvolvimento de software; 2020; Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, ; Orientador: Paulo Sérgio Muniz Silva;

Obtenção de histórias de usuário de um modelo i* pactuado entre as partes interessadas; 2019; Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, ; Orientador: Paulo Sérgio Muniz Silva;

Processo para elicitar, analisar e derivar requisitos funcionais durante os ciclos evolutivos de sistemas de software considerados legados; 2019; Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, ; Orientador: Paulo Sérgio Muniz Silva;

Avaliação da maturidade de empresa de software para implantação do processo Scrum; 2018; Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, ; Orientador: Paulo Sérgio Muniz Silva;

Método para obtenção de SBVR com ontologia bilíngue; 2018; Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, ; Orientador: Paulo Sérgio Muniz Silva;

Uma Taxonomia de Riscos para Projetos Ágeis; 2018; Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, ; Orientador: Paulo Sérgio Muniz Silva;

Machado; Uma tradução semiautomática de domínios descritos por diagramas de classe UML e por linguagem natural controlada em modelos SBVR; 2017; Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, ; Orientador: Paulo Sérgio Muniz Silva;

Repriorização de Requisitos no Desenvolvimento de Aplicações Utilizando o Framework Scrum: Um Estudo de Caso; 2017; Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, ; Orientador: Paulo Sérgio Muniz Silva;

Uma ferramenta para a automatização de testes de aceitação baseada na linguagem LETA e no SBVR; 2016; Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, ; Orientador: Paulo Sérgio Muniz Silva;

Uma avaliação do uso de descrições de arquitetura de software baseada na ISO 42010:2011; 2016; Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, ; Orientador: Paulo Sérgio Muniz Silva;

Um método de acompanhamento sistemático da evolvabilidade de software; 2015; Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, ; Orientador: Paulo Sérgio Muniz Silva;

Extensão do WRSPM para artefatos de requisitos em linha de produtos de software; 2014; Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, ; Orientador: Paulo Sérgio Muniz Silva;

Repositório para o rastreamento de requisitos funcionais derivados de regras de negócio; 2013; Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, ; Orientador: Paulo Sérgio Muniz Silva;

MPED - Um método para especificar requisitos de desempenho de software baseado em padrões de requisitos não funcionais e na engenharia de desempenho de software; 2013; Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, ; Orientador: Paulo Sérgio Muniz Silva;

Estudo de Utilização do Método Event-B no Desenvolvimento de Software para Sistemas Críticos Metroferroviários; 2012; Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, ; Orientador: Paulo Sérgio Muniz Silva;

Uma Ferramenta para a Automatização de Testes de Aceitação Baseada na Linguagem Leta; 2012; Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, ; Orientador: Paulo Sérgio Muniz Silva;

Técnica de Verificação Rigorosa de Desempenho da Arquitetura de Sistemas Computacionais Aplicada aos Cenários de Seis Partes do ATAM; 2012; Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, ; Orientador: Paulo Sérgio Muniz Silva;

Método de Criação de Roteiros para a Avaliação de Requisitos de Software; 2012; Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, ; Orientador: Paulo Sérgio Muniz Silva;

Métodos de Priorização de Requisitos: um Estudo Comparativo Experimental; 2012; Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, ; Orientador: Paulo Sérgio Muniz Silva;

Aplicação do NFR-Framework e da Norma ISO/IEC 15504 para Promover o Reuso do Perfil de Processo de Software; 2011; Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, ; Orientador: Paulo Sérgio Muniz Silva;

Gabaritos de Especificação de Caso de Uso por Perfil de Leitor; 2009; Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, ; Orientador: Paulo Sérgio Muniz Silva;

Gerenciamento de Configuração de Software em Fábrica de Programas - Implementação e Gerenciamento de Linhas de Base; 2009; Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, ; Orientador: Paulo Sérgio Muniz Silva;

Um Modelo de Repositório para Rastreamento de Regras de Negócio em Aplicações de Sistemas de Informação; 2009; Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, ; Orientador: Paulo Sérgio Muniz Silva;

Utilização de Patterns de Modelagem para Apoiar a Eliciação de Requisitos de Software Durante a Modelagem Organizacional por Meio da EKD; 2009; Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, ; Orientador: Paulo Sérgio Muniz Silva;

Análise de disponibilidade em sistemas de software na Web; 2009; Dissertação (Mestrado em Sistemas Digitais) - Escola Politécnica da Universidade de São Paulo, ; Orientador: Paulo Sérgio Muniz Silva;

Especificação de um modelo conceitual de gestão de dados; 2008; Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, ; Orientador: Paulo Sérgio Muniz Silva;

Proposta de um modelo de rastreamento entre requisitos de software e o contexto organizacional; 2008; Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, ; Orientador: Paulo Sérgio Muniz Silva;

Avaliação de ambientes para o desenvolvimento de software embutido e de tempo real baseados em uma ferramenta CASE UML; 2008; Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, ; Orientador: Paulo Sérgio Muniz Silva;

Aplicação da Técnica de Tecelagem de Modelos na Transformação de Modelos na MDA; 2007; Dissertação (Mestrado em Sistemas Digitais) - Escola Politécnica da Universidade de São Paulo, ; Orientador: Paulo Sérgio Muniz Silva;

Transformações e mapeamentos da MDA e sua implementação em três ferramentas; 2007; Dissertação (Mestrado em Sistemas Digitais) - Escola Politécnica da Universidade de São Paulo, ; Orientador: Paulo Sérgio Muniz Silva;

Objetos adaptativos: aplicação da tecnologia adaptativa à orientação a objetos; 2007; Dissertação (Mestrado em Sistemas Digitais) - Escola Politécnica da Universidade de São Paulo, ; Orientador: Paulo Sérgio Muniz Silva;

Modelagem de plataforma abstrata na MDA: um estudo sobre a implementação de mensagens assíncronas entre objetos; 2007; Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, ; Orientador: Paulo Sérgio Muniz Silva;

Verificação Formal de Sistemas Modelados em Estados Finitos; 2006; 159 f; Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo, ; Orientador: Paulo Sérgio Muniz Silva;

O Desenvolvimento Distribuído de Sosftware: Características e Recomendações Para a Gerência de Projetos; 2005; 152 f; Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Paulo Sérgio Muniz Silva;

Método de Avaliação de Riscos na Primeira Fase do Rational Unified Process; 2004; 78 f; Dissertação (Mestrado em Sistemas de Computação) - Centro Universitário Fieo, ; Orientador: Paulo Sérgio Muniz Silva;

Análise das Restrições Impostas Pelos Modelos de Persistência de J2EE no Padrão de Projeto Compósito; 2003; 203 f; Dissertação (Mestrado em Sistemas de Computação) - Centro Universitário Fieo, ; Orientador: Paulo Sérgio Muniz Silva;

Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências; 2013; Tese (Doutorado em Sistemas Digitais) - Escola Politécnica da Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Paulo Sérgio Muniz Silva;

Transformação de um modelo de empresa em um modelo de casos de uso seguindo os conceitos de engenharia dirigida por modelos; 2011; Tese (Doutorado em Sistemas Digitais) - Escola Politécnica da Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Paulo Sérgio Muniz Silva;

Desenvolvimento de um protótipo de modelo de detecção de code smells durante a revisão de código em C#; 2025; Monografia; (Aperfeiçoamento/Especialização em MBA em Engenharia de Software) - Programa de Educação Continuada da Escola Politécnica da USP; Orientador: Paulo Sérgio Muniz Silva;

Aplicando técnicas de Domain-Driven Design para Reduzir Acoplamento e Aumentar a Coesão em uma Arquitetura de Microsserviços; 2025; Monografia; (Aperfeiçoamento/Especialização em MBA em Engenharia de Software) - Programa de Educação Continuada da Escola Politécnica da USP; Orientador: Paulo Sérgio Muniz Silva;

Dispositivo de software que usa aprendizado de máquina para verificação do efeito da realização de exercícios físicos na glicemia de indivíduos acometidos por diabetes mellitus tipo 1; 2025; Monografia; (Aperfeiçoamento/Especialização em MBA em Engenharia de Software) - Programa de Educação Continuada da Escola Politécnica da USP; Orientador: Paulo Sérgio Muniz Silva;

Uma solução de DDD (Domain Driven Design) para uma plataforma de empréstimos entre pessoas; 2019; Monografia; (Aperfeiçoamento/Especialização em MBA em Engenharia de Software) - Programa de Educação Continuada da Escola Politécnica da USP; Orientador: Paulo Sérgio Muniz Silva;

Lista de verificação para a implantação da integração contínua; 2016; Monografia; (Aperfeiçoamento/Especialização em MBA em Engenharia de Software) - Programa de Educação Continuada da Escola Politécnica da USP; Orientador: Paulo Sérgio Muniz Silva;

Roteiro para a utilização da arquitetura hexagonal no projeto dirigido pelo domínio; 2016; Monografia; (Aperfeiçoamento/Especialização em MBA em Engenharia de Software) - Programa de Educação Continuada da Escola Politécnica da USP; Orientador: Paulo Sérgio Muniz Silva;

Utilizando anotações para a definição da lógica de verificação da igualdade entre objetos; 2015; Monografia; (Aperfeiçoamento/Especialização em MBA em Engenharia de Software) - Programa de Educação Continuada da Escola Politécnica da USP; Orientador: Paulo Sérgio Muniz Silva;

Análise do Windows Communication Foundation através do conceito de composição do SEI para o desenvolvimento baseado em componentes; 2007; Monografia; (Aperfeiçoamento/Especialização em MBA em Engenharia de Software) - Programa de Educação Continuada da Escola Politécnica da USP; Orientador: Paulo Sérgio Muniz Silva;

Aplicando soluções com padrões de projeto em um portal de vendas de conteúdos para dispositivos móveis; 2007; Monografia; (Aperfeiçoamento/Especialização em MBA em Engenharia de Software) - Programa de Educação Continuada da Escola Politécnica da USP; Orientador: Paulo Sérgio Muniz Silva;

Adoção dos Modelos de Requisitos e de Análise do Processo Unificado em Projetos com Cultura do Enfoque Estruturado; 2006; 0 f; Monografia; (Aperfeiçoamento/Especialização em Qualidade de Desenvolvimento de Software) - Centro Universitário Senac; Orientador: Paulo Sérgio Muniz Silva;

Rastremento de Requisitos em Processo Misto de Desenvolvimento: Processo Unificado e Metodologia Estruturada; 2006; 0 f; Monografia; (Aperfeiçoamento/Especialização em Qualidade de Desenvolvimento de Software) - Centro Universitário Senac; Orientador: Paulo Sérgio Muniz Silva;

O Uso do Processo Unificado Rational (RUP) na Manutenção de Sistemas WEB e a Influência no Middleware; 2005; 110 f; Monografia; (Aperfeiçoamento/Especialização em MBA em Engenharia de Software) - Escola Politécnica da Universidade de São Paulo; Orientador: Paulo Sérgio Muniz Silva;

Processo de Manutenção e Evolução de Sistemas; 2004; 99 f; Monografia; (Aperfeiçoamento/Especialização em MBA em Engenharia de Software) - Escola Politécnica da Universidade de São Paulo; Orientador: Paulo Sérgio Muniz Silva;

Seifuzzy; 2003; 76 f; Monografia; (Aperfeiçoamento/Especialização em MBA em Engenharia de Software) - Escola Politécnica da Universidade de São Paulo; Orientador: Paulo Sérgio Muniz Silva;

Modelos de Apoio à Gestão de Riscos no Desenvolvimento de Software; 2002; 104 f; Monografia; (Aperfeiçoamento/Especialização em MBA em Engenharia de Software) - Escola Politécnica da Universidade de São Paulo; Orientador: Paulo Sérgio Muniz Silva;

Sistema de Controle de Entregas; 2004; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Escola Politécnica da Universidade de São Paulo; Orientador: Paulo Sérgio Muniz Silva;

Método de Comparação e Análise de Metodologias para o Desenvolvimento de um Sistema de Discussão e Colaboração; 2001; 70 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Escola Politécnica da Universidade de São Paulo; Orientador: Paulo Sérgio Muniz Silva;

MUNIZ SILVA, P. S. ; BIELEVELD, M. . MVN.2014 - Simulador da Máquina de Von Neumann - Manutenção evolutiva. 2014.

MUNIZ SILVA, P. S. ; NARDIN, L. G. . MVN.2011 - Simulador da Máquina de Von Neumann - Manutenção corretiva e evolutiva. 2011.

JOSÉ NETO, João ; MUNIZ SILVA, P. S. ; ROCHA, Ricardo Luis de Azevedo da ; SIQUEIRA, Fábio Levy . MVN - Simulador da Máquina de Von Neumann. 2005.

MUNIZ SILVA, P. S. ; BRANDÃO, J. T. R.i ; SANTOS, R. R. . Boards for Sales and Services. 2001.

BRANDÃO, J. T. R.i ; SANTOS, R. R. ; MUNIZ SILVA, P. S. . Boards for Manufacturing. 2000.

MUNIZ SILVA, P. S. ; POMPEO, J. N. . Negotiator. 1990.

MUNIZ SILVA, P. S. . Plano de Gestão da Configuração do Projeto SCM/MODFRAG. 1997.

MUNIZ SILVA, P. S. . Plano de Controle de Projeto do Projeto SCM/MODFRAG.. 1997.

MUNIZ SILVA, P. S. . Plano de Verificação e Validação do Projeto SCM/MODFRAG. 1997.

MUNIZ SILVA, P. S. . Metodologia para o Projeto SCM/MODFRAG. 1996.

MUNIZ SILVA, P. S. . Desenvolvimento de Sistemas Digitais com Verificação e Validação Independentes. 1996.

MUNIZ SILVA, P. S. . Standards for Developing Object-Oriented Software Systems. 1995.

MUNIZ SILVA, P. S. . Avaliação da Qualidade de Software para o Projeto Detalhado. 1995.

MUNIZ SILVA, P. S. . Critérios para o Estabelecimento de Restrições à Utilização da Linguagem C. 1994.

MUNIZ SILVA, P. S. . Tópicos para a Verificação de Software de Segurança no Projeto Detalhado. 1994.

MUNIZ SILVA, P. S. . Procedimentos da Especificação de Testes de Software, Integração e Validação. 1994.

MUNIZ SILVA, P. S. . Procedimento da Descrição da Base de Dados. 1994.

MUNIZ SILVA, P. S. . Classificação de Software de Segurança. 1993.

MUNIZ SILVA, P. S. . Revisão Técnica de Sistema.. 1993.

MUNIZ SILVA, P. S. . Procedimento para Elaboração da Concepcão da Base de Dados.. 1992.

MUNIZ SILVA, P. S. . Diretivas para a Avaliação da Qualidade de Software. 1992.

MUNIZ SILVA, P. S. . Metodologia de Verificação e Validação. 1991.

MUNIZ SILVA, P. S. . Procedimento para Descrição do Módulo Funcional de Software.. 1991.

MUNIZ SILVA, P. S. . Procedimento para a Elaboração da Especificação de Requisitos de Software.. 1991.

MUNIZ SILVA, P. S. . Padronização do Plano de Integração de Sistema. 1991.

MUNIZ SILVA, P. S. . Padronização do Plano de Validação de Sistema. 1991.

MUNIZ SILVA, P. S. . Padronização da Especificação dos Critérios de Aceitação de Sistema. 1991.

MUNIZ SILVA, P. S. . Padronização da Árvore de Acompanhamento de Requisitos.. 1991.

MUNIZ SILVA, P. S. . Padronização da Descrição dos Recursos para o Desenvolvimento de Sistemas. 1990.

MUNIZ SILVA, P. S. . Procedimento para Elaboração do Plano de Teste de Software.. 1990.

MUNIZ SILVA, P. S. . Procedimento para Elaboração da Descrição da Arquitetura de Software. 1990.

MUNIZ SILVA, P. S. . Teste de Software. 2023. (Desenvolvimento de material didático ou instrucional - MaterialdeApoioaDisciplina).

MUNIZ SILVA, P. S. . Engenharia de Software (Computação Aplicada). 2022. (Desenvolvimento de material didático ou instrucional - Material de apoio a aulas).

MUNIZ SILVA, P. S. . Técnicas para o projeto de sistemas de software. 2021. (Desenvolvimento de material didático ou instrucional - Material de apoio a aulas).

MUNIZ SILVA, P. S. . Testes de Software. 2021. (Desenvolvimento de material didático ou instrucional - Material de apoio a aulas).

MUNIZ SILVA, P. S. . Teste de Software. 2018. .

MUNIZ SILVA, P. S. . Tecnologias de Implementação de Sistemas de Software - Reestruturação da disciplina. 2018. (Desenvolvimento de material didático ou instrucional - Material de Apoio a Disciplina).

MUNIZ SILVA, P. S. . Validação de Sistemas de Software - Reestruturação da disciplina. 2018. (Desenvolvimento de material didático ou instrucional - Material de Apoio a Disciplina).

MUNIZ SILVA, P. S. . Engenharia de Requisitos de Software. 2017 - - Reestruturação da disciplina. 2017. (Desenvolvimento de material didático ou instrucional - Material de Apoio a Disciplina).

MUNIZ SILVA, P. S. . Engenharia de Software - Reestruturação da disciplina. 2017. (Desenvolvimento de material didático ou instrucional - Material de Apoio a Disciplina).

MUNIZ SILVA, P. S. . Tecnologias de Implementação de Sistemas de Software - Reestruturação da disciplina. 2011. (Desenvolvimento de material didático ou instrucional - Material de Apoio a Aulas).

MUNIZ SILVA, P. S. . Validação de Sistemas de Software - Reestruturação da disciplina. 2011. (Desenvolvimento de material didático ou instrucional - Material de Apoio a Disciplina).

MUNIZ SILVA, P. S. . Laboratório de Fundamentos de Engenharia de Computação - Reestruturação da disciplina. 2011. (Desenvolvimento de material didático ou instrucional - Material de apoio a aulas).

MUNIZ SILVA, P. S. . Sistemas de Tempo Real - Reestruturação da disciplina. 2010. (Desenvolvimento de material didático ou instrucional - Material de Apoio a Aulas).

MUNIZ SILVA, P. S. . Engenharia de Software para TI. 2009. (Desenvolvimento de material didático ou instrucional - Material de Apoio a Aulas).

MUNIZ SILVA, P. S. . Validação de Sistemas de Software. 2008. (Desenvolvimento de material didático ou instrucional - Material de Apoio a Aulas).

MUNIZ SILVA, P. S. . Tecnologias de Implementação de Sistemas de Software. 2008. (Desenvolvimento de material didático ou instrucional - Material de Apoio a Aulas).

MUNIZ SILVA, P. S. . Engenharia de Requisitos de Software. 2006. (Desenvolvimento de material didático ou instrucional - Material de Apoio a Aulas).

MUNIZ SILVA, P. S. ; JOSÉ NETO, João ; ROCHA, Ricardo Luis de Azevedo da ; SICHMAN, Jaime Simão . Laboratório de Fundamentos de Engenharia de Computação. 2005. (Desenvolvimento de material didático ou instrucional - Material de Apoio a Aulas).

MUNIZ SILVA, P. S. . Engenharia de Software. 2005. (Desenvolvimento de material didático ou instrucional - Material de Apoio a Aulas).

MUNIZ SILVA, P. S. . Princípios de Projeto de Software e Metodologia de Programação. 2005. (Desenvolvimento de material didático ou instrucional - Material de Apoio a Aulas).

MUNIZ SILVA, P. S. . Tópicos de Programação. 2003. (Desenvolvimento de material didático ou instrucional - Material de Apoio a Aulas).

MELNIKOFF, S. S. S. ; FERREIRA, M. A. G. V. ; FILGUEIRAS, L. V. L. ; MUNIZ SILVA, P. S. . Laboratório de Engenharia de Software I. 2003. (Desenvolvimento de material didático ou instrucional - Material de Apoio a Aulas).

MUNIZ SILVA, P. S. . Princípios de Projeto de Software e Metodologia de Programação. 2003. (Desenvolvimento de material didático ou instrucional - Material de Apoio a Aulas).

MUNIZ SILVA, P. S. . Princípios de Projeto de Software e Metodologia de Programação. 2003. (Desenvolvimento de material didático ou instrucional - Material de Apoio a Aulas).

MUNIZ SILVA, P. S. . Fundamentos de Sistemas de Tempo Real. 2002. (Desenvolvimento de material didático ou instrucional - Material de Apoio a Aulas).

MUNIZ SILVA, P. S. . Engenharia de Software II. 2002. (Desenvolvimento de material didático ou instrucional - Material de Apoio a Aulas).

MUNIZ SILVA, P. S. . Sistemas de Tempo Real. 2002. (Desenvolvimento de material didático ou instrucional - Material de Apoio a Aulas).

MUNIZ SILVA, P. S. . Metodologia de Desenvolvimento de Software. 2001. (Desenvolvimento de material didático ou instrucional - Material de Apoio a Aulas).

MUNIZ SILVA, P. S. . Engenharia de Software e Metodologia de Programação. 2001. (Desenvolvimento de material didático ou instrucional - Material de Apoio a Aulas).

MUNIZ SILVA, P. S. . Laboratório de Programação. 2000. (Desenvolvimento de material didático ou instrucional - Material de Apoio a Aulas).

MUNIZ SILVA, P. S. . Engenharia de Software I. 1998. (Desenvolvimento de material didático ou instrucional - Material de Apoio a Aulas).

MUNIZ SILVA, P. S. . Tópicos Especiais em Engenharia de Software. 1998. (Desenvolvimento de material didático ou instrucional - Material de Apoio a Aulas).

MUNIZ SILVA, P. S. . Sistemas de Programação. 1997. (Desenvolvimento de material didático ou instrucional - Material de Apoio a Aulas).

MUNIZ SILVA, P. S. . Laboratório de Engenharia de Software e de Metodologia de Programação. 1997. (Desenvolvimento de material didático ou instrucional - Material de Apoio a Aulas).

MUNIZ SILVA, P. S. . Engenharia de Software Assistida por Computador. 1994. (Desenvolvimento de material didático ou instrucional - Material de Apoio a Aulas).