Buscar
Mostrando ítems 1-10 de 227
Mapeando CSP em UML-RT
(Universidade Federal de Pernambuco, 2014)
Modelling and Integrating Formal Models: from Test Cases and Requirements Models
(Universidade Federal de Pernambuco, 2014)
Transformando modelos Scade em especificações SCR
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2017)
Basic Laws of Object Modeling
(Universidade Federal de Pernambuco, 2014)
A rigorous methodology for developing GUI-based DSL formal tools
(Universidade Federal de Pernambuco, 2015)
Avaliação de desempenho do serviço de controle de concorrência usando Redes de Petri Estocástica
(Universidade Federal de Pernambuco, 2014)
Instituições para a governança: o papel das regras formais e informais no controle do desmatamento em reservas extrativistas da Amazônia
(2017-06-12)
Esse trabalho está incluído no campo de políticas públicas ambientais, ao abordar o tema controle do desmatamento na Amazônia brasileira. O contexto que o envolve tem relação com as dificuldades do país em conseguir reduzir ...