59 resultados para Métodos formais. Desenvolvimento baseado em componentes. Concorrência. Verificação de modelos

em Universidade do Minho


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Dissertação de mestrado integrado em Engenharia Mecânica

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Dissertação de mestrado integrado em Engenharia e Gestão Industrial

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Tese de Doutoramento Geografia (Área de Especialização: Geografia e Planeamento Regional)

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Dissertação de mestrado integrado em Engenharia e Gestão Industrial

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Dissertação de mestrado integrado em Engenharia Eletrónica Industrial e de Computadores

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Dissertação de mestrado em Engenharia Mecânica

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Dissertação de mestrado integrado em Engenharia Electrónica Industrial e Computadores

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Dissertação de mestrado em Biofísica e Bionanossistemas

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Dissertação de mestrado em Técnicas de Caracterização e Análise Química

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Programa Doutoral em Engenharia Têxtil.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Trabalho desenvolvido em parceria com a empresa Casais.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Relatório de estágio de mestrado em Educação Pré-Escolar e Ensino do 1.º Ciclo do Ensino Básico

Relevância:

30.00% 30.00%

Publicador:

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.