Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 41-50 de um total de 310 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
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
2013DataFlasks : an epidemic dependable key-value substrateMaia, Francisco; Matos, Miguel; Vilaça, Ricardo Manuel Pereira; Pereira, José; Oliveira, Rui Carlos Mendes de; Etienne RiviereArtigo 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
2014Towards a runtime verification framework for the Ada Programming LanguagePedro, André Matos; Pereira, David; Pinho, Luís Miguel; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2013Slicing as a distributed systems primitiveMaia, Francisco; Matos, Miguel; Oliveira, Rui Carlos Mendes de; Rivière, ÉtienneArtigo em ata de conferênciaAcesso aberto
2014Formal verification of kLIBC with the WP frama-C plug-inCarvalho, Nuno; Sousa, Cristiano da Silva; Pinto, Jorge Sousa; Tomb, AaronArtigo em ata de conferênciaAcesso aberto
2014A bounded model checker for SPARK programsLourenço, Cláudio Belo; Frade, M. J.; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2015Spreadsheet engineeringCunha, Jácome Miguel Costa; Fernandes, João Paulo Soares; Mendes, Jorge; Saraiva, João AlexandreArtigo em ata de conferênciaAcesso aberto
10-Jan-2011A importância das avaliações qualitativas em sistemas e-learningFreire, Luciana; Arezes, P.; Campos, J. CreissacArtigo em ata de conferênciaAcesso restrito UMinho
2016Applying the 3C Model to FLOSS communitiesFernandes, Sara Santos; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto