Global ETD Search

1	Geração de casos de teste a partir de modelos de tarefas Barbosa, Ana Sofia Barros January 2010 (has links) Tese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2010 Modelação de interfaces gráficas Modelação de sistemas Programas de computador
2	Hybrid optimizer for expeditious modeling of virtual urban environments Cruz, Filipe Manuel Miranda da January 2008 (has links) Tese de mestrado. Engenharia Informática. Faculdade de Engenharia. Universidade do Porto. 2008 Realidade virtual Ambientes virtuais Modelação de sistemas Urbanismo
3	Modelação e simulação de um sistema de sinalização ferroviária Sagres, Cláudio José da Silva January 2008 (has links) Tese de mestrado integrado. Engenharia Informátca e Computação. Faculdade de Engenharia. Universidade do Porto. 2008 Sinalização ferroviária Modelação de sistemas Simulação computacional
4	WEBGRAF 2 - tradutor web de grafos de especificação de controlo lógico em código de programação normalizado Garcês, Ricardo Simão da Rocha January 2010 (has links) Tese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2010 Geração automática de código Controladores lógicos Redes de Petri Método Grafcet Modelação de sistemas