Juliano Manabu Iyoda
Possui graduação e mestrado em Ciência da Computação pela Universidade Federal de Pernambuco (1997,2000) e doutorado em Ciência da Computação pela Universidade de Cambridge (2007). Tem experiência na área de Engenharia de Software com ênfase em Metodos Formais e Testes.
Informações coletadas do Lattes em 10/09/2025
Acadêmico
Formação acadêmica
Doutorado em Ciência da Computação
2002 - 2006
University Of Cambridge
Título: Translating HOL Functions to Hardware
Orientador: Michael John Caldwell Gordon
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Provador de Teorema; Sintese de hardware; HOL; Verificacao Formal.
Mestrado em Ciência da Computação
1998 - 2000
Universidade Federal de Pernambuco
Título: ParTS: uma Ferramenta de Suporte ao Particionamento Hardware/Software
, Ano de Obtenção: 2000.Augusto Cézar Alves Sampaio.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Transformacoes algebricas; Hardware-Software co-design; Particionamento hardware-software.Grande área: Ciências Exatas e da TerraSetores de atividade: Industria Eletro-Eletrônica.
Formação complementar
2000 - 2001
Extensão universitária em Ciencia da Computacao. , United Nations University International Institute For Software Technology, UNU/IIST, Macau.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodos Formais/Especialidade: Metodos Formais Aplicado Ao Projeto de Hardware.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodos Formais/Especialidade: Metodos Formais Aplicado à Hardware Software Co Design.
Organização de eventos
Iyoda, Juliano ; Moura, Leonardo . Simpósio Brasileiro de Métodos Formais. 2013. (Congresso).
Participação em eventos
Brasilian Symposium on Formal Methods (SBMF).Multi-Synchrony in MSC. 2008. (Simpósio).
Participação em bancas
IYODA, JULIANO MANABU; LIMA, LUCAS; Flávia Barros. Identificação de vulnerabilidades em dispositivos móveis a partir de sites especializados e vídeos na Web usando Web scraping e LLMs. 2025. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.
IYODA, JULIANO MANABU; Sidney Nogueira; Mota, Alexandre. Formalização da Análise de Safety Estendendo STPA com CSP: Metodologia e Estudos de Caso. 2024.
IYODA, JULIANO MANABU; NOGUEIRA, SIDNEY; Gustavo Carvalho. An Updated Theory for Communicating Sequential Processes in Coq. 2024. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.
IYODA, JULIANO MANABU; PEREIRA, M. M.; Marcel Oliveira. Geração automática de hardware concorrente verificado. 2022. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
IYODA, JULIANO MANABU; Genaina Rodrigues;MIRANDA, BRENO ALEXANDRO FERREIRA DE. History-based Prioritization in the Context of Manual Testing: a Study in a Real Industrial Setting. 2022. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.
IYODA, J; ALVES, E. L. G.. Test Case Prioritization: A Case Study in the Evolution of a Real System. 2020. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.
IYODA, JULIANO MANABU; Marcel Oliveira; Gustavo Carvalho. Validating, Verifying and Testing Timed Data-Flow Reactive Systems in Coq from Controlled Natural-Language Requirements. 2020. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.
IYODA, JULIANO MANABULucas Lima; Flávia Barros. SPt: Uma nova abordagem para revisão automática de artefatos de Software e geração de planos de teste. 2019. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.
IYODA, JULIANO MANABU; LIMA, LUCAS; Alexandre Mota. HSP: A Hybrid Selection and Prioritisation of Regression Test Cases based on Information Retrieval and Code Coverage applied on an Industrial Case Study. 2019. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.
Sidney NogueiraIYODA, J. M.Lucas Lima. Automatic Test Case Generation for Concurrent Features from Natural Language Descriptions. 2019. Dissertação (Mestrado em Informática Aplicada) - Universidade Federal Rural de Pernambuco.
Andrade, Wilkerson;IYODA, JULIANO MANABU; Massoni, Tiago. GIRL: Uma Linguagem de Modelagem e Verificação de Requisitos Invariantes. 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.
Andrade, Wilkerson; Mota, Alexandre;IYODA, JULIANO MANABU. Teste de Gestos: Uma Análise da Rotação Retrato e Paisagem. 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.
Alexandre Mota;Lucas LimaIYODA, J. M.. FREVoz - Um Framework para Automação de Testes de Voz. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.
VASCONCELOS, A. M. L.;Sidney NogueiraIYODA, J. FREVO ? Um Framework e uma Ferramenta para Automação de Testes. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.
Augusto Sampaio; Farias, Adalberto;IYODA, J. MODEL CHECKING OF REQUIREMENTS WRITTEN IN CONTROLLED NATURAL LANGUAGE. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.
IYODA, J; Farias, Adalberto; Márcio Cornélio. Transformando Modelos SCADE em Especificações SCR. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.
IYODA, JEduardo AranhaAugusto Sampaio. Simulation of Hybrid Systems from Natural Language Requirements. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.
Alexandre Mota;Sidney NogueiraIYODA, J. FINDOS - Uma Ferramenta para Identificação Automática de Unidades de Rastreamento. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.
Márcio Cornélio;Lucas LimaIYODA, J. AR(m)obo Test: um Braço Robótico para Suporte à Testes Automático de Retrato e Paisagem. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.
IYODA, J; MENEZES, L. C. S.; Alexandre Mota. Probabilistic Analysis Applied to Robots. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.
Iyoda, Juliano; Oliveira, Cesar; Andrade, Emerson. Avaliação de Performabilidade da Manufatura do Café. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
Albuquerque, Gabriel; Tavares, Eduardo;Iyoda, Juliano. Performabilidade de Modais de Transportes em Logísticas de Suprimentos: Um Estudo baseado na Indústria do Café. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
Iyoda, Juliano; Amorim, Ricardo; Soares, Sérgio. Análise da Qualidade de Experimentos Controlados no Contexto da Engenharia de Software Empírica. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
IYODA, J; Pisa, Ivan; Novaes, Magdala. Qualis-RES: Modelo de Avaliação Especialista para Sistemas de Registro Eletrônico de Saúde. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.
Iyoda, Juliano; Farias, Adalberto; Mota, Alexandre. Gerando Modelos SCADE a partir de Especificações Descritas em SCR. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
Alexandre Mota;Rohit GheyiIyoda, Juliano. Behavioural Preservation in Fault Tolerant Patterns. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.
Iyoda, Juliano; MEIRA, S. R. L.; CYSNEIROS FILHO, G. A. A.. Práticas para a Especificação de Arquiteturas de Software no Contexto de Máquinas Sociais para Web 3.0. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.
Iyoda, Juliano; COELHO, R. S.;Marcelo d'Amorim. Fault Localization Using Dynamic Slicing and Change Impact Analysis. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.
Iyoda, Juliano; Cristine Gusmão; VASCONCELOS, A. M. L.. Um Processo para Priorização de Casos de Teste de Regressão. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.
Alexandre Mota; MENEZES, L. C. S.;Iyoda, Juliano. Extração Automática de Modelos CSP a Partir de Casos de Uso. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.
Iyoda, JulianoEduardo Aranha; Flávia Barros. Seleção de Casos de Teste Baseada em Similaridade de Texto e Cobertura de Requisitos. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.
Augusto Sampaio; MACHADO, P. D. L.;Iyoda, Juliano. Recommender Systems for Manual Testing. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.
MACHADO, P. D. L.; CARTAXO, E. G.; RAMALHO, F. S.;Iyoda, Juliano. Análise Comparativa de Técnicas de Priorização Geral de Casos de Teste no Contexto do Teste Baseado em Especificaçãoq. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.
Iyoda, JulianoEduardo Aranha; ALBUQUERQUE, J. O.. Simulação de Processos na Avaliação de Tecnologias de Software. 2011. Dissertação (Mestrado em Engenharia de Software) - Centro de Estudos e Sistemas Avançados do Recife.
Alexandre Mota; Cristiano Ferraz;Iyoda, Juliano. Verificando a corretude de geradores automáticos de código. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.
Cristine Gusmão; Sérgio Soares;Iyoda, Juliano. Avaliação de Impacto de Programação Orientada a Aspectos sob Arquiteturas de Software em Camadas. 2010. Dissertação (Mestrado em Engenharia da Computação) - Universidade de Pernambuco.
Gheyi, Rohit; VASCONCELOS, A. M. L.;Iyoda, Juliano. Test Case Selector: Uma Ferramenta para Seleção de Testes. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.
Iyoda, Juliano; VASCONCELOS, A. M. L.; Cristine Gusmão. Proposta de Processo para Testes Exploratórios Aderente ao TMMI Nível 2. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.
Iyoda, Juliano; MACHADO, P. D. L.; FIGUEIREDO, J. C. A.. Uma Avaliação e Investigação Experimental de Técnicas de Re-Teste Seletivo para Teste de Regressão Baseado em Especificação. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.
Alexandre Mota;Iyoda, Juliano; DROGUETT, E. A. L.. Systematic Model-Based Safety Assessment via Probabilistic Model Checking. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
IYODA, J. M.; Alexandre Mota; Márcio Cornélio. A Black-box Testing Technique for the Detection of Crashes Based on Automated Test Scenarios. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.
Renato Corrêa; Flávia Barros;Iyoda, Juliano. Class-Test: Classificação Automática de Testes para Auxílio à Criação de Suítes de Teste. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.
Iyoda, Juliano; Renato Corrêa; Adriano Lorena. Busca meta-Heurística para Resolução de CSP em Teste de Software. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.
Mota, Alexandre;Breno MirandaIYODA, JULIANO MANABU; Simone Souza; ARANHA, E. H. S.. Sound Test Case Generation for Concurrent Features Combining Test Cases for Individual Features. 2024. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
IYODA, JULIANO MANABU; Ana Cristiana Melo; Marcel Oliveira; Mota, Alexandre; Márcio Cornélio. Safe and Constructive Design with UML Components. 2022. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
IYODA, JULIANO MANABU; Leopoldo Motta Teixeira;MIRANDA, BRENO ALEXANDRO FERREIRA DE; Massoni, Tiago; DELAMARO, M. E.. A Formal Approach to Test Automation based on Requirements, Domain Model, and Test Cases written in Natural Language. 2022. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
SANTOS, A. L. M.;IYODA, JULIANO MANABU; Leopoldo Motta Teixeira; CARTAXO, B. F. S.; ARANHA, E. H. S.. PRIORITTVS: Um processo que se destina a apoiar os pesquisadores a priorizar ameças à validade e suas ações de mitigação ao planejar experimentos da área de Engenharia de Software. 2020. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
VASCONCELOS, A. M. L.;IYODA, JULIANO MANABU; ZINADER, J. P. S.; SCHMITZ, C. A. A.; SAVARIS, A.. Modelo de Referência para Plataformas de Telessaúde. 2019. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Pernambuco.
SAMPAIO, A. C. A.; Paulo Maciel; Enrique Droguett; Genaina Rodrigues;IYODA, J. M.. An Algebra of Temporal Faults. 2017. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
Paulo Borba; Márcio Cornélio; SIMAO, A. S.; Ana Cristiana Melo;IYODA, J. NAT2TEST: Generating Test Cases from Natural Language Requirements based on CSP. 2016. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
IYODA, J; Adriano Lorena; Alexandre Mota; Pozo, Aurora; Anne Canuto. Seleção Multiobjetivo de Casos de Teste Utilizando Técnicas de Busca Híbridas. 2016. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
Moreira, Anamaria; Figueiredo, Jorge; Andrade, Wilkerson;Iyoda, Juliano. Similarity-Based Test Suite Reduction in the Context of Model-Based Testing. 2015. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.
Castor, Fernando; Valente, Marco; Borba, Paulo;Rohit GheyiIyoda, Juliano. Addressing High Dimensionality and Lack of Feature Models in Testing Software Product Lines. 2015. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
Castor, Fernando; Almeida, Eduardo; Alves, Vander;Augusto SampaioIyoda, Juliano. Safe Evolution of Product Lines and Product Lines and Product Populations. 2014. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
Paulo Borba; SIMAO, A. S.; MACHADO, P. D. L.;Iyoda, Juliano; ROSA, N. S.. Test Generation and Compositional Conformance Verification Input-Output CSP Models. 2012. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
Paulo Borba; Ana Cristina Melo; DEHARBE, D. B. P.; Márcio Cornélio;Iyoda, Juliano. Systematic Development of Trustworthy Component-based Systems. 2011. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
Marcelo d'Amorim; Marco Túlio Valente; Sérgio Soares; Uirá Kulesza;Iyoda, Juliano. Specifying Design Rules in Aspect-Oriented Systems. 2010. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
Augusto Sampaio; Paulo Borba; Cristiano Ferraz; Álvaro Moreira;Iyoda, Juliano. Evaluation of GUI Testing Techniques for System Crashing: From Real to Model-Based Controlled Experiments. 2010. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
Ricardo Massa; Márcio Cornélio; Jones Albuquerque; Roberto Barros;Iyoda, Juliano. Abstraction of Infinite and Communicating CSPZ Processes. 2009. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
Augusto Sampaio; Alexandre Mota; Marcel Oliveira; Ana Cristina Melo;IYODA, J. M.. A Model-driven Approach to Formal Refactoring. 2008. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
IYODA, JULIANO MANABU; SANTIAGO JUNIOR, V. A.; TAVARES, E. A. G.. Formal Round-Trip Engineering for Control Systems. 2020. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
Borba, Paulo; Machado, Patricia;IYODA, JULIANO MANABU. Delta Exporatory Testing: Uma Abordagem para Realização de Testes Exploratórios Android baseados nas Regiões Internas de Código Modificado. 2019. Exame de qualificação (Doutorando em Doutorado em Ciência da Computação) - Universidade Federal de Pernambuco.
IYODA, JRohit Gheyi; Márcio Cornélio. Validating Java Transformations using Alloy. 2016. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
VASCONCELOS, A. M. L.; ZINADER, J. P. S.;IYODA, J. Modelo de Qualidade para Sistemas de Registro Eletrônico de Saúde. 2016. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
Machado, Patricia; Cartaxo, Emanuela; Moreira, Anamaria; Andrade, Wilkerson; Massoni, Tiago;Iyoda, Juliano. Estratégias para Priorização de Casos de Teste Gerados através de Abordagens de Teste Baseado em Modelos. 2014. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.
Iyoda, Juliano; Lorena, Adriano; Pozo, Aurora. Técnicas Multiobjetivo baseada em Busca para Seleção de Casos de Teste. 2014. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
Borba, Paulo; Castor, Fernando; Garcia, Alessandro;Iyoda, Juliano. Addressing High Dimensionality and Lack of Feature Models in Testing Software Product Lines. 2014. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
Machado, Patricia; Moreira, Anamaria; Cartaxo, Emanuela; Figueiredo, Jorge;Iyoda, Juliano; Andrade, Wilkerson. Investigating on Test Suite Reduction Strategies in the Context of Model-Based Testing. 2013. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.
Paulo Borba; Ana Cristiana Melo;Iyoda, Juliano. NAT2TESTcsp: a Formal Strategy for Generating Test Cases from Natural Language Requirements based on CSP. 2013. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
Iyoda, Juliano; JERON, T.; SIMAO, A. S.. Test Generation and Compositional Conformance Verification with Input-Outpout CSP Models. 2010. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
Marcelo d'Amorim; Marco Túlio Valente;Iyoda, Juliano. Specifying Design Rules in Aspect-Oriented Systems. 2009. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
Paulo Borba; Cristiano Ferraz;Iyoda, Juliano. A Formal Framework of GUI Exploration for Effective System Crashing. 2009. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
Ana Cristiana Melo; Paulo Borba;Iyoda, Juliano. Systematic Development of Trustworthy Component-Based Systems. 2009. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
Flávia Barros;Iyoda, Juliano. Select-TTC: Test Case selection based on Textual Similarity for Regression TC suites reduction. 2020. Monografia (Aperfeiçoamento/Especialização em Pós-Graduação Lato Sensu (Especialização) de Residência em Software) - Universidade Federal de Pernambuco.
Flávia Barros;Iyoda, Juliano. Extraction/Identification of Motorola product features. 2020. Monografia (Aperfeiçoamento/Especialização em Pós-Graduação Lato Sensu (Especialização) de Residência em Software) - Universidade Federal de Pernambuco.
Flávia Barros;Iyoda, Juliano. TC-auto: A tool to help Test Case automation. 2020. Monografia (Aperfeiçoamento/Especialização em Pós-Graduação Lato Sensu (Especialização) de Residência em Software) - Universidade Federal de Pernambuco.
Flávia Barros;Iyoda, Juliano. HotPath: Improving Code Coverage in Exploratory Testing. 2020. Monografia (Aperfeiçoamento/Especialização em Pós-Graduação Lato Sensu (Especialização) de Residência em Software) - Universidade Federal de Pernambuco.
Flávia Barros;Iyoda, Juliano. FORCE_LIB_ANALYZER: A Tool for Automated Regression Testing of a Page Object Library. 2020. Monografia (Aperfeiçoamento/Especialização em Pós-Graduação Lato Sensu (Especialização) de Residência em Software) - Universidade Federal de Pernambuco.
IYODA, JULIANO MANABU; Leopoldo Motta Teixeira. Automatic test for text bounds issue detection. 2018. Monografia (Aperfeiçoamento/Especialização em Pós-Graduação Lato Sensu (Especialização) de Residência em Software) - Universidade Federal de Pernambuco.
IYODA, JULIANO MANABU; SARMENTO, A. A. M.. REALIDADE AUMENTADA E VIRTUAL: UMA NOVA ERA PARA TREINAMENTOS CORPORATIVOS. 2025. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
IYODA, JULIANO MANABU; Márcio Cornélio. Geração de Código C para Arduino a partir de Modelos em RoboSim. 2022. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
IYODA, JULIANO MANABU; Gustavo Carvalho. Formalização em Coq de execução de testes para ioco. 2022. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
IYODA, JULIANO MANABU; VASCONCELOS, A. M. L.. Definição de um conjunto de diretrizes para implementar o TMMi no contexto de desenvolvimento ágil. 2022. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
IYODA, JULIANO MANABUBreno Miranda. l10n-training: uma ferramenta para o treinamento de testadores no contexto de testes manuais de localização. 2022. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
VASCONCELOS, A. M. L.;Iyoda, Juliano. Heurística de Testes Exploratórios: Limitações de Visão e Acessibilidade. 2021. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
Iyoda, Juliano; VASCONCELOS, A. M. L.. Testes Exploratórios em Metodologias Ágeis: Um Estudo de Caso em uma Empresa de Desenvolvimento de Software. 2019. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
Iyoda, Juliano; Leopoldo Motta Teixeira. Análise Comparativa das Abordagens para Teste de Interface Gráfica em Dispositivos Móveis. 2019. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
Iyoda, Juliano; VASCONCELOS, A. M. L.. Análise de Processo de Testes de Software: Estudo de Caso em um Organização. 2019. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
Adriano Sarmento;IYODA, JULIANO MANABU. Estudo Exploratório sobre Ferramentas de Testes para Aplicações Android. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
IYODA, JULIANO MANABU; Leopoldo Motta Teixeira. AndroidDriller: Uma Ferramenta de Mineração de Repositórios Android. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
Marcelo d'AmorimIyoda, Juliano. Desenho e implementação de um dynamic forward slicer utilizando BCEL. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
Iyoda, Juliano; Fred Freitas; Gilson O. dos Santos. Concurso Público para Professor Assistente da UFAL. 2017. Universidade Federal de Alagoas.
Eduardo Tavares; Everson Feitosa;Iyoda, Juliano. Membro da Banca Examinadora do Concurso para Professor Assistente para Unidade Acadêmica de Garanhuns / UFRPE. 2010. Universidade Federal Rural de Pernambuco.
Orientou
Teste de Rotação Retrato e Paisagem; Início: 2021; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco; (Coorientador);
Início: 2019; Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco;
TESTE DE GESTOS: UMA ANÁLISE DA ROTAÇÃO RETRATO E PAISAGEM; 2018; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Juliano Manabu Iyoda;
FREVO ? Um Framework e uma Ferramenta para Automação de Testes; 2016; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco, ; Orientador: Juliano Manabu Iyoda;
MODEL CHECKING OF REQUIREMENTS WRITTEN IN CONTROLLED NATURAL LANGUAGE; 2016; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco, ; Orientador: Juliano Manabu Iyoda;
AR(m)obo Test: um Braço Robótico para Suporte à Testes Automáticos de Retrato e Paisagem; 2016; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco, ; Orientador: Juliano Manabu Iyoda;
FINDOS - Uma Ferramanta para Identificação Automática de Unidades de Rastreamento; 2016; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco, ; Orientador: Juliano Manabu Iyoda;
Teste Automático dos Softwares do Portal do Software Público Braileiro; 2015; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Juliano Manabu Iyoda;
Teste de Sistemas Acionados por Voz; 2014; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Juliano Manabu Iyoda;
Behavioural Preservation in Fault Tolerant Patterns; 2012; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Juliano Manabu Iyoda;
Extração Automática de Modelo CSP a Partir de Casos de Uso; 2011; Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Juliano Manabu Iyoda;
Recommender Systems for Manual Testing; 2011; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco, ; Orientador: Juliano Manabu Iyoda;
Test Case Prioritization for Black-Box Environments; 2009; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco, ; Coorientador: Juliano Manabu Iyoda;
Test Case Selection for a Black-box environment; 2009; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco, ; Orientador: Juliano Manabu Iyoda;
Multi-Sincronização em Message Sequence Charts; 2008; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Coorientador: Juliano Manabu Iyoda;
FORMALISATION OF SYSML DIAGRAMS AIMING TO PERFORM ANALYSIS OF SYSTEMS; 2016; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Juliano Manabu Iyoda;
Síntese de Software; 2015; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Juliano Manabu Iyoda;
2018; Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Juliano Manabu Iyoda;
HotPath: Improving Code Coverage in Exploratory Testing; 2020; Monografia; (Aperfeiçoamento/Especialização em Pós-Graduação Lato Sensu (Especialização) de Residência em Software) - Universidade Federal de Pernambuco; Orientador: Juliano Manabu Iyoda;
FORCE_LIB_ANALYZER: A Tool for Automated Regression Testing of a Page Object Library; 2020; Monografia; (Aperfeiçoamento/Especialização em Pós-Graduação Lato Sensu (Especialização) de Residência em Software) - Universidade Federal de Pernambuco; Orientador: Juliano Manabu Iyoda;
Automatic Test Input Generator; 2019; Monografia; (Aperfeiçoamento/Especialização em I Curso de Pós-Graduação Lato Sensu (Especialização) de Residência em Softw) - Universidade Federal de Pernambuco, Fundação de Apoio ao Desenvolvimento da UFPE; Orientador: Juliano Manabu Iyoda;
CTRL+Z: Undoing Exploratory Test Steps; 2019; Monografia; (Aperfeiçoamento/Especialização em I Curso de Pós-Graduação Lato Sensu (Especialização) de Residência em Softw) - Universidade Federal de Pernambuco, Fundação de Apoio ao Desenvolvimento da UFPE; Orientador: Juliano Manabu Iyoda;
The Defect Clustering and the Pesticide Paradox Principles as Bug Predictors; 2019; Monografia; (Aperfeiçoamento/Especialização em I Curso de Pós-Graduação Lato Sensu (Especialização) de Residência em Softw) - Universidade Federal de Pernambuco, Fundação de Apoio ao Desenvolvimento da UFPE; Orientador: Juliano Manabu Iyoda;
Uma Extensão do Behave Step Finder; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Juliano Manabu Iyoda;
A Comparative Study of Code Synthesis Algorithms; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Juliano Manabu Iyoda;
Produções bibliográficas
-
CORREIA, ALEXANDRE R. S. ; IYODA, JULIANO M. ; MOTA, ALEXANDRE C. . The effect of distance metrics in a general purpose synthesizer of imperative programs: A second empirical study using enlarged search spaces. SOFTWARE-PRACTICE & EXPERIENCE , v. 2023, p. 1-13, 2023.
-
CORREIA, ALEXANDRE ; Iyoda, Juliano ; Mota, Alexandre . A family of multi-concept program synthesisers in alloy¿. SCIENCE OF COMPUTER PROGRAMMING , v. 201, p. 102536, 2021.
-
CORREIA, ALEXANDRE R. S. ; IYODA, JULIANO M. ; MOTA, ALEXANDRE C. . The effect of distance metrics in a general purpose synthesizer: An empirical study on integer domain imperative programs. SOFTWARE-PRACTICE & EXPERIENCE , v. 52, p. 1294-1304, 2021.
-
NOGUEIRA, SIDNEY ; ARAUJO, HUGO ; ARAUJO, RENATA ; Iyoda, Juliano ; Sampaio, Augusto . Test case generation, selection and coverage from natural language. SCIENCE OF COMPUTER PROGRAMMING , v. 181, p. 84-110, 2019.
-
CORREIA, ALEXANDRE ; Iyoda, Juliano ; Mota, Alexandre . Combining model finder and genetic programming into a general purpose automatic program synthesizer. INFORMATION PROCESSING LETTERS , v. 154, p. 105866, 2019.
-
Lima, Lucas ; MIYAZAWA, ALVARO ; Cavalcanti, Ana ; CORN?LIO, M?RCIO ; Iyoda, Juliano ; Sampaio, Augusto ; HAINS, RALPH ; LARKHAM, ADRIAN ; LEWIS, VAUGHAN . An integrated semantics for reasoning about SysML design models using refinement. Software & Systems Modeling , v. 16, p. 875-902, 2017.
-
Mota, Alexandre ; Iyoda, Juliano ; MARANHÃO, HEITOR . Program Synthesis by Model Finding. INFORMATION PROCESSING LETTERS , v. 116, p. 701-705, 2016.
-
CORREIA, ALEXANDRE R.S. ; IYODA, JULIANO M. ; SILVA, CARLA T.L.L . From Requirements to Ready to Run Software: A Brief Thought on How to Mechanize The Software Development Process. International Journal in Foundations of Computer Science & Technology , v. 4, p. 17-26, 2014.
-
DIAS, DIEGO ; Iyoda, Juliano . Compositionality and correctness of fault tolerant patterns in HOL4. Science of Computer Programming (Print) , v. 92, p. 105-128, 2013.
-
Perna, Juan ; Woodcock, Jim ; Sampaio, Augusto ; Iyoda, Juliano . Correct hardware synthesis. Acta Informatica , v. 48, p. 363-396, 2011.
-
Takaki, Mitsuo ; Cavalcanti, Diego ; Gheyi, Rohit ; Iyoda, Juliano ; d¿Amorim, Marcelo ; Prudêncio, Ricardo B. C. . Randomized constraint solvers: a comparative study. Innovations in Systems and Software Engineering (Print) , v. --, p. -----, 2010.
-
Falcão, Flávia ; IYODA, J. M. ; Iyoda, Juliano ; SAMPAIO, A. C. A. . Multiple Synchrony in MSC. Electronic Notes in Theoretical Computer Science , v. 240, p. 149-166, 2009.
-
Konrad Slind ; Scott Owens ; IYODA, J. M. ; Mike Gordon . Proof producing synthesis of arithmetic and cryptographic hardware. Formal Aspects of Computing , v. 19, p. 343-362, 2007.
-
Breno Miranda ; Iyoda, Juliano . Recommender Systems for Manual Testing: An Approach to Increase the Productivity of Test Teams in Black-Box Environments. 1. ed. , 2012.
-
Sampaio, Augusto ; Iyoda, Juliano . Engenharia de Sistemas de Sistemas. Computação Brasil, http://www.sbc.org.br/, 03 mar. 2015.
-
FREITAS, DAVI ; MIRANDA, BRENO ; Iyoda, Juliano . Robotic-supported Data Loss Detection in Android Applications. In: Simpósio Brasileiro de Engenharia de Software, 2024, Brasil. Anais do XXXVIII Simpósio Brasileiro de Engenharia de Software (SBES 2024), 2024. p. 1.
-
Luiz Sérgio P. da Silva ; IYODA, J ; VASCONCELOS, A. M. L. ; SAMPAIO, S. C. B. ; MOREIRA, R. T. . Análise Qualitativa da Aderência entre o Processo de Contratação de Soluções de TIC da IN/SGD/ME 01/2019 e o Modelo CMMI Supplier Management (SPM) Nível 2. In: 18th International Conference on Information Systems and Technology Management (CONTECSI), 2021, São Paulo. 18th International Conference on Information Systems and Technology Management (CONTECSI), 2021.
-
Luiz Sérgio P. da Silva ; Iyoda, Juliano ; VASCONCELOS, A. M. L. ; SAMPAIO, S. C. B. ; MOREIRA, R. T. . Análise das Mudanças no Novo Processo de Contratação de Soluções de TICs da Instrução Normativa IN SGD/ME 01/2019. In: International Conference on Information Systems and Technology Management (CONTECSI), 2020, São Paulo - SP. 17th CONTECSI - INTERNATIONAL CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGY MANAGEMENT VIRTUAL, 2020.
-
Sérgio Barza ; Gustavo Carvalho ; Iyoda, Juliano ; Augusto Sampaio ; Alexandre Mota ; Flávia Barros . Model Checking Requirements. In: Simpósio Brasileiro de Métodos Formais, 2016, Natal - RN. Formal Methods: Foundations and Applications, 2016. p. 217-234.
-
Lucas Lima ; Iyoda, Juliano ; Augusto Sampaio . Refinement Verification of Sequence Diagrams Using CSP. In: Simpósio Brasileiro de Métodos Formais, 2016, Natal - RN. Formal Methods: Foundations and Applications, 2016. p. 235-252.
-
Sidney Nogueira ; Hugo L. S. Araujo ; Renata B. S. Araujo ; Iyoda, Juliano ; Augusto Sampaio . Automatic generation of test cases and test purposes from natural language. In: Simpósio Brasileiro de Métodos Formais, 2015, Belo Horizonte, MG. Anais do XVIII Simpósio Brasileiro de Métodos Formais, 2015.
-
MIRANDA, BRENO ALEXANDRO FERREIRA DE ; ARANHA, EDUARDO HENRIQUE DA SILVA ; IYODA, JULIANO MANABU . Recommender systems for manual testing. In: the ACMIEEE international symposium, 2012, Lund. Proceedings of the ACM-IEEE international symposium on Empirical software engineering and measurement - ESEM '12. New York: ACM Press.
-
DIAS, D. M. ; Iyoda, Juliano . Behavioural Preservation in Fault Tolerant Patterns. In: Simpósio Brasileiro de Métodos Formais (SBMF), 2011, São Paulo. Anais do Simpósio Brasileiro de Métodos Formais (Lecture Notes in Computer Science), 2011. v. 7021. p. 156-171.
-
Breno Miranda ; Iyoda, Juliano ; MEIRA, S. R. L. . Test Case Recommender: um sistema de recomendação para alocação automática de testes baseada no perfil do testador. In: IV Brazilian Workshop on Systematic and Automated Software Testing (SAST), 2010, Natal-RN. Anais do IV Brazilian Workshop on Systematic and Automated Software Testing (SAST), 2010.
-
Mitsuo Takaki ; Diego Cavalcanti ; Rohit Gheyi ; IYODA, J. M. ; Marcelo d'Amorim ; Ricardo Prudêncio . Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing. In: First NASA Formal Methods Symposium (NFM), 2009, Moffet Field, CA, USA. Proceedings of the First NASA Formal Methods Symposium (NFM), 2009.
-
Juliana Mafra ; Breno Miranda ; IYODA, J ; Augusto Sampaio . Test Case Selector: Uma Ferramenta para Seleção de Testes. In: Brazilian Workshop on Systematic and Automated Software Testing, 2009, Gramado-RS. Anais do Brazilian Workshop on Systematic and Automated Software Testing, 2009.
-
Lucas Lima ; Eduardo Aranha ; IYODA, J ; Augusto Sampaio . Test Case Prioritization Based on Data Reuse: An Experimental Study. In: Empirical Software Engineering and Measurement (ESEM), 2009, Lake Buena Vista-FL. Proceedings of the 3rd Empirical Software Engineering and Measurement (ESEM), 2009.
-
Falcão, Flávia ; Iyoda, Juliano ; Sampaio, Augusto . Multiple Synchrony in MSC. In: Simpósio Brasileiro de Métodos Formais (SBMF), 2009, Salvador - BA. Electronic Notes in Theoretical Computer Science. v. 240. p. 149-166.
-
Lucas Lima ; IYODA, J. M. ; Augusto Sampaio . A Permutation Technique for Test Case Prioritization in a Black-box Environment. In: Brazilian Workshop on Systematic and Automated Software Testing, 2008, Campinas - SP. Brazilian Workshop on Systematic and Automated Software Testing, 2008.
-
GORDON, M ; IYODA, J ; OWENS, S ; SLIND, K . Automatic Formal Synthesis of Hardware from Higher Order Logic. In: Fifth International Workshop on Automated Verification of Critical Systems, 2006, Coventry - Inglaterra. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier Science Publishers B. V., 2005. v. 145. p. 27-43.
-
IYODA, J. M. ; He Jifeng . Towards an Algebraic Synthesis of Verilog. In: First International Conference on Engineering of Reconfigurable Systems and Algorithms, 2001, Las Vegas. Engineering of Reconfigurable Systems and Algorithms (ERSA'01), 2001.
-
IYODA, J. M. ; Augusto Sampaio ; Leila Silva . ParTS: A Partitioning Transformation System. In: World Congress on Formal Methods (FM'99), 1999, Toulouse. FM'99 Formal Methods, 1999. v. 1709. p. 1400-1419.
-
Leila Silva ; Augusto Sampaio ; Edna Barros ; IYODA, J. M. . An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment. In: Algebraic Methodology and Software Technology, 1999, Manaus-AM, Brazil. 7th Algebraic Methodology and Software Technology. Berlin: Springer Verlag, 1998. v. 1548. p. 308-324.
-
IYODA, J. M. ; Augusto Sampaio ; Leila Silva . ParTS: Partitioning Transformation System. In: Simpósio Brasileiro de Engenharia de Software (SBES), 1998, Maringá - PR. 12o Simpósio Brasileiro de Engenharia de Software - Caderno de Ferramentas, 1998. p. 67-73.
-
FREITAS, DAVI ; MIRANDA, BRENO ; Iyoda, Juliano . RFNIT: Robotic Framework for Non-invasive Testing. In: FSE '24: 32nd ACM International Conference on the Foundations of Software Engineering, 2024, Porto de Galinhas Brazil. Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering. New York: ACM, 2024. p. 667.
-
Lom Messian Hillah ; Rodrigo Assad ; Antonia Bertolino ; Marcio Delamaro ; Fabio De Rosa ; Vinicius Garcia ; Francesca Lonetti ; Ariele-Paolo Maesano ; Libero Maesano ; Eda Marchetti ; Breno Miranda ; Auri Vincenzi ; IYODA, J . Towards Automated Deployment of Self-adaptive Applications on Hybrid Clouds. In: 15th International Conference on Software Engineering and Formal Methods, 2017, Trento, Itália. Software Engineering and Formal Methods, 2017. v. 10469. p. 388-393.
-
Lucas Lima ; Iyoda, Juliano ; Augusto Sampaio . A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis. In: International Conference on ModelDriven Engineering and Software Development, 2014, Lisbon. Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, 2014. p. 317.
-
Mike Gordon ; IYODA, J. M. ; Scott Owens ; Konrad Slind . A Proof-Producing Hardware Compiler for a Subset of Higher Order Logic. In: 18th International Conference on Theorem Proving in Higher Order Logics, TPHOLs2005, 2005, Oxford. Emerging Trends - Proceedings of th 18th International Conference on Theorem Proving in Higher Order Logics: TPHOLs 2005, 2005. p. 59-75.
-
Konrad Slind ; Scott Owens ; Mike Gordon ; IYODA, J. M. . Proof Producing Synthesis of Arithmetic and Cryptographic Hardware. In: Designing Correct Circuits 2006, 2006, Vienna. Design Correct Circuits 2006, 2006.
-
Davi Freitas ; Breno Miranda ; Iyoda, Juliano . RFNIT: Robotic Framework for Non-invasive Testing. 2024. (Apresentação de Trabalho/Outra).
-
IYODA, J. M. . Translating HOL Functions to Hardware 2006 (Tese de Doutorado).
-
IYODA, J. M. ; He Jifeng . Towards an Algebraic Synthesis of Verilog. Macau 2001 (Relatório Técnico).
-
IYODA, J. M. ; He Jifeng . A Prolog Prototype for the Synthesis of Verilog. Macau 2001 (Relatório Técnico).
-
IYODA, J. M. . ParTS: Uma Ferramenta de Suporte ao Particionamento Hardware/Software. Recife 2000 (Tese de Mestrado).
Outras produções
Iyoda, Juliano . Coordenador do Convênio de Cooperação com a Morpho E-Docs. 2011.
IYODA, J. M. . ParTS: A Partitioning Transformation System. 2000.
IYODA, JULIANO MANABU ; Mota, Alexandre . Curso de Pós-Graduação Lato Sensu (Especialização) de Residência em Software. 2023. (Curso de curta duração ministrado/Especialização).
IYODA, JULIANO MANABU ; Mota, Alexandre . Curso de Pós-Graduação Lato Sensu (Especialização) de Residência em Software. 2022. (Curso de curta duração ministrado/Especialização).
IYODA, JULIANO MANABU ; Mota, Alexandre . Curso de Pós-Graduação Lato Sensu (Especialização) de Residência em Software. 2021. (Curso de curta duração ministrado/Especialização).
IYODA, JULIANO MANABU ; Mota, Alexandre . Curso de Pós-Graduação Lato Sensu (Especialização) de Residência em Software. 2020. (Curso de curta duração ministrado/Especialização).
Rohit Gheyi ; Iyoda, Juliano . Science of Computer Programming. 2015. (Editoração/Periódico).
Iyoda, Juliano ; Leonardo de Moura . Formal Methods: Foundations and Applications 16th Brazilian Symposium on Formal Methdos SBMF 2013. 2013. (Editoração/Livro).
Projetos de pesquisa
-
2015 - Atual
RoboTIC@ ? Information and Communication Technology for Robotics and Applications, Projeto certificado pelo(a) coordenador(a) Augusto Cezar Alves Sampaio em 09/04/2021., Descrição: Este projeto é parte do projeto de Engenharia de Software para Cidades Inteligentes (ESCIn), PRONEX-FACEPE-APQ 0388-1.03/14, do Instituto Nacional de Ciência e Tecnologia para Engenharia de Software (INES). O principal objetivo é criar uma metodologia sistemática e rigorosa para especificar, verificar, projetar e implementar aplicações robóticas.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Juliano Manabu Iyoda - Integrante / Augusto César Alves Sampaio - Coordenador / Marcel Oliveira - Integrante / Márcio Lopes Cornélio - Integrante / Sidney Nogueira - Integrante / Alexandre Cabral Mota - Integrante / Gustavo Henrique Porto de Carvalho - Integrante.
-
2015 - Atual
Testes de Software e Curso de Pós-Graduação Lato Sensu (Especialização) de Residência em Software, Descrição: Este projeto atua em três dimensões complementares: (i) Capacitação; (ii) Inovação e Pesquisa; e (iii) Automação e Execução de testes de software. Na capacitação, o curso forma os alunos em Engenharia de Software com ênfase em Teste de Software. O modelo de residência adotado, inspirado na Residência Médica, provê ao aluno tanto capacitação teórica em sala de aula (em um turno) quanto experiência de trabalho em atividades práticas de automação e execução de testes de software (no outro turno). Na segunda dimensão, desafios de inovação e pesquisa na área de Teste de Software são solucionados tanto pela equipe fixa do projeto quanto pelos alunos em suas monografias. E, em adição às duas primeiras dimensões, as atividades práticas de automação e execução de testes de software completam a formação teórica dos alunos. Tal ambiente prático tem dois papéis: é onde os alunos ficam imersos durante um turno do dia vivenciando experiências de trabalho, e é o celeiro que tanto gera desafios de inovação e pesquisa quanto serve como laboratório onde tais soluções são testadas. Estas três dimensões constituem um ambiente integrado em atividades simultâneas de capacitação teórica e prática, inovação, pesquisa e desenvolvimento.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Juliano Manabu Iyoda - Coordenador / Alexandre Cabral Mota - Integrante.
-
2010 - 2012
Verificação de Modelos Voltados para Requisitos de Sistemas Aviônicos, Descrição: Requisitos para sistemas aviônicos são descritos usualmente por dois artefatos: um documento de requisitos em linguagem natural e um modelo formal (tipicamente, um diagrama Simulink). Neste projeto, propomos dois objetivos complementares: a tradução de requisitos escritos em linguagem natural controlada (um subconjunto não-ambíguo de linguagem natural) para propriedades em lógica temporal; e a geração de propriedades em lógica temporal a partir de um diagrama Simulink. O primeiro objetivo permite verificarmos de forma 100% automática se um modelo (traduzido de Simulink) satisfaz uma propriedade (traduzida de linguagem natural controlada). O segundo objetivo oferece ao engenheiro projetista uma lista de propriedades que o diagrama Simulink por ele proposto satisfaz. Este feedback pode revelar falhas de projeto ainda na fase de requisitos. Este projeto conta com o apoio da Embraer ? Empresa Brasileira de Aeronáutica S.A.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) . , Integrantes: Juliano Manabu Iyoda - Coordenador / Augusto César Alves Sampaio - Integrante / Alexandre Cabral Mota - Integrante / Márcio Lopes Cornélio - Integrante / Flávia de Almeida Barros - Integrante / André Luís Ribeiro Didier - Integrante / Diego Machado Dias - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Histórico profissional
Endereço profissional
-
Universidade Federal de Pernambuco, Centro de Informática. , Centro de Informática, UFPE, Cidade Universitária, 50732-970 - Recife, PE - Brasil
Experiência profissional
2007 - 2007
Qualiti Assessoria e Consultoria S/AVínculo: Colaborador, Enquadramento Funcional: Consultor em Engenharia de Processos, Regime: Dedicação exclusiva.
2001 - 2002
Qualiti Assessoria e Consultoria S/AVínculo: Colaborador, Enquadramento Funcional: Engenheiro de Processos, Regime: Dedicação exclusiva.
Atividades
-
08/2001 - 08/2002
Conselhos, Comissões e Consultoria, .,Cargo ou função, Engenheiro de Processos.
2000 - 2001
United Nations University International Institute For Software TechnologyVínculo: Outro, Enquadramento Funcional: Outro (Fellow), Carga horária: 35, Regime: Dedicação exclusiva.
Outras informações:
Como fellow, desenvolvi um trabalho de pesquisa utilizando
métodos formais aplicado ao processo de síntese de hardware
sob orientação do Prof. He Jifeng (pesquisador senior).
Atividades
-
05/2000 - 07/2001
Pesquisa e desenvolvimento, United Nations University International Institute For Software Technology.,Linhas de pesquisa
2020 - Atual
Universidade Federal de PernambucoVínculo: Servidor Público, Enquadramento Funcional: Professor Associado
Outras informações:
Diretor de Lato Sensu da Pró-Reitoria de Pós-Graduação
2018 - Atual
Universidade Federal de PernambucoVínculo: Servidor Público, Enquadramento Funcional: Professor Associado, Regime: Dedicação exclusiva.
2009 - Atual
Universidade Federal de PernambucoVínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Regime: Dedicação exclusiva.
2007 - 2008
Universidade Federal de PernambucoVínculo: Bolsista recém-doutor, Enquadramento Funcional: Professor Visitante, Regime: Dedicação exclusiva.
1996 - 1997
Universidade Federal de PernambucoVínculo: Outro, Enquadramento Funcional: Outro (aluno de iniciação científica), Carga horária: 20, Regime: Dedicação exclusiva.
Atividades
-
03/1996 - 11/1997
Treinamentos ministrados , Centro de Ciências Exatas e da Natureza, Departamento de Informática.,Treinamentos ministrados, Iniciação científica
1994 - 1995
Net Informática LtdaVínculo: Outro, Enquadramento Funcional: Outro (estagiário), Carga horária: 12
Atividades
-
03/1994 - 10/1995
Estágios , Net Informática Ltda.,Estágio realizado, Programação em Clipper e SQL.
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Juliano Manabu Iyoda e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?