Publicações

Publicações com as mesmas áreas científicas da publicação Automatic Generation of GUI Interfaces from VDM++ Specifications: VDM++ GUI Builder

Agrupar Por: Ordenação:

Relatório Técnico

ECOLANG - Communications Language for Ecological Simulations Network

António Manuel Correia Pereira (Autor) (FEUP)

2008

Classificação Científica Documentos Instituicões

Nome do Ficheiro	Descrição	Tamanho
ECOLANG - Communications Language for Ecological Simulations Network		107.17 KB
ECOLANG_v_1_4_Eng	Technical Report TR-LIACC-FEUP-AMCP 01.2 - language version 1.4	237.29 KB

Livro

Análise e Exploração de Dados com R

Pedro Ferreira (Autor) (FCUP)

2017

Classificação Científica

Artigo em Revista Científica Internacional

QoS-aware Real-Time Composition Algorithms for Service-Based Applications

I. Estévez-Ayres (Autor) (Outra); P. Basanta-Val (Autor) (Outra); M. Garcia-Valls (Autor) (Outra); J.A Fisteus (Autor) (Outra); L. Almeida (Autor) (FEUP)

2009

Classificação Científica Indexação

Integrated Graphical Environment for Support Nonlinear Dynamic Software for the Analysis of Plane Frames

Hugo Rodrigues (Autor) (FEUP); Xavier Romão (Autor) (FEUP); Aníbal Costa (Autor) (FEUP); Humberto Varum (Autor) (Outra)

2007

Classificação Científica

Artigo em Livro de Atas de Conferência Nacional

VoiceOverM2L : Talk the Math

Daniel Castro Silva (Autor) (FEUP); Pedro Henriques Abreu (Autor) (FEUP); Pedro Mendes (Autor) (FEUP); Vasco Vinhas (Autor) (FEUP)

2007

Classificação Científica

Integrador automático de notícias

Daniel Castro Silva (Autor) (FEUP); Pedro Mendes (Autor) (FEUP); Pedro Henriques Abreu (Autor) (FEUP); Vasco Vinhas (Autor) (FEUP)

2007

Classificação Científica

Artigo em Livro de Atas de Conferência Internacional

Semantics-aware virtual machine image management in IaaS clouds

Jorge Manuel Gomes Barbosa (Autor) (FEUP); Nishant Saurabh (Autor) (Outra); Julian Remmers (Autor) (Outra); Dragi Kimovski (Autor) (Outra); Radu Prodan (Autor) (Outra)

2019

Classificação Científica Indexação