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 6-25 de um total de 30 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
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
2000Sequent calculi for the normal terms of the $\lambda\Pi$- and $\lambda\Pi\Sigma$-calculiPinto, Luís F.; Dyckhoff, RoyArtigoAcesso aberto
2009A single complete relational rule for coalgebraic refinementRodrigues, César J.; Oliveira, José Nuno Fonseca; Barbosa, L. S.ArtigoAcesso aberto
2019Some applications of the formalization of the pumping lemma for context-free languagesRamos, Marcus V. M.; Almeida, José Bacelar; Moreira, Nelma, et al.ArtigoAcesso aberto
2003State-based components made genericOliveira, José Nuno; Barbosa, L. S.ArtigoAcesso aberto
2007Strongly typed rewriting for coupled software transformationCunha, Alcino; Visser, JoostArtigoAcesso aberto
Mostrar 6-25 de um total de 30 resultados. < anterior   próximo >