Prof. Dr. Sidney de Carvalho Nogueira, Professor Adjunto, Lattes
Professor e pesquisador da UFRPE. Doutor em Ciência da Computação pela UFPE. Pós-Doutorado pela Universidade de York. Sua principal linha de pesquisa tem sido a aplicação de métodos formais para verificação e teste de software. Atualmente também tem pesquisado sobre métodos e ferramentas voltados para robótica.
Contato: sidney [dot] nogueira [at] ufrpe [dot] br
Áreas de Interesse
Engenharia de Software, Teste de Software, Métodos Formais, Teste Baseado em Modelos, Geração Automática de Testes, Verificação de robôs
Disciplinas
-
Introdução à Computação
-
Introdução à Programação 1
-
Laboratório de Programação 1
-
Métodos Formais
-
Teste de Software
Projetos de Pesquisa
2017 - Atual
Desenvolvimento de um Arcabouço para Verificação de Refinamento de Modelos UML comportamentais
2015 - Atual
Verificação automática de robôs educacionais
2012 - 2015
Modelagem e Análise Composicional de Sistemas de Sistemas com Aplicações na Indústria Aeronáutica
2009 - 2011
Processo Integrado de Avaliação, Seleção e Geração Automática de Casos de Teste (Projeto de Pesquisa CIn-Motorola)
Publicações (selecionadas)
CAVALCANTI, A.; HIERONS, R. M.; NOGUEIRA, S. C.
Inputs and outputs in CSP: a model and a testing theory. ACM Transactions on Computational Logic, 2020.
LIMA, LUCAS ; TAVARES, AMAURY ; NOGUEIRA, SIDNEY C. . A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP. SCIENCE OF COMPUTER PROGRAMMING, 2020.
NOGUEIRA, S., ARAUJO, H., ARAUJO, R., IYODA, J., AND SAMPAIO, A. (2019). Test case generation, selection and coverage from natural language. Science of Computer Programming.
ARAUJO, RAFAEL PEREIRA DE ; MOTA, ALEXANDRE CABRAL ; NOGUEIRA, SIDNEY DE CARVALHO . Probabilistic Analysis Applied to Cleaning Robots. In: 2017 IEEE International Conference on Information Reuse and Integration (IRI), 2017, San Diego. 2017 IEEE International Conference on Information Reuse and Integration (IRI), 2017. p. 275.
CAVALCANTI, A. ; HIERONS, R. M. ; NOGUEIRA, S. C. ; SAMPAIO, A. C. A. . A Suspension-trace Semantics for CSP. In: 10th Symposium on Theoretical Aspects of Software Engineering, 2016, Shangai. Proceedings of the 10th Symposium on Theoretical Aspects of Software Engineering, 2016
SAMPAIO, AUGUSTO ; NOGUEIRA, SIDNEY ; MOTA, ALEXANDRE ; ISOBE, YOSHINAO . Sound and mechanised compositional verification of input-output conformance. Software Testing, Verification & Reliability, v. 24, p. 289-319, 2014.
NOGUEIRA, SIDNEY; SAMPAIO, AUGUSTO ; MOTA, ALEXANDRE . Test generation from state based use case models. Formal Aspects of Computing (Internet), v. 26, p. 441-490, 2014.
affiliate link trace | Nike Air Force 1'07 Essential blanche et or femme - Chaussures Baskets femme - Gov