Projecto de investigação

OPO'ArchFormal Methods

Plataforma institucional para a disseminação da aplicação informática DepthSpace3D

IR:
Jorge Vieira Vaz
Grupo de estudos:
Grupo de Estudos de Arquitectura e Tecnologias
Área Temática:
Métodos Formais

Projecto que inclui a concepção do programa informático DephtSpace 3D – aplicação informática para sintaxe tridimensional (programa de investigação submetido à FCT – PTDC/ATP-AQI/6759/2014. Está igualmente em preparação a submissão do mesmo projecto ao Quadro Comunitário de Apoio 2020) e, entre outras iniciativas, o 3rd international symposium Formal Methods in Architecture (Nov./Dez. 2015).
Projeto em curso.