skip to main content
Idioma:
Refinado por: autor: Fabbri, S remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Propriedades de maquinas de estado finito relevantes para criterios de geracao de sequencias de teste
Propriedades de maquinas de estado finito relevantes para criterios de geracao de sequencias de teste
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Propriedades de maquinas de estado finito relevantes para criterios de geracao de sequencias de teste

K K Nakazato José Carlos Maldonado; S C P F Fabbri; Paulo Cesar Masiero

Sao Carlos Icmsc-Usp 1994

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

2
Sequencias basicas de maquinas de estado finito aspectos teoricos e de implementacao
Sequencias basicas de maquinas de estado finito aspectos teoricos e de implementacao
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Sequencias basicas de maquinas de estado finito aspectos teoricos e de implementacao

K K Nakazato José Carlos Maldonado; S C P F Fabbri; Paulo Cesar Masiero

Sao Carlos Icmsc-Usp 1994

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

3
Introdução a statecharts conceitos básicos, teste e validação, extensões e ferramentas de apoio
Introdução a statecharts conceitos básicos, teste e validação, extensões e ferramentas de apoio
Material Type:
Documento Didático 		Adicionar ao Meu Espaço

Introdução a statecharts conceitos básicos, teste e validação, extensões e ferramentas de apoio

Tatiana Sugeta José Carlos Maldonado; Sandra Camargo Pinto Ferraz Fabbri; Paulo Cesar Masiero

São Carlos ICMC-USP 1999

Localização: ICMC - Inst. Ciên. Mat. Computação    (ND SCE n.41 S947is e.1 ) e outros locais(Acessar)

4
Aspectos teoricos e de implementacao de criterios de geracao de sequencias de teste baseados em maquinas de estado finito
Aspectos teoricos e de implementacao de criterios de geracao de sequencias de teste baseados em maquinas de estado finito
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Aspectos teoricos e de implementacao de criterios de geracao de sequencias de teste baseados em maquinas de estado finito

K K Nakazato José Carlos Maldonado; S C P F Fabbri; Paulo Cesar Masiero

Sao Carlos Icmsc-Usp 1994

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

5
Pesquisas em métodos e ferramentas de engenharia de software com ênfase em sistemas reativos
Pesquisas em métodos e ferramentas de engenharia de software com ênfase em sistemas reativos
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Pesquisas em métodos e ferramentas de engenharia de software com ênfase em sistemas reativos

Paulo Cesar Masiero José Carlos Maldonado; Sandra C P F Fabbri; Renata Pontin de Mattos Fortes; Rosely Sanches; Maria Cristina Ferreira de Oliveira; Workshop Brasileiro de Métodos Formais (1. 1998 Porto Alegre)

Anais Porto Alegre : Instituto de Informática da UFRGS, 1998

Porto Alegre Instituto de Informática da UFRGS 1998

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

6
Proteum / fsm especificacao de uma ferramenta para apoiar a avaliacao de maquina de estado finito pelo criterio analise de mutantes
Proteum / fsm especificacao de uma ferramenta para apoiar a avaliacao de maquina de estado finito pelo criterio analise de mutantes
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Proteum / fsm especificacao de uma ferramenta para apoiar a avaliacao de maquina de estado finito pelo criterio analise de mutantes

S C P F Fabbri Márcio Eduardo Delamaro; José Carlos Maldonado; Paulo Cesar Masiero; Simposio Brasileiro de Redes de Computadores (12. 1994 Curitiba)

Anais 1994

Curitiba 1994

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

7
Mgaset - modulo de geracao de sequencias de teste
Mgaset - modulo de geracao de sequencias de teste
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Mgaset - modulo de geracao de sequencias de teste

K K Nakazato M Alexandrino; José Carlos Maldonado; S C P F Fabbri; Paulo Cesar Masiero; Simposio Brasileiro de Engenharia de Software (9. 1995 Recife)

Anais Recife : Ufpe, 1995

Recife Ufpe 1995

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

8
Proteum / sfm - uma ferramenta para apoiar a validacao de maquinas de estado finito pelo criterio analise de mutantes
Proteum / sfm - uma ferramenta para apoiar a validacao de maquinas de estado finito pelo criterio analise de mutantes
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Proteum / sfm - uma ferramenta para apoiar a validacao de maquinas de estado finito pelo criterio analise de mutantes

S C P F Fabbri José Carlos Maldonado; Márcio Eduardo Delamaro; Paulo Cesar Masiero; Simposio Brasileiro de Engenharia de Software (9. 1995 Recife)

Anais Recife : Ufpe, 1995

Recife Ufpe 1995

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

9
Aplicacao da analise de mutantes na validacao de especificacoes baseadas em redes de petri
Aplicacao da analise de mutantes na validacao de especificacoes baseadas em redes de petri
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Aplicacao da analise de mutantes na validacao de especificacoes baseadas em redes de petri

S C P F Fabbri José Carlos Maldonado; Paulo Cesar Masiero; Márcio Eduardo Delamaro; Simposio Brasileiro de Engenharia de Software (8. 1994 Curitiba); Workshop de Qualidade de Software (1994 Curitiba)

Anais 1994

Curitiba 1994

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

10
Mutation analysis testing for finite state machines
Mutation analysis testing for finite state machines
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Mutation analysis testing for finite state machines

S C P F Fabbri José Carlos Maldonado; Márcio Eduardo Delamaro; Paulo Cesar Masiero; International Symposium on Software Reliability Engineering (5. 1994 Monterey)

Proceedings Monterey : Ieee, 1994

Monterey Ieee 1994

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

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

Buscando em bases de dados remotas. Favor aguardar.