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
Resultados 1 2 3 4 next page
Mostrar Somente
Refinado por: Biblioteca: ICMC - Inst. Ciên. Mat. Computação remover 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
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.

5
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)

6
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)

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
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)

9
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.

10
Iterative minimization of partial finite state machines
Iterative minimization of partial finite state machines
Material Type:
Artigo 		Adicionar ao Meu Espaço

Iterative minimization of partial finite state machines

Alex D. B Alberto (Alex Donizeti Betez Alberto) Adenilso da Silva Simão

Central European Journal of Computer Science Varsóvia , Polônia : Versita, co-publicado com a Springer-Verlag GmbH v. 3, n. 2 , p. 91-103, jun 2013

Varsóvia , Polônia 2013

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

Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (11)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de2008  (2)
  2. 2008Até2009  (5)
  3. 2010Até2011  (6)
  4. 2012Até2014  (11)
  5. Após 2014  (10)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.