Portal do Governo Brasileiro

Universidade
Federal do Rio Grande

Ir para o conteúdo 1
Ir para o menu 2
Ir para a busca 3
Ir para o rodapé 4

Alto contraste
Login

Unidversidade Federal do Rio Grande

Repositório Institucional

Buscar no repositório

Browse

All of DSpace

Communities & Collections

This Collection

My Account

Login

Register

Você está aqui:
DSpace Home
> C3 - Centro de Ciências Computacionais
> C3 - Artigos Publicados em Periódicos
>Browsing C3 - Artigos Publicados em Periódicos by Author

JavaScript is disabled for your browser. Some features of this site may not work without it.

Browse

All of DSpace

Communities & Collections

This Collection

My Account

Login

Register

Browsing C3 - Artigos Publicados em Periódicos by Author "Barbosa, Raquel de Miranda"

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

Or enter first few letters:Browse for items that begin with these letters

Sort by: Order: Results:

Usando CSP, RSL e o Modelo PopOrg na especificação formal de organizações de SMAs

Barbosa, Raquel de Miranda; Costa, Antonio Carlos da Rocha; Tedesco, Patrícia Cabral de Azevedo; Mota, Alexandre Cabral (2011)

Este artigo explora o uso de métodos formais tradicionais de engenharia de software para a especificação formal de organizações de sistemas multiagentes. Particularmente são utilizadas as linguagens CSP (Communicating ...

Voltar para o topo

: Creative Commons; Ibict

: Contact Us; Send Feedback

: Equipe; Documentos; Política do RI

Universidade Federal do Rio Grande