Buscar
Mostrando ítems 51-60 de 62
Sec-MoSC Translation Framework: An approach to transform business process models into executable process considering security requirements
(Universidade Federal de Pernambuco, 2014)
Modelagem e análise de especificações de sistemas de tempo-real críticos com restrições de energia
(Universidade Federal de Pernambuco, 2014)
Uma abordagem para gerenciamento de consistência em um ambiente de banco de dados heterogêneos
(Universidade Federal de Pernambuco, 2014)
Indução de programas lógicos orientados a objetos
(Universidade Federal de Pernambuco, 2014)