skip to main content
Idioma:

Resultados de 1 a 10 de 88  para Produção Intelectual da USP

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Sistemas De Informação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Evaluating finite state machine based testing methods on RBAC systems
Evaluating finite state machine based testing methods on RBAC systems
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Evaluating finite state machine based testing methods on RBAC systems

Damasceno, Carlos Diego Nascimento

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2016-05-09

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

2
Inferring finite state machines without reset using state identification sequences
Inferring finite state machines without reset using state identification sequences
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Inferring finite state machines without reset using state identification sequences

Roland Groz Adenilso da Silva Simão; Alexandre Petrenko; Catherine Oriat; IFIP WG 6.1 International Conference on Testing Software and Systems - ICTSS (27. 2015 Sharjah and Dubai, United Arab Emirates)

Lecture Notes in Computer Science Cham : Springer v. 9447, p. 161-177, 2015

Cham Springer 2015

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

3
Checking experiments for finite state machines with symbolic inputs
Checking experiments for finite state machines with symbolic inputs
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Checking experiments for finite state machines with symbolic inputs

Alexandre Petrenko Adenilso da Silva Simão; IFIP WG 6.1 International Conference on Testing Software and Systems - ICTSS (27. 2015 Sharjah and Dubai, United Arab Emirates)

Lecture Notes in Computer Science Cham : Springer v. 9447, p. 3-18, 2015

Cham Springer 2015

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

4
Model-based testing of service-oriented applications via state models
Model-based testing of service-oriented applications via state models
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Model-based testing of service-oriented applications via state models

André Takeshi Endo Adenilso da Silva Simão; IEEE International Conference on Services Computing (8. 2011 Washington, DC)

Proceedings Los Alamitos, CA : IEEE Computer Society, 2011

Los Alamitos, CA IEEE Computer Society 2011

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

5
Current state on representation of reference architectures
Current state on representation of reference architectures
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Current state on representation of reference architectures

Milena Guessi Lucas Bueno Ruas de Oliveira; Elisa Yumi Nakagawa

São Carlos ICMC-USP 2011

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

6
Generating checking sequences for partial finite state machines
Generating checking sequences for partial finite state machines
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Generating checking sequences for partial finite state machines

Adenilso da Silva Simão Alexandre Petrenko; International Conference, TestCom 2008 - IFIP TC6/WG 6.1 (20 2008 Tokyo)

Lecture Notes in Computer Science Berlin v. 5047, p. 153-168, 2008

Berlin Springer 2008

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

7
An assessment of extended finite state machine test selection criteria
An assessment of extended finite state machine test selection criteria
Material Type:
Artigo 		Adicionar ao Meu Espaço

An assessment of extended finite state machine test selection criteria

Khaled El-Fakih Adenilso da Silva Simão; Noshad Jadoon; José Carlos Maldonado

The Journal of Systems and Software Amsterdm : Elsevier v. 123, p. 106-118, Jan. 2017

Amsterdam 2017

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

8
Minimization of incompletely specified finite state machines based on distinction graphs
Minimization of incompletely specified finite state machines based on distinction graphs
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Minimization of incompletely specified finite state machines based on distinction graphs

Alex Alberto Adenilso da Silva Simão; Latin American Test Workshop - LATW (10 2009 Búzios)

Proceedings Los Alamitos : IEEE, 2009

Los Alamitos IEEE 2009

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

9
Experimental comparison of test case generation methods for finite state machines
Experimental comparison of test case generation methods for finite state machines
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Experimental comparison of test case generation methods for finite state machines

André Takeshi Endo Adenilso da Silva Simão; International Conference on Software Testing, Verification and Validation - ICST 2012 (5. 2012 Montreal, Canada)

Proceedings Los Alamitos : IEEE Computer Society, 2012

Los Alamitos, CA IEEE Computer Society 2012

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

10
Technical scientific information and the decision making process the case of Sao Paulo's state
Technical scientific information and the decision making process the case of Sao Paulo's state
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Technical scientific information and the decision making process the case of Sao Paulo's state

Westphal, Márcia Faria Cohn, Amélia; Elias, P. M.; Mendes, A. N.; Caricari, Ana Maria; World Conference on Health Promotion and Health Education (17. 2001 Paris)

Health: an investment for a just society; the 50th anniversary Conference of the IUHPE Paris : International Union for Health Promotion and Education/CFES, 2001

Paris International Union for Health Promotion and Education/CFES 2001

Localização: FSP - Faculdade de Saúde Pública    (HSP-12/2001 ) e outros locais(Acessar)

Resultados de 1 a 10 de 88  para Produção Intelectual da USP

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (82)
  2. Recursos Online (14)

Refinar Meus Resultados

Tipo de Recurso 

  1. Produções Acadêmicas  (50)
  2. Artigos  (37)
  3. Produções Técnicas  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2001  (6)
  2. 2001Até2005  (11)
  3. 2006Até2010  (17)
  4. 2011Até2016  (33)
  5. Após 2016  (23)
  6. Mais opções open sub menu

Idioma 

  1. Português  (52)
  2. Inglês  (37)
  3. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Simão, A
  2. Petrenko, A
  3. Nakagawa, E
  4. Maldonado, J
  5. Oliveira, L

Neste Assunto:

  1. Engenharia De Software
  2. Information Systems
  3. Vigilância Epidemiológica
  4. Mortalidade
  5. Banco De Dados

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

Buscando em bases de dados remotas. Favor aguardar.