Buscar
Mostrando ítems 1-10 de 60
Mapeando CSP em UML-RT
(Universidade Federal de Pernambuco, 2014)
A process for sound conformance testing of cyber-physical systems
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2019)
Tangram: uma ferramenta de apoio à verificação formal de sistemas de tempo real baseados em componentes
(Universidade Federal da Bahia. Escola Politécnica/Instituto de MatemáticaMecatrônicaUFBAbrasil, 2016-01-14)
Sistemas computacionais são utilizados atualmente em aplicações consideradas criticas e com alto grau de complexidade, como e o exemplo da automação industrial, controle de navegação em aeronaves, equipamentos médicos, ...
NAT2TEST: generating test cases from natural language requirements based on CSP
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2016)
Currículo e narrativas digitais em tempos de ubiquidade: criação e integração entre contextos de aprendizagem
(Universidade Federal de Mato Grosso, 2016)
Formação de monitores ambientais em um espaço não formal: análise de potencialidades
(Universidade Estadual Paulista (Unesp), 2020-03-27)
Esta pesquisa objetivou analisar, segundo alguns pressupostos da Teoria Histórico-Cultural de Vigotski e da Educação Ambiental, os limites e/ou potencialidades de um processo formativo de monitores, desenvolvido em um ...