999 resultados para Métodos formais. Desenvolvimento baseado em componentes. Concorrência. Verificação de modelos
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.
Resumo:
Dissertação de mestrado em redes e serviços telemáticos
Resumo:
Dissertação de mestrado integrado em Psicologia
Resumo:
Tese de Doutoramento em Tecnologias e Sistemas de Informação
Resumo:
Dissertação de mestrado em Engenharia Humana
Resumo:
Dissertação de mestrado em Engenharia Mecânica
Resumo:
Dissertação de mestrado em Engenharia Eletrónica Industrial e Computadores (área de especialização em Robótica)
Resumo:
(CO)EMPREENDE-Programa de Empreededorismo
Resumo:
Dissertação de mestrado integrado em Engenharia Mecânica
Resumo:
Dissertação de mestrado integrado em Engenharia Eletrónica Industrial e Computadores
Resumo:
Dissertação de mestrado em Optometria Avançada
Resumo:
Dissertação de mestrado em Técnicas de Caracterização e Análise Química
Resumo:
Dissertação de mestrado integrado em Engenharia Eletrónica Industrial e Computadores