Percorrer por revistas 84334

Índice: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

ou inserir as letras iniciais:  

Mostrar 1-20 de um total de 30 resultados.  próximo >
DataTítuloAutor(es)TipoAcesso
8-Mar-2011Algebraic specialization of generic functions for recursive typesCunha, Alcino; Pacheco, HugoArtigoAcesso aberto
2008An exercise on transition systemsRibeiro, Paula R.; Barbosa, L. S.; Wang, ShulingArtigoAcesso aberto
2007An orchestrator for dynamic interconnection of software componentsBarbosa, L. S.; Barbosa, Marco AntónioArtigoAcesso aberto
2005Architectural prototyping: from ccs to .netRodrigues, Nuno F.; Barbosa, L. S.ArtigoAcesso aberto
2003Automatic visualization of recursion trees: a case study on generic programmingCunha, AlcinoArtigoAcesso aberto
2005A coalgebraic semantic framework for component-based development in UMLSun Meng; Aichernig, Bernhard K.; Barbosa, L. S., et al.ArtigoAcesso aberto
2006Component identification through program slicingBarbosa, L. S.; Rodrigues, Nuno F.ArtigoAcesso aberto
2007Configurations of web servicesBarbosa, Marco António; Barbosa, L. S.ArtigoAcesso aberto
2012Constraint-aware schema transformationAlves, Tiago L.; Silva, Paulo F.; Visser, JoostArtigoAcesso aberto
2008Exploring an option space to engineer a ubiquitous computing systemHarrison, Michael D.; Kray, Christian; Campos, J. CreissacArtigoAcesso aberto
2009A fibration category of local pospacesKahl, ThomasArtigoAcesso aberto
2012Final semantics for decorated tracesBonchi, Filippo; Bonsangue, Marcello; Caltais, Georgiana, et al.ArtigoAcesso aberto
Out-2018Hierarchical hybrid logicMadeira, Alexandre Leite Castro; Neves, Renato Jorge Araújo; Martins, Manuel A., et al.ArtigoAcesso aberto
2007A higher-order calculus for graph transformationFernández, Maribel; Mackie, Ian; Pinto, Jorge SousaArtigoAcesso aberto
Nov-2009Implementation of an orchestration language as a haskell domain specific languageCampos, Marco Devesas; Barbosa, L. S.ArtigoAcesso aberto
Mar-2020Introducing synchrony in fuzzy automataGomes, Leandro Rafael Moreira; Madeira, Alexandre; Barbosa, L. S.ArtigoAcesso aberto
2007A local graph-rewriting system for deciding equality in sum-product theoriesAlmeida, José Bacelar; Pinto, Jorge Sousa; Vilaça, MiguelArtigoAcesso aberto
2008Model-based user interface testing with Spec Explorer and ConcurTaskTreesSilva, José Luís Cardoso; Campos, J. Creissac; Paiva, Ana C. R.ArtigoAcesso aberto
2001Process Calculi à la Bird-MeertensBarbosa, L. S.ArtigoAcesso aberto
2009Refinement by interpretation in a general settingMartins, Manuel A.; Madeira, A.; Barbosa, L. S.ArtigoAcesso aberto
Mostrar 1-20 de um total de 30 resultados.  próximo >