Mostrando
1 - 20
resultados de
54
para a busca '
Barbosa,L. S.
'
Pular para o conteúdo
Portal do Governo Brasileiro
Toggle navigation
Instituto Brasileiro de Informação em Ciência e Tecnologia
Início
Sobre
Fontes Coletadas
Indicadores
Contato
Faq
A sua conta
Sair
Entrar
Idioma
Português (Brasil)
English
Todos os campos
Título
Autor
Assunto
Buscar
Busca avançada
Autor
Barbosa,L. S.
Exportar
Exportar RIS
Exportar CSV
Mostrando
1 - 20
resultados de
54
para a busca '
Barbosa,L. S.
'
, tempo de busca: 0,15s
Refinar Resultados
Ordenar
Relevância
Data descendente
Data ascendente
Área
Autor
Título
1
Generic process algebra: a programming challenge
por
Barbosa
,
L
.
S
.
Publicado em 2006
Acessar documento
Artigo
2
Bringing class diagrams to life
por
Barbosa
,
L
.
S
.
Publicado em 2010
Acessar documento
Artigo
3
Process Calculi à la Bird-Meertens
por
Barbosa
,
L
.
S
.
Publicado em 2001
Acessar documento
Artigo
4
Program slicing by calculation
por
Barbosa
,
L
.
S
.
Publicado em 2006
Acessar documento
Artigo
5
A perspective on architectural re-engineering
por
Barbosa
,
L
.
S
.
Publicado em 2015
Acessar documento
Artigo
6
An orchestrator for dynamic interconnection of software components
por
Barbosa
,
L
.
S
.
Publicado em 2007
Acessar documento
Artigo
7
A calculus for generic, QoS-aware component composition
por
Barbosa
,
L
.
S
.
Publicado em 2012
Acessar documento
Artigo
8
Components as coalgebras : the refinement dimension
por
Barbosa
,
L
.
S
.
Publicado em 2006
Acessar documento
Artigo
9
Certification of open-source software : a role for formal methods?
por
Barbosa
,
L
.
S
.
Publicado em 2010
Acessar documento
Artigo
10
Towards a calculus of state-based software components
por
Barbosa
,
L
.
S
.
Publicado em 2003
Acessar documento
Artigo
11
Component identification through program slicing
por
Barbosa
,
L
.
S
.
Publicado em 2006
Acessar documento
Artigo
12
Coalgebra for the working software engineer
por
Barbosa
,
L
.
S
.
Publicado em 2022
Acessar documento
Artigo
13
Phylogeny of the genus Stephomyia Tavares, 1916 (Diptera: Cecidomyiidae)
por
Maia,V. C.
Publicado em 2018
Outros Autores:
“
...
Barbosa
,
L
.
S
....
”
Acessar documento
Artigo
14
Languages and models for hybrid automata: A coalgebraic perspective
por
Neves, Renato Jorge Araújo
Publicado em 2018
Outros Autores:
“
...
Barbosa
,
L
.
S
....
”
Acessar documento
Artigo
15
A perspective on service orchestration
por
Barbosa, Marco António
Publicado em 2009
Outros Autores:
“
...
Barbosa
,
L
.
S
....
”
Acessar documento
Artigo
16
Higher-order lazy functional slicing
por
Rodrigues, Nuno F.
Publicado em 2007
Outros Autores:
“
...
Barbosa
,
L
.
S
....
”
Acessar documento
Artigo
17
Slicing for architectural analysis
por
Rodrigues, Nuno F.
Publicado em 2010
Outros Autores:
“
...
Barbosa
,
L
.
S
....
”
Acessar documento
Artigo
18
Transposing partial components: an exercise on coalgebraic refinement
por
Oliveira, José Nuno Fonseca
Publicado em 2006
Outros Autores:
“
...
Barbosa
,
L
.
S
....
”
Acessar documento
Artigo
19
A coalgebraic perspective on logical interpretations
por
Martins, M. A.
Publicado em 2013
Outros Autores:
“
...
Barbosa
,
L
.
S
....
”
Acessar documento
Artigo
20
Implementation of an orchestration language as a haskell domain specific language
por
Campos, Marco Devesas
Publicado em 2009
Outros Autores:
“
...
Barbosa
,
L
.
S
....
”
Acessar documento
Artigo
1
2
3
Seguinte
[3]
Exportar CSV
Exportar RIS
Carregando...