ufrpe.br Sidney Nogueira | Departamento de Computação
 

Sidney Nogueira

 

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