skip to main content
Idioma:
Mostrar Somente
Refinado por: Nome da Publicação: Proceedings remover assunto: Sistemas De Informação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Checking sequence generation using state distinguishing subsequences
Checking sequence generation using state distinguishing subsequences
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Checking sequence generation using state distinguishing subsequences

Adenilso da Silva Simão A Petrenko; IEEE International Conference on Software Testing, Verification, and Validation Workshops (2. (2009 Denver, Colorado - USA)

Proceedings Washington : IEEE Computer Society, 2009

Washington, DC IEEE Computer Science 2009

Acesso online. A biblioteca também possui exemplares impressos.

2
This volume contains the papers presented at SBMF 2010... [Prefácio]
This volume contains the papers presented at SBMF 2010... [Prefácio]
Material Type:
Livro 		Adicionar ao Meu Espaço

This volume contains the papers presented at SBMF 2010... [Prefácio]

Jim Davies Leila Silva; Adenilso da Silva Simão; Brazilian Symposium on Formal Methods - SBMF (13. 2010 Natal)

Proceedings Heidelberg : Springer

Heidelberg Springer 2011

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

3
Testing software and systems
Testing software and systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Testing software and systems

Alexandre Petrenko Adenilso da Silva Simão; José Carlos Maldonado; IFIP WG 6.1 International Conference - ICTSS (22. 2010 Natal)

Proceedings

Berlin Springer 2010

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

4
An ontology engineering approach to gamify collaborative learning scenarios
An ontology engineering approach to gamify collaborative learning scenarios
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

An ontology engineering approach to gamify collaborative learning scenarios

Geiser Chalco Challco Dilvan de Abreu Moreira; Riichiro Mizoguchi; Seiji Isotani; International Conference on Collaboration and Technology - CRIWG (20. 2014 Santiago)

Proceedings Cham : Springer v. 8658, p. 193-206, 2014

Cham Springer 2014

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

5
Formal methods foundations and applications
Formal methods foundations and applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods foundations and applications

Jim Davies Leila Silva; Adenilso da Silva Simão; Brazilian Symposium on Formal Methods - SBMF (13. 2010 Natal)

Proceedings Heidelberg : Springer

Heidelberg Springer 2011

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

6
A viability study of an integrated approach of software development and test to distributed teams
A viability study of an integrated approach of software development and test to distributed teams
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A viability study of an integrated approach of software development and test to distributed teams

Gislaine Camila Lapasini Leal Elisa Hatsue Moriya Huzita; Cesar Alberto da Silva; Márcio Eduardo Delamaro; International Conference of the Chilean Computer Science Society - SCCC 2010 (29. 2010 Antofagasta, Chile)

Proceedings Los Alamitos : IEEE Computer Society, 2010

Los Alamitos IEEE Computer Society 2010

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

7
Towards a process to design architectures of service-oriented robotic systems
Towards a process to design architectures of service-oriented robotic systems
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Towards a process to design architectures of service-oriented robotic systems

Lucas Bueno Ruas Oliveira Elena Leroux; Katia Romero Felizardo; Flavio Oquendo; Elisa Yumi Nakagawa; European Conference on Software Architecture - ECSA 2014 (8. 2014 Vienna, Austria)

Proceedings Berlin : Springer v. 8627, p. 218-225, 2014

Berlin Springer 2014

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2503737 )(Acessar)

8
Towards an ontology for gamifying collaborative learning scenarios
Towards an ontology for gamifying collaborative learning scenarios
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Towards an ontology for gamifying collaborative learning scenarios

Geiser Chalco Challco Dilvan de Abreu Moreira; Riichiro Mizoguchi; Seiji Isotani; International Conference on Intelligent Tutoring Systems - ITS (12. 2014 Honolulu)

Proceedings Cham : Springer v. 8474, p. 404-409, 2014

Cham Springer 2014

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2492630 )(Acessar)

9
A user test with accessible video player looking for user experience
A user test with accessible video player looking for user experience
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A user test with accessible video player looking for user experience

Johana Maria Rosas Villena Rudinei Goularte; Renata Pontin de Mattos Fortes; International Conference on Universal Access in Human-Computer Interaction : Design for all and accessibility practice - UAHCI (8. 2014 Crete); International Conference on Human-Computer Interaction - HCI International (16. 2014 Crete)

Proceedings Cham : Springer v. 8516, p. 623-633, 2014

Cham Springer 2014

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2483959 )(Acessar)

10
RA-Ubi a reference architecture for ubiquitous computing
RA-Ubi a reference architecture for ubiquitous computing
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

RA-Ubi a reference architecture for ubiquitous computing

Carlos A. N Machado (Carlos Alberto Nunes Machado) Eduardo Silva (Eduardo Alexandre Ferreira Silva); Thais Batista (Thais Vasconcelos Batista); Jair Leite (Jair Cavalcanti Leite); Elisa Yumi Nakagawa; European Conference on Software Architecture - ECSA 2014 (8. 2014 Vienna, Austria)

Proceedings Berlin : Springer v. 8627, p. 98-105, 2014

Berlin Springer 2014

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2673176 )(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (4)

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Simão, A
  2. Silva, L
  3. Nakagawa, E
  4. Isotani, S
  5. Maldonado, J

Neste Assunto:

  1. Engenharia De Software
  2. World Wide Web
  3. Multimídia Interativa
  4. Web Semântica
  5. Ontologia

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

Buscando em bases de dados remotas. Favor aguardar.