skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Refinado por: data de publicação: 2000Até2005 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Towards a communication model applied to the interface design process
Towards a communication model applied to the interface design process
Material Type:
Artigo 		Adicionar ao Meu Espaço

Towards a communication model applied to the interface design process

Salles, Juliana ; Baranauskas, M.Cecı́lia C. ; Bigonha, Roberto S.

Knowledge-based systems, 2001-12, Vol.14 (8), p.455-459 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
2
Using denotational semantics in the validation of the compiler for a mutation-oriented language
Using denotational semantics in the validation of the compiler for a mutation-oriented language
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Using denotational semantics in the validation of the compiler for a mutation-oriented language

Adenilso da Silva Simão José Carlos Maldonado; Roberto da Silva Bigonha; Workshop on Formal Methods (5. 2002 Gramado)

Proceedings Porto Alegre : Instituto de Informática da UFRGS, 2002

Porto Alegre Instituto de Informática da UFRGS 2002

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-1275840 ) e outros locais(Acessar)

3
A coordination model for ad hoc mobile systems
A coordination model for ad hoc mobile systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A coordination model for ad hoc mobile systems

TULIO VALENTE, Marco ; MAGNO PEREIRA, Fernando ; DA SILVA BIGONHA, Roberto ; DA SILVA BIGONHA, Mariza Andrade

Lecture notes in computer science, 2003, p.1074-1081 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
4
Workshops XIV Simpósio Brasileiro de Engenharia de Software, 4-6 de outubro de 2000, João Pessoa, Paraíba, Brasil
Workshops XIV Simpósio Brasileiro de Engenharia de Software, 4-6 de outubro de 2000, João Pessoa, Paraíba, Brasil
Material Type:
Livro 		Adicionar ao Meu Espaço

Workshops XIV Simpósio Brasileiro de Engenharia de Software, 4-6 de outubro de 2000, João Pessoa, Paraíba, Brasil

Simpósio Brasileiro de Engenharia de Software (14. 2000 João Pessoa) Leila Ribeiro; Fernanda Campos; José Carlos Maldonado; Adriano Augusto de Souza; Damires Yluska de Souza Fernandes; Roberto Bigonha; Workshop de Métodos Formais - WMF 2000 (3. 2000 João Pessoa, Paraíba, Brasil)

João Pessoa UFJF, USP-SC, UFRIS, UFMG, CEFET-PB 2000

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-06 SBES 2000 e.1 )(Acessar)

5
What's the Name of the Game? Formal Specification of Artificial Intelligence Games
What's the Name of the Game? Formal Specification of Artificial Intelligence Games
Material Type:
Artigo 		Adicionar ao Meu Espaço

What's the Name of the Game? Formal Specification of Artificial Intelligence Games

Di Iorio, Vladimir ; Bigonha, Roberto S. ; Bigonha, Mariza A.S. ; Oliveira, Alcione ; Miguel, Eliseu

Electronic notes in theoretical computer science, 2005-05, Vol.130, p.129-150

Elsevier B.V

Texto completo disponível

Citações Citado por
6
Organizational Semiotics: Evolving a Science of Information Systems
Organizational Semiotics: Evolving a Science of Information Systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Organizational Semiotics: Evolving a Science of Information Systems

Liu, Kecheng ; Clarke, Rodney J ; Andersen, Peter Bøgh ; Stamper, Ronald K ; Abou-Zeid, El-Sayed

Boston, MA: Springer US 2002

Texto completo disponível

Citações Citado por
7
MuDeL: a language and a system for describing and generating mutants
MuDeL: a language and a system for describing and generating mutants
Material Type:
Artigo 		Adicionar ao Meu Espaço

MuDeL: a language and a system for describing and generating mutants

Simão, Adenilso da Silva ; Maldonado, José Carlos

Journal of the Brazilian Computer Society, 2002-07, Vol.8 (1), p.73-86 [Periódico revisado por pares]

Sociedade Brasileira de Computação

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (4)
  2. Livros  (2)
  3. Anais de Congresso  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.