Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 44 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2012MDSheet: a framework for model-driven spreadsheet engineeringCunha, Jácome Miguel Costa; Fernandes, João Paulo; Mendes, Jorge; Saraiva, João AlexandreArtigo em ata de conferênciaAcesso aberto
2012Relations as executable specifications: taming partiality and non-determinism using invariantsMacedo, Nuno; Pacheco, Hugo; Cunha, AlcinoArtigo em ata de conferênciaAcesso aberto
2012A case study on model checking and deductive verification techniques of safety-critical softwareSilva, Rovedy Aparecida Busquim e; Oliveira, José Manuel Parente de; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2012Multifocal: a strategic bidirectional transformation language for XML schemasPacheco, Hugo; Cunha, AlcinoArtigo em ata de conferênciaAcesso aberto
2012Fast distributed computation of distances in networksAlmeida, Paulo Sérgio; Baquero, Carlos; Cunha, AlcinoArtigo em ata de conferênciaAcesso aberto
2012Automatic elasticity in OpenStackVilaça, Ricardo; Matos, Miguel; Beernaert, Leander; Oliveira, Rui Carlos Mendes deArtigo em ata de conferênciaAcesso aberto
2012Towards an evaluation of bidirectional model-driven spreadsheetsSaraiva, João Alexandre; Cunha, Jácome Miguel Costa; Mendes, Jorge; Fernandes, João Paulo SoaresArtigo em ata de conferênciaAcesso aberto
2012Extension and implementation of classSheet modelsCunha, Jácome Miguel Costa; Fernandes, João Paulo; Mendes, Jorge; Saraiva, João AlexandreArtigo em ata de conferênciaAcesso aberto
2012Exploiting the FLOSS paradigm in collaborative e-learning: application to e-governmentFernandes, Sara; Cerone, Antonio; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2012DEDISbench: a benchmark for deduplicated storage systemsPaulo, João; Reis, Pedro; Pereira, José; Sousa, António LuísArtigo em ata de conferênciaAcesso aberto