Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 63 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
2012Constraint-aware schema transformationAlves, Tiago L.; Silva, Paulo F.; Visser, JoostArtigoAcesso 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
2012Type checking cryptography implementationsBarbosa, Manuel; Page, D.; Moss, Andrew; Rodrigues, Nuno F.; Silva, PauloArtigo em ata de conferênciaAcesso aberto
Set-2012Software components as invariant-typed arrowsBarbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2012A purely functional combinator language for software quality assessmentMartins, Pedro Miguel Ribeiro; Fernandes, João Paulo; Saraiva, João AlexandreArtigo em ata de conferênciaAcesso aberto
2012Delta lenses over inductive typesPacheco, Hugo; Cunha, Alcino; Hu, ZhenjiangArtigoAcesso aberto
Mai-2012An integrated approach to develop professional and technical skills for Informatics Engineering studentsFernandes, João M.; Hattum-Janssen, Natascha van; Ribeiro, António Nestor; Fonte, Victor; Santos, Luís Paulo; Sousa, PedroArtigoAcesso restrito UMinho
2012Typed linear algebra for weighted (probabilistic) automataOliveira, José Nuno FonsecaArtigo em ata de conferênciaAcesso aberto
1-10 de um total de 63 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir