59 resultados para Métodos formais. Desenvolvimento baseado em componentes. Concorrência. Verificação de modelos
em Universidade do Minho
Resumo:
Dissertação de mestrado integrado em Engenharia Mecânica
Resumo:
Dissertação de mestrado integrado em Engenharia e Gestão Industrial
Resumo:
Tese de Doutoramento Geografia (Área de Especialização: Geografia e Planeamento Regional)
Resumo:
Dissertação de mestrado em Engenharia Humana
Resumo:
Dissertação de mestrado integrado em Engenharia e Gestão Industrial
Resumo:
Dissertação de mestrado em Engenharia Humana
Resumo:
Dissertação de mestrado integrado em Engenharia Eletrónica Industrial e de Computadores
Resumo:
Dissertação de mestrado em Engenharia Mecânica
Implementação de sistemas de encriptação AES advanced encryption standard em hardware para segurança
Resumo:
Dissertação de mestrado integrado em Engenharia Electrónica Industrial e Computadores
Resumo:
Dissertação de mestrado em Biofísica e Bionanossistemas
Resumo:
Dissertação de mestrado em Técnicas de Caracterização e Análise Química
Resumo:
Programa Doutoral em Engenharia Têxtil.
Resumo:
Trabalho desenvolvido em parceria com a empresa Casais.
Resumo:
Relatório de estágio de mestrado em Educação Pré-Escolar e Ensino do 1.º Ciclo do Ensino Básico
Resumo:
Com este artigo pretende-se abordar o papel que um repositório de componentes de simulação previamente desenvolvidos pode desempenhar em projetos de simulação de processos de negócio. Recorrendo aos conhecidos padrões workflow (workflow Patterns), resultantes da identificação de situações recorrentemente encontradas em modelos de processos organizacionais, e utilizando mecanismos específicos de componentização disponíveis em algumas ferramentas de simulação, constroem-se componentes a (re)utilizar no desenvolvimento de modelos de simulação. Como exemplo, usou-se um processo de negócio - “Reclamação de Encomendas de Clientes” - em vigor numa empresa do sector têxtil, em que um dos autores colabora.