50 resultados para Redes formais de apoio
Resumo:
O objectivo principal deste artigo é exemplificar a utilização de uma metodologia de especificação de sistemas digitais, baseada em Redes de Petri orientadas por objectos, para obter de uma forma rápida e simplificada um protótipo em VHDL do sistema pretendido. É considerado como exemplo um sistema digital, para o qual se efectua a especificação no modelo RdP-shobi e a partir da qual se pode gerar automaticamente código VHDL. Este exemplo permite demonstrar acerca da capacidade desta metodologia no projecto de sistemas digitais, suportado por princípios de orientação por objectos e por uma ferramenta de EDA concebida para o efeito.
Resumo:
Relatório de estágio de mestrado em Educação Pré-escolar e Ensino do 1º Ciclo do Ensino Básico
Resumo:
Tese de Doutoramento em Engenharia Industrial e de Sistemas.
Resumo:
Dissertação de mestrado em Ciências da Comunicação (área de especialização em Publicidade e Relações Públicas)
Resumo:
Dissertação de mestrado em Ciências da Comunicação (área de especialização em Informação e Jornalismo)