ReP USP - Resultado da busca

Trabalho de evento
Mutation analysis testing for finite state machines (1994)
Fabbri, S C P F; Maldonado, José Carlos ; Delamaro, Márcio Eduardo ; Masiero, Paulo Cesar
Source: Proceedings. Conference titles: International Symposium on Software Reliability Engineering. Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FABBRI, S C P F et al. Mutation analysis testing for finite state machines. 1994, Anais.. Monterey: Ieee, 1994. . Acesso em: 07 nov. 2024.
APA
Fabbri, S. C. P. F., Maldonado, J. C., Delamaro, M. E., & Masiero, P. C. (1994). Mutation analysis testing for finite state machines. In Proceedings. Monterey: Ieee.
NLM
Fabbri SCPF, Maldonado JC, Delamaro ME, Masiero PC. Mutation analysis testing for finite state machines. Proceedings. 1994 ;[citado 2024 nov. 07 ]
Vancouver
Fabbri SCPF, Maldonado JC, Delamaro ME, Masiero PC. Mutation analysis testing for finite state machines. Proceedings. 1994 ;[citado 2024 nov. 07 ]
Relatorio tecnico
Propriedades de maquinas de estado finito relevantes para criterios de geracao de sequencias de teste (1994)
Nakazato, K K; Maldonado, José Carlos ; Fabbri, S C P F; Masiero, Paulo Cesar
Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
NAKAZATO, K K et al. Propriedades de maquinas de estado finito relevantes para criterios de geracao de sequencias de teste. . Sao Carlos: Icmsc-Usp. Disponível em: https://repositorio.usp.br/directbitstream/3cc5de8e-2b88-4c0a-aa51-2ffa9eab7311/RT_27.pdf. Acesso em: 07 nov. 2024. , 1994
APA
Nakazato, K. K., Maldonado, J. C., Fabbri, S. C. P. F., & Masiero, P. C. (1994). Propriedades de maquinas de estado finito relevantes para criterios de geracao de sequencias de teste. Sao Carlos: Icmsc-Usp. Recuperado de https://repositorio.usp.br/directbitstream/3cc5de8e-2b88-4c0a-aa51-2ffa9eab7311/RT_27.pdf
NLM
Nakazato KK, Maldonado JC, Fabbri SCPF, Masiero PC. Propriedades de maquinas de estado finito relevantes para criterios de geracao de sequencias de teste [Internet]. 1994 ;[citado 2024 nov. 07 ] Available from: https://repositorio.usp.br/directbitstream/3cc5de8e-2b88-4c0a-aa51-2ffa9eab7311/RT_27.pdf
Vancouver
Nakazato KK, Maldonado JC, Fabbri SCPF, Masiero PC. Propriedades de maquinas de estado finito relevantes para criterios de geracao de sequencias de teste [Internet]. 1994 ;[citado 2024 nov. 07 ] Available from: https://repositorio.usp.br/directbitstream/3cc5de8e-2b88-4c0a-aa51-2ffa9eab7311/RT_27.pdf
Monografia/livro
Etica para profissionais em computacao (1994)
Masiero, Paulo Cesar
Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MASIERO, Paulo Cesar. Etica para profissionais em computacao. . Sao Carlos: Icmsc-Usp. Disponível em: https://repositorio.usp.br/directbitstream/5c0f3a6c-615f-448a-b4d2-c2fff6c83a8a/872884.pdf. Acesso em: 07 nov. 2024. , 1994
APA
Masiero, P. C. (1994). Etica para profissionais em computacao. Sao Carlos: Icmsc-Usp. Recuperado de https://repositorio.usp.br/directbitstream/5c0f3a6c-615f-448a-b4d2-c2fff6c83a8a/872884.pdf
NLM
Masiero PC. Etica para profissionais em computacao [Internet]. 1994 ;[citado 2024 nov. 07 ] Available from: https://repositorio.usp.br/directbitstream/5c0f3a6c-615f-448a-b4d2-c2fff6c83a8a/872884.pdf
Vancouver
Masiero PC. Etica para profissionais em computacao [Internet]. 1994 ;[citado 2024 nov. 07 ] Available from: https://repositorio.usp.br/directbitstream/5c0f3a6c-615f-448a-b4d2-c2fff6c83a8a/872884.pdf
Trabalho de evento
Teste baseado em mutacao e qualidade de software (1994)
Delamaro, Márcio Eduardo ; Fabbri, S C P F; Maldonado, José Carlos ; Masiero, Paulo Cesar
Conference titles: Simposio Brasileiro de Engenharia de Software. Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DELAMARO, Márcio Eduardo et al. Teste baseado em mutacao e qualidade de software. 1994, Anais.. Curitiba: Sbc, 1994. . Acesso em: 07 nov. 2024.
APA
Delamaro, M. E., Fabbri, S. C. P. F., Maldonado, J. C., & Masiero, P. C. (1994). Teste baseado em mutacao e qualidade de software. In . Curitiba: Sbc.
NLM
Delamaro ME, Fabbri SCPF, Maldonado JC, Masiero PC. Teste baseado em mutacao e qualidade de software. 1994 ;[citado 2024 nov. 07 ]
Vancouver
Delamaro ME, Fabbri SCPF, Maldonado JC, Masiero PC. Teste baseado em mutacao e qualidade de software. 1994 ;[citado 2024 nov. 07 ]
Trabalho de evento
Proteum / fsm: especificacao de uma ferramenta para apoiar a avaliacao de maquina de estado finito pelo criterio analise de mutantes (1994)
Fabbri, S C P F; Delamaro, Márcio Eduardo ; Maldonado, José Carlos ; Masiero, Paulo Cesar
Source: Anais. Conference titles: Simposio Brasileiro de Redes de Computadores. Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FABBRI, S C P F et al. Proteum / fsm: especificacao de uma ferramenta para apoiar a avaliacao de maquina de estado finito pelo criterio analise de mutantes. 1994, Anais.. Curitiba: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, 1994. . Acesso em: 07 nov. 2024.
APA
Fabbri, S. C. P. F., Delamaro, M. E., Maldonado, J. C., & Masiero, P. C. (1994). Proteum / fsm: especificacao de uma ferramenta para apoiar a avaliacao de maquina de estado finito pelo criterio analise de mutantes. In Anais. Curitiba: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo.
NLM
Fabbri SCPF, Delamaro ME, Maldonado JC, Masiero PC. Proteum / fsm: especificacao de uma ferramenta para apoiar a avaliacao de maquina de estado finito pelo criterio analise de mutantes. Anais. 1994 ;[citado 2024 nov. 07 ]
Vancouver
Fabbri SCPF, Delamaro ME, Maldonado JC, Masiero PC. Proteum / fsm: especificacao de uma ferramenta para apoiar a avaliacao de maquina de estado finito pelo criterio analise de mutantes. Anais. 1994 ;[citado 2024 nov. 07 ]
Relatorio tecnico
Authoring and searching in dynamically growing hipertext databases (1994)
Masiero, Paulo Cesar ; Oliveira, Maria Cristina Ferreira de ; Germano, F S R; Pierri, G
Unidades: ICMC, FMRP
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MASIERO, Paulo Cesar et al. Authoring and searching in dynamically growing hipertext databases. . Sao Carlos: Icmsc-Usp. . Acesso em: 07 nov. 2024. , 1994
APA
Masiero, P. C., Oliveira, M. C. F. de, Germano, F. S. R., & Pierri, G. (1994). Authoring and searching in dynamically growing hipertext databases. Sao Carlos: Icmsc-Usp.
NLM
Masiero PC, Oliveira MCF de, Germano FSR, Pierri G. Authoring and searching in dynamically growing hipertext databases. 1994 ;[citado 2024 nov. 07 ]
Vancouver
Masiero PC, Oliveira MCF de, Germano FSR, Pierri G. Authoring and searching in dynamically growing hipertext databases. 1994 ;[citado 2024 nov. 07 ]
Relatorio tecnico
Sequencias basicas de maquinas de estado finito: aspectos teoricos e de implementacao (1994)
Nakazato, K K; Maldonado, José Carlos ; Fabbri, S C P F; Masiero, Paulo Cesar
Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
NAKAZATO, K K et al. Sequencias basicas de maquinas de estado finito: aspectos teoricos e de implementacao. . Sao Carlos: Icmsc-Usp. Disponível em: https://repositorio.usp.br/directbitstream/39777db2-c4fc-4f5e-bb3d-259698739f98/Relatorio%20Tecnico_28_1994.pdf. Acesso em: 07 nov. 2024. , 1994
APA
Nakazato, K. K., Maldonado, J. C., Fabbri, S. C. P. F., & Masiero, P. C. (1994). Sequencias basicas de maquinas de estado finito: aspectos teoricos e de implementacao. Sao Carlos: Icmsc-Usp. Recuperado de https://repositorio.usp.br/directbitstream/39777db2-c4fc-4f5e-bb3d-259698739f98/Relatorio%20Tecnico_28_1994.pdf
NLM
Nakazato KK, Maldonado JC, Fabbri SCPF, Masiero PC. Sequencias basicas de maquinas de estado finito: aspectos teoricos e de implementacao [Internet]. 1994 ;[citado 2024 nov. 07 ] Available from: https://repositorio.usp.br/directbitstream/39777db2-c4fc-4f5e-bb3d-259698739f98/Relatorio%20Tecnico_28_1994.pdf
Vancouver
Nakazato KK, Maldonado JC, Fabbri SCPF, Masiero PC. Sequencias basicas de maquinas de estado finito: aspectos teoricos e de implementacao [Internet]. 1994 ;[citado 2024 nov. 07 ] Available from: https://repositorio.usp.br/directbitstream/39777db2-c4fc-4f5e-bb3d-259698739f98/Relatorio%20Tecnico_28_1994.pdf
Artigo de periodico
Reachability tree for statecharts and analysis of some properties (1994)
Masiero, Paulo Cesar ; Maldonado, José Carlos ; Boaventura, I G
Source: Information and Software Technology. Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MASIERO, Paulo Cesar e MALDONADO, José Carlos e BOAVENTURA, I G. Reachability tree for statecharts and analysis of some properties. Information and Software Technology, v. 36, n. 10, p. 615-24, 1994Tradução . . Disponível em: https://doi.org/10.1016/0950-5849(94)90021-3. Acesso em: 07 nov. 2024.
APA
Masiero, P. C., Maldonado, J. C., & Boaventura, I. G. (1994). Reachability tree for statecharts and analysis of some properties. Information and Software Technology, 36( 10), 615-24. doi:10.1016/0950-5849(94)90021-3
NLM
Masiero PC, Maldonado JC, Boaventura IG. Reachability tree for statecharts and analysis of some properties [Internet]. Information and Software Technology. 1994 ;36( 10): 615-24.[citado 2024 nov. 07 ] Available from: https://doi.org/10.1016/0950-5849(94)90021-3
Vancouver
Masiero PC, Maldonado JC, Boaventura IG. Reachability tree for statecharts and analysis of some properties [Internet]. Information and Software Technology. 1994 ;36( 10): 615-24.[citado 2024 nov. 07 ] Available from: https://doi.org/10.1016/0950-5849(94)90021-3
Artigo de jornal
Programa acaba com vai-e-vem de papeis (1994)
Masiero, Paulo Cesar ; Germano, F S R
Source: Folha de São Paulo. Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MASIERO, Paulo Cesar e GERMANO, F S R. Programa acaba com vai-e-vem de papeis. Tradução . Folha de São Paulo, São Paulo, 1994. , v. 23 fe 1994, p. 6. Acesso em: 07 nov. 2024.
APA
Masiero, P. C., & Germano, F. S. R. (1994). Programa acaba com vai-e-vem de papeis. Folha de São Paulo, p. 6. São Paulo: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo.
NLM
Masiero PC, Germano FSR. Programa acaba com vai-e-vem de papeis. Folha de São Paulo. 1994 ; 23 fe 19946.[citado 2024 nov. 07 ]
Vancouver
Masiero PC, Germano FSR. Programa acaba com vai-e-vem de papeis. Folha de São Paulo. 1994 ; 23 fe 19946.[citado 2024 nov. 07 ]
Trabalho de evento
Geracao de codigo a partir de modelos comportamentais especificados por statecharts (1994)
Shibuya, R; Penteado, R D; Masiero, Paulo Cesar
Source: Anais. Conference titles: Simposio Brasileiro de Engenharia de Software. Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SHIBUYA, R e PENTEADO, R D e MASIERO, Paulo Cesar. Geracao de codigo a partir de modelos comportamentais especificados por statecharts. 1994, Anais.. Curitiba: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, 1994. . Acesso em: 07 nov. 2024.
APA
Shibuya, R., Penteado, R. D., & Masiero, P. C. (1994). Geracao de codigo a partir de modelos comportamentais especificados por statecharts. In Anais. Curitiba: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo.
NLM
Shibuya R, Penteado RD, Masiero PC. Geracao de codigo a partir de modelos comportamentais especificados por statecharts. Anais. 1994 ;[citado 2024 nov. 07 ]
Vancouver
Shibuya R, Penteado RD, Masiero PC. Geracao de codigo a partir de modelos comportamentais especificados por statecharts. Anais. 1994 ;[citado 2024 nov. 07 ]
Relatorio tecnico
Aspectos teoricos e de implementacao de criterios de geracao de sequencias de teste baseados em maquinas de estado finito (1994)
Nakazato, K K; Maldonado, José Carlos ; Fabbri, S C P F; Masiero, Paulo Cesar
Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
NAKAZATO, K K et al. Aspectos teoricos e de implementacao de criterios de geracao de sequencias de teste baseados em maquinas de estado finito. . Sao Carlos: Icmsc-Usp. Disponível em: https://repositorio.usp.br/directbitstream/a5a802c8-1355-4ab8-9191-40a2b9c17f4e/Relatorio%20Tecnico_25_1994.pdf. Acesso em: 07 nov. 2024. , 1994
APA
Nakazato, K. K., Maldonado, J. C., Fabbri, S. C. P. F., & Masiero, P. C. (1994). Aspectos teoricos e de implementacao de criterios de geracao de sequencias de teste baseados em maquinas de estado finito. Sao Carlos: Icmsc-Usp. Recuperado de https://repositorio.usp.br/directbitstream/a5a802c8-1355-4ab8-9191-40a2b9c17f4e/Relatorio%20Tecnico_25_1994.pdf
NLM
Nakazato KK, Maldonado JC, Fabbri SCPF, Masiero PC. Aspectos teoricos e de implementacao de criterios de geracao de sequencias de teste baseados em maquinas de estado finito [Internet]. 1994 ;[citado 2024 nov. 07 ] Available from: https://repositorio.usp.br/directbitstream/a5a802c8-1355-4ab8-9191-40a2b9c17f4e/Relatorio%20Tecnico_25_1994.pdf
Vancouver
Nakazato KK, Maldonado JC, Fabbri SCPF, Masiero PC. Aspectos teoricos e de implementacao de criterios de geracao de sequencias de teste baseados em maquinas de estado finito [Internet]. 1994 ;[citado 2024 nov. 07 ] Available from: https://repositorio.usp.br/directbitstream/a5a802c8-1355-4ab8-9191-40a2b9c17f4e/Relatorio%20Tecnico_25_1994.pdf
Artigo de periodico
Authoring and searching in dynamically growing hypertext databases (1994)
Masiero, Paulo Cesar ; Oliveira, Maria Cristina Ferreira de ; Germano, F S R; Pierri, G
Source: Hypermedia. Unidades: ICMC, FMRP
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MASIERO, Paulo Cesar et al. Authoring and searching in dynamically growing hypertext databases. Hypermedia, v. 6 , n. 2 , p. 124-48, 1994Tradução . . Disponível em: https://repositorio.usp.br/directbitstream/e8810732-322f-4553-81ae-add114ac21df/serie_comp_06.pdf. Acesso em: 07 nov. 2024.
APA
Masiero, P. C., Oliveira, M. C. F. de, Germano, F. S. R., & Pierri, G. (1994). Authoring and searching in dynamically growing hypertext databases. Hypermedia, 6 ( 2 ), 124-48. Recuperado de https://repositorio.usp.br/directbitstream/e8810732-322f-4553-81ae-add114ac21df/serie_comp_06.pdf
NLM
Masiero PC, Oliveira MCF de, Germano FSR, Pierri G. Authoring and searching in dynamically growing hypertext databases [Internet]. Hypermedia. 1994 ;6 ( 2 ): 124-48.[citado 2024 nov. 07 ] Available from: https://repositorio.usp.br/directbitstream/e8810732-322f-4553-81ae-add114ac21df/serie_comp_06.pdf
Vancouver
Masiero PC, Oliveira MCF de, Germano FSR, Pierri G. Authoring and searching in dynamically growing hypertext databases [Internet]. Hypermedia. 1994 ;6 ( 2 ): 124-48.[citado 2024 nov. 07 ] Available from: https://repositorio.usp.br/directbitstream/e8810732-322f-4553-81ae-add114ac21df/serie_comp_06.pdf
Trabalho de evento
Aplicacao da analise de mutantes na validacao de especificacoes baseadas em redes de petri (1994)
Fabbri, S C P F; Maldonado, José Carlos ; Masiero, Paulo Cesar ; Delamaro, Márcio Eduardo
Source: Anais. Conference titles: Simposio Brasileiro de Engenharia de Software. Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FABBRI, S C P F et al. Aplicacao da analise de mutantes na validacao de especificacoes baseadas em redes de petri. 1994, Anais.. Curitiba: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, 1994. . Acesso em: 07 nov. 2024.
APA
Fabbri, S. C. P. F., Maldonado, J. C., Masiero, P. C., & Delamaro, M. E. (1994). Aplicacao da analise de mutantes na validacao de especificacoes baseadas em redes de petri. In Anais. Curitiba: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo.
NLM
Fabbri SCPF, Maldonado JC, Masiero PC, Delamaro ME. Aplicacao da analise de mutantes na validacao de especificacoes baseadas em redes de petri. Anais. 1994 ;[citado 2024 nov. 07 ]
Vancouver
Fabbri SCPF, Maldonado JC, Masiero PC, Delamaro ME. Aplicacao da analise de mutantes na validacao de especificacoes baseadas em redes de petri. Anais. 1994 ;[citado 2024 nov. 07 ]
Artigo de periodico
Execucao programada de statecharts (1994)
Cangussu, J W; Masiero, Paulo Cesar ; Maldonado, José Carlos
Source: Revista Brasileira de Computacao. Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CANGUSSU, J W e MASIERO, Paulo Cesar e MALDONADO, José Carlos. Execucao programada de statecharts. Revista Brasileira de Computacao, v. 7 , n. 2 , p. 3-14, 1994Tradução . . Acesso em: 07 nov. 2024.
APA
Cangussu, J. W., Masiero, P. C., & Maldonado, J. C. (1994). Execucao programada de statecharts. Revista Brasileira de Computacao, 7 ( 2 ), 3-14.
NLM
Cangussu JW, Masiero PC, Maldonado JC. Execucao programada de statecharts. Revista Brasileira de Computacao. 1994 ;7 ( 2 ): 3-14.[citado 2024 nov. 07 ]
Vancouver
Cangussu JW, Masiero PC, Maldonado JC. Execucao programada de statecharts. Revista Brasileira de Computacao. 1994 ;7 ( 2 ): 3-14.[citado 2024 nov. 07 ]

USP Schools

ReP

Filtros

Authors

Source title