Buscar
Mostrando ítems 21-30 de 39
Uma lógica para a referência ambígua
(Florianópolis, SC, 2012)
Representing organizational structures in enterprise architecture : an ontology-based approach
(2015)
Arquitetura Corporativa promove o estabelecimento de uma visão holística da estrutura e forma de trabalho de uma organização. Um dos aspectos abordados em Arquitetura Corporativa está associada a "estrutura ativa" da ...
Modelagem e análise de especificações de sistemas de tempo-real críticos com restrições de energia
(Universidade Federal de Pernambuco, 2014)
Validating transformations of OO programs using the alloy analyzer
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2019)
Um verificador de modelos em K para um subconjunto da linguagem Circus
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2017)
Apoio à tradução da política de segurança para regras de firewall utilizando uma linguagem de modelagem visual: SPML2
(Universidade Estadual Paulista (Unesp), 2016-06-17)
As telecomunicações e as redes de computadores permitiram a integração mundial, mas junto com os benefícios também surgiram problemas, como as ameaças a dados que trafegam pela rede, o que justifica o controle das comunicações, ...