A mechanized strategy for safe abstraction of CSP specifications A Damasceno, A Farias, A Mota Formal Methods: Foundations and Applications: 12th Brazilian Symposium on …, 2009 | 9 | 2009 |
Descrevendo o uso dos computadores nas escolas públicas da Paraíba AC Damasceno, M Lopes, R Andrade, S Nóbrega, I Almeida Revista Brasileira de Informática na Educação 24 (3), 47, 2016 | 6 | 2016 |
Uso dos computadores nas escolas públicas do Alto Sertão da Paraíba A Damasceno, A Diniz, M Lopes, R Albuquerque Anais do XX Workshop de Informática na Escola, 595-604, 2014 | 4 | 2014 |
Inclusao digital na cidade de Pombal A Damasceno, F Moreira, T Santos, C Alvino Workshop sobre Educaçao em Computaçao (WEI), 1689-1698, 2011 | 4 | 2011 |
Ensinando o pensamento computacional usando linguagens de programação no Alto Sertão da Paraíba F Torres, M Junior, R Dantas, L Mascena, A Damasceno Anais do Workshop de Informática na Escola 24 (1), 660-669, 2018 | 3 | 2018 |
Análise dos motivos para o desuso de recursos computacionais por professores de escolas públicas G Batista, A Damasceno Anais do XXV Workshop de Informática na Escola, 859-868, 2019 | 1 | 2019 |
Criação e avaliação de um objeto de aprendizagem para a pegada ecológica M Barreto, F Torres, G Silva, L Mascena, R Dantas, A Damasceno Anais do Workshop de Informática na Escola 25 (1), 1194-1198, 2019 | 1 | 2019 |
Testing real-time systems from compositional symbolic specifications AC Damasceno, PDL Machado, WL Andrade International Journal on Software Tools for Technology Transfer 19 (1), 53-71, 2017 | 1 | 2017 |
Symbolic test case generation of compositional real-time systems driven by interruptions AC Damasceno, PDDL Machado, WDL Andrade, WNM Torres 2015 IEEE 18th International Symposium on Real-Time Distributed Computing …, 2015 | 1 | 2015 |
Informatics and Electrical Engineering Center AC Damasceno Federal University of Campina Grande, 2015 | | 2015 |
Towards a test generation approach for compositional real-time systems. AC Damasceno Universidade Federal de Campina Grande, 2015 | | 2015 |
Geração mecanizada de abstrações seguras para especificações CSP AC Damasceno Universidade Federal de Pernambuco, 2008 | | 2008 |