Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 31-40 de um total de 53 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2018Permutability in proof terms for intuitionistic sequent calculus with cutsEspírito Santo, José; Frade, M. J.; Pinto, Luís F.Artigo em ata de conferênciaAcesso aberto
2016Formalizing Single-Assignment Program Verification: An Adaptation-Complete ApproachLourenco, Claudio Belo; Frade, M. J.; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso restrito UMinho
25-Out-2010Measuring software systems scalability for proactive data center managementCarvalho, Nuno; Pereira, JoséArtigo em ata de conferênciaAcesso aberto
Fev-2015Modelling and verifying smell-free architectures with the Archery languageSanchez, Alejandro; Barbosa, L. S.; Madeira, Alexandre Leite CastroArtigo em ata de conferênciaAcesso restrito UMinho
Set-2015Metaphorisms in programmingOliveira, José Nuno FonsecaArtigo em ata de conferênciaAcesso aberto
2015Studying verification conditions for imperative programsLourenço, Cláudio Filipe Belo Silva; Lamraoui, Si-Mohamed; Nakajima, Shin; Pinto, Jorge SousaArtigoAcesso aberto
2-Jul-2014MDSheet - Model-Driven SpreadsheetsCunha, Jácome Miguel Costa; Fernandes, João Paulo Soares; Mendes, Jorge; Pereira, Rui; Saraiva, João AlexandreArtigo em ata de conferênciaAcesso aberto
2012Model-based programming environments for spreadsheetsCunha, Jácome Miguel Costa; Saraiva, João Alexandre; Visser, JoostArtigo em ata de conferênciaAcesso aberto
28-Mar-2014BenchmarXAnjorin, Anthony; Hermann, Frank; Cunha, Alcino; Rensink, Arend; Giese, Holger; Schurr, AndyArtigo em ata de conferênciaAcesso aberto
2014Design and evaluation of a smart library using the APEX frameworkAbade, Tiago; Gomes, Tiago; Silva, José Luís Cardoso; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
31-40 de um total de 53 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir