Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 21-30 de um total de 53 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2014Making Operation-based CRDTs Operation-basedBaquero, Carlos; Almeida, Paulo Sérgio; Shoker, AliArtigo em ata de conferênciaAcesso aberto
2014Formal verification of safety-critical user interfaces: a space system case studySousa, Manuel; Campos, J. Creissac; Alves, Miriam; Harrison, M. D.Artigo em ata de conferênciaAcesso aberto
2014Structure editing of handwritten mathematics: improving the computer support for the calculational methodMendes, Alexandra; Backhouse, Roland; Ferreira, João FernandoArtigo em ata de conferênciaAcesso aberto
2014An approach for graphical user interface external bad smells detectionSilva, João Carlos; Campos, J. Creissac; Saraiva, João Alexandre; Silva, J. L.Artigo em ata de conferênciaAcesso aberto
2014pH1: a transactional middleware for NoSQLCoelho, Fábio André Castanheira Luís; Cruz, Francisco; Vilaça, Ricardo Manuel Pereira; Pereira, José; Oliveira, Rui Carlos Mendes deArtigo em ata de conferênciaAcesso aberto
2014Smelling faults in spreadsheetsAbreu, Rui; Cunha, Jácome Miguel Costa; Fernandes, João Paulo Sousa Ferreira; Martins, Pedro Miguel Ribeiro; Perez, Alexandre; Saraiva, João AlexandreArtigo em ata de conferênciaAcesso aberto
2014Refactoring meets model-driven spreadsheet evolutionCunha, Jácome Miguel Costa; Fernandes, João Paulo; Martins, Pedro; Pereira, Rui; Saraiva, João AlexandreArtigo em ata de conferênciaAcesso aberto
2014A Visual {DSL} for the certification of open source softwareMartins, Pedro Miguel Ribeiro; Carção, TiagoArtigo em ata de conferênciaAcesso aberto
2014Introducing hierarquical hybrid logicMadeira, Alexandre; Neves, Renato Jorge Araújo; Barbosa, L. S.; Martins, Manuel A.Artigo em ata de conferênciaAcesso aberto
2014Development of dependable controllers in the context of machines designMachado, José Mendes; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
21-30 de um total de 53 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir