ReP USP - Resultado da busca

Artigo de periodico
Variability management in safety‐critical systems design and dependability analysis (2019)
Oliveira, André Luiz de ; Braga, Rosana Teresinha Vaccare ; Masiero, Paulo Cesar ; Parker, David ; Papadopoulos, Yiannis ; Habli, Ibrahim ; Kelly, Timothy Patrick
Source: Journal of Software: Evolution and Process. Unidade: ICMC
Subjects: SEGURANÇA DE SOFTWARE, FALHAS COMPUTACIONAIS, CONFIABILIDADE DE SOFTWARE, REÚSO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVEIRA, André Luiz de et al. Variability management in safety‐critical systems design and dependability analysis. Journal of Software: Evolution and Process, v. 31, n. 8, p. 1-27, 2019Tradução . . Disponível em: https://doi.org/10.1002/smr.2202. Acesso em: 16 nov. 2024.
APA
Oliveira, A. L. de, Braga, R. T. V., Masiero, P. C., Parker, D., Papadopoulos, Y., Habli, I., & Kelly, T. P. (2019). Variability management in safety‐critical systems design and dependability analysis. Journal of Software: Evolution and Process, 31( 8), 1-27. doi:10.1002/smr.2202
NLM
Oliveira AL de, Braga RTV, Masiero PC, Parker D, Papadopoulos Y, Habli I, Kelly TP. Variability management in safety‐critical systems design and dependability analysis [Internet]. Journal of Software: Evolution and Process. 2019 ; 31( 8): 1-27.[citado 2024 nov. 16 ] Available from: https://doi.org/10.1002/smr.2202
Vancouver
Oliveira AL de, Braga RTV, Masiero PC, Parker D, Papadopoulos Y, Habli I, Kelly TP. Variability management in safety‐critical systems design and dependability analysis [Internet]. Journal of Software: Evolution and Process. 2019 ; 31( 8): 1-27.[citado 2024 nov. 16 ] Available from: https://doi.org/10.1002/smr.2202
Artigo de periodico
Similarity testing for role-based access control systems (2018)
Damasceno, Carlos Diego N.; Masiero, Paulo Cesar ; Simão, Adenilso da Silva
Source: Journal of Software Engineering Research and Development. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO, AUTÔMATOS FINITOS, TESTE E AVALIAÇÃO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DAMASCENO, Carlos Diego N. e MASIERO, Paulo Cesar e SIMÃO, Adenilso da Silva. Similarity testing for role-based access control systems. Journal of Software Engineering Research and Development, v. 6, n. Ja 2018, p. 1-37, 2018Tradução . . Disponível em: https://doi.org/10.1186/s40411-017-0045-x. Acesso em: 16 nov. 2024.
APA
Damasceno, C. D. N., Masiero, P. C., & Simão, A. da S. (2018). Similarity testing for role-based access control systems. Journal of Software Engineering Research and Development, 6( Ja 2018), 1-37. doi:10.1186/s40411-017-0045-x
NLM
Damasceno CDN, Masiero PC, Simão A da S. Similarity testing for role-based access control systems [Internet]. Journal of Software Engineering Research and Development. 2018 ; 6( Ja 2018): 1-37.[citado 2024 nov. 16 ] Available from: https://doi.org/10.1186/s40411-017-0045-x
Vancouver
Damasceno CDN, Masiero PC, Simão A da S. Similarity testing for role-based access control systems [Internet]. Journal of Software Engineering Research and Development. 2018 ; 6( Ja 2018): 1-37.[citado 2024 nov. 16 ] Available from: https://doi.org/10.1186/s40411-017-0045-x
Trabalho de evento-anais periodico
Variability management in safety-critical software product line engineering (2018)
Oliveira, André Luiz; Braga, Rosana Teresinha Vaccare ; Masiero, Paulo Cesar ; Papadopoulos, Yiannis; Habli, Ibrahim; Kelly, Tim
Source: Lecture Notes in Computer Science. Conference titles: International Conference on Software Reuse - ICSR. Unidade: ICMC
Subjects: CONFIABILIDADE DE SOFTWARE, NORMAS DE SEGURANÇA, AVALIAÇÃO DE RISCO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVEIRA, André Luiz et al. Variability management in safety-critical software product line engineering. Lecture Notes in Computer Science. Cham: Springer. Disponível em: https://doi.org/10.1007/978-3-319-90421-4_1. Acesso em: 16 nov. 2024. , 2018
APA
Oliveira, A. L., Braga, R. T. V., Masiero, P. C., Papadopoulos, Y., Habli, I., & Kelly, T. (2018). Variability management in safety-critical software product line engineering. Lecture Notes in Computer Science. Cham: Springer. doi:10.1007/978-3-319-90421-4_1
NLM
Oliveira AL, Braga RTV, Masiero PC, Papadopoulos Y, Habli I, Kelly T. Variability management in safety-critical software product line engineering [Internet]. Lecture Notes in Computer Science. 2018 ; 10826 3-22.[citado 2024 nov. 16 ] Available from: https://doi.org/10.1007/978-3-319-90421-4_1
Vancouver
Oliveira AL, Braga RTV, Masiero PC, Papadopoulos Y, Habli I, Kelly T. Variability management in safety-critical software product line engineering [Internet]. Lecture Notes in Computer Science. 2018 ; 10826 3-22.[citado 2024 nov. 16 ] Available from: https://doi.org/10.1007/978-3-319-90421-4_1
Trabalho de evento
Automated structural software testing of autonomous vehicles (2017)
Neves, Vânia de Oliveira; Delamaro, Márcio Eduardo ; Masiero, Paulo Cesar
Source: CibSE Proceedings - SET - Software Engineering Track. Conference titles: Ibero-American Conference on Software Engineering - CIBSE. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
NEVES, Vânia de Oliveira e DELAMARO, Márcio Eduardo e MASIERO, Paulo Cesar. Automated structural software testing of autonomous vehicles. 2017, Anais.. Buenos Aires, Argentina: UNLaM - Universidad Nacional de La Matanza, 2017. . Acesso em: 16 nov. 2024.
APA
Neves, V. de O., Delamaro, M. E., & Masiero, P. C. (2017). Automated structural software testing of autonomous vehicles. In CibSE Proceedings - SET - Software Engineering Track. Buenos Aires, Argentina: UNLaM - Universidad Nacional de La Matanza.
NLM
Neves V de O, Delamaro ME, Masiero PC. Automated structural software testing of autonomous vehicles. CibSE Proceedings - SET - Software Engineering Track. 2017 ;[citado 2024 nov. 16 ]
Vancouver
Neves V de O, Delamaro ME, Masiero PC. Automated structural software testing of autonomous vehicles. CibSE Proceedings - SET - Software Engineering Track. 2017 ;[citado 2024 nov. 16 ]
Trabalho de evento
PATeCa: uma ferramenta de apoio ao teste estrutural de veículos autônomos (2017)
Neves, Vânia de Oliveira; Delamaro, Márcio Eduardo ; Masiero, Paulo Cesar
Source: Anais. Conference titles: Congresso Brasileiro de Software - CBSOFT. Unidade: ICMC
Subjects: TESTE E AVALIAÇÃO DE SOFTWARE, ROBÓTICA, VEÍCULOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
NEVES, Vânia de Oliveira e DELAMARO, Márcio Eduardo e MASIERO, Paulo Cesar. PATeCa: uma ferramenta de apoio ao teste estrutural de veículos autônomos. 2017, Anais.. Fortaleza: Universidade Federal do Ceará, 2017. Disponível em: http://www.lia.ufc.br/~cbsoft2017/proceedings_files/AnaisSessaoFerramentas_CBSoft2017.pdf. Acesso em: 16 nov. 2024.
APA
Neves, V. de O., Delamaro, M. E., & Masiero, P. C. (2017). PATeCa: uma ferramenta de apoio ao teste estrutural de veículos autônomos. In Anais. Fortaleza: Universidade Federal do Ceará. Recuperado de http://www.lia.ufc.br/~cbsoft2017/proceedings_files/AnaisSessaoFerramentas_CBSoft2017.pdf
NLM
Neves V de O, Delamaro ME, Masiero PC. PATeCa: uma ferramenta de apoio ao teste estrutural de veículos autônomos [Internet]. Anais. 2017 ;[citado 2024 nov. 16 ] Available from: http://www.lia.ufc.br/~cbsoft2017/proceedings_files/AnaisSessaoFerramentas_CBSoft2017.pdf
Vancouver
Neves V de O, Delamaro ME, Masiero PC. PATeCa: uma ferramenta de apoio ao teste estrutural de veículos autônomos [Internet]. Anais. 2017 ;[citado 2024 nov. 16 ] Available from: http://www.lia.ufc.br/~cbsoft2017/proceedings_files/AnaisSessaoFerramentas_CBSoft2017.pdf
Trabalho de evento
Evaluating test characteristics and effectiveness of FSM-based testing methods on RBAC systems (2016)
Damasceno, Carlos Diego Nascimento; Masiero, Paulo Cesar ; Simão, Adenilso da Silva
Source: Proceedings. Conference titles: Brazilian Symposium on Software Engineering - SBES 2016. Unidade: ICMC
Subjects: SISTEMAS DE INFORMAÇÃO, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DAMASCENO, Carlos Diego Nascimento e MASIERO, Paulo Cesar e SIMÃO, Adenilso da Silva. Evaluating test characteristics and effectiveness of FSM-based testing methods on RBAC systems. 2016, Anais.. New York, NY: ACM, 2016. Disponível em: https://doi.org/10.1145/2973839.2973849. Acesso em: 16 nov. 2024.
APA
Damasceno, C. D. N., Masiero, P. C., & Simão, A. da S. (2016). Evaluating test characteristics and effectiveness of FSM-based testing methods on RBAC systems. In Proceedings. New York, NY: ACM. doi:10.1145/2973839.2973849
NLM
Damasceno CDN, Masiero PC, Simão A da S. Evaluating test characteristics and effectiveness of FSM-based testing methods on RBAC systems [Internet]. Proceedings. 2016 ;[citado 2024 nov. 16 ] Available from: https://doi.org/10.1145/2973839.2973849
Vancouver
Damasceno CDN, Masiero PC, Simão A da S. Evaluating test characteristics and effectiveness of FSM-based testing methods on RBAC systems [Internet]. Proceedings. 2016 ;[citado 2024 nov. 16 ] Available from: https://doi.org/10.1145/2973839.2973849
Artigo de periodico
Combination and mutation strategies to support test data generation in the context of autonomous vehicles (2016)
Neves, Vânia de Oliveira; Delamaro, Márcio Eduardo ; Masiero, Paulo Cesar
Source: International Journal of Embedded Systems (IJES). Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO, SISTEMAS EMBUTIDOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
NEVES, Vânia de Oliveira e DELAMARO, Márcio Eduardo e MASIERO, Paulo Cesar. Combination and mutation strategies to support test data generation in the context of autonomous vehicles. International Journal of Embedded Systems (IJES), v. 8, n. 5/6, p. 464-482, 2016Tradução . . Disponível em: https://doi.org/10.1504/IJES.2016.10001345. Acesso em: 16 nov. 2024.
APA
Neves, V. de O., Delamaro, M. E., & Masiero, P. C. (2016). Combination and mutation strategies to support test data generation in the context of autonomous vehicles. International Journal of Embedded Systems (IJES), 8( 5/6), 464-482. doi:10.1504/IJES.2016.10001345
NLM
Neves V de O, Delamaro ME, Masiero PC. Combination and mutation strategies to support test data generation in the context of autonomous vehicles [Internet]. International Journal of Embedded Systems (IJES). 2016 ; 8( 5/6): 464-482.[citado 2024 nov. 16 ] Available from: https://doi.org/10.1504/IJES.2016.10001345
Vancouver
Neves V de O, Delamaro ME, Masiero PC. Combination and mutation strategies to support test data generation in the context of autonomous vehicles [Internet]. International Journal of Embedded Systems (IJES). 2016 ; 8( 5/6): 464-482.[citado 2024 nov. 16 ] Available from: https://doi.org/10.1504/IJES.2016.10001345
Artigo de periodico
Testing of aspect-oriented programs: difficulties and lessons learned based on theoretical and practical experience (2015)
Ferrari, Fabiano Cutigi; Cafeo, Bruno B. P.; Levin, Thiago G.; Lacerda, Jésus T. S; Lemos, Otávio A. L; Maldonado, José Carlos ; Masiero, Paulo Cesar
Source: Journal of the Brazilian Computer Society. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FERRARI, Fabiano Cutigi et al. Testing of aspect-oriented programs: difficulties and lessons learned based on theoretical and practical experience. Journal of the Brazilian Computer Society, v. 21, n. 20, p. 1-25, 2015Tradução . . Disponível em: https://doi.org/10.1186/s13173-015-0040-1. Acesso em: 16 nov. 2024.
APA
Ferrari, F. C., Cafeo, B. B. P., Levin, T. G., Lacerda, J. T. S., Lemos, O. A. L., Maldonado, J. C., & Masiero, P. C. (2015). Testing of aspect-oriented programs: difficulties and lessons learned based on theoretical and practical experience. Journal of the Brazilian Computer Society, 21( 20), 1-25. doi:10.1186/s13173-015-0040-1
NLM
Ferrari FC, Cafeo BBP, Levin TG, Lacerda JTS, Lemos OAL, Maldonado JC, Masiero PC. Testing of aspect-oriented programs: difficulties and lessons learned based on theoretical and practical experience [Internet]. Journal of the Brazilian Computer Society. 2015 ; 21( 20): 1-25.[citado 2024 nov. 16 ] Available from: https://doi.org/10.1186/s13173-015-0040-1
Vancouver
Ferrari FC, Cafeo BBP, Levin TG, Lacerda JTS, Lemos OAL, Maldonado JC, Masiero PC. Testing of aspect-oriented programs: difficulties and lessons learned based on theoretical and practical experience [Internet]. Journal of the Brazilian Computer Society. 2015 ; 21( 20): 1-25.[citado 2024 nov. 16 ] Available from: https://doi.org/10.1186/s13173-015-0040-1
Trabalho de evento-anais periodico
Supporting the automated generation of modular product line safety cases (2015)
Oliveira, Andre L. de; Braga, Rosana Teresinha Vaccare ; Masiero, Paulo Cesar ; Papadopoulos, Yiannis; Habli, Ibrahim; Kelly, Tim
Source: Proceedings. Conference titles: International Conference on Dependability and Complex Systems DepCoS-RELCOMEX 2015. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVEIRA, Andre L. de et al. Supporting the automated generation of modular product line safety cases. Proceedings. Cham, Switzerland: Springer International Publishing. Disponível em: https://doi.org/10.1007/978-3-319-19216-1_30. Acesso em: 16 nov. 2024. , 2015
APA
Oliveira, A. L. de, Braga, R. T. V., Masiero, P. C., Papadopoulos, Y., Habli, I., & Kelly, T. (2015). Supporting the automated generation of modular product line safety cases. Proceedings. Cham, Switzerland: Springer International Publishing. doi:10.1007/978-3-319-19216-1_30
NLM
Oliveira AL de, Braga RTV, Masiero PC, Papadopoulos Y, Habli I, Kelly T. Supporting the automated generation of modular product line safety cases [Internet]. Proceedings. 2015 ; 365 319-330.[citado 2024 nov. 16 ] Available from: https://doi.org/10.1007/978-3-319-19216-1_30
Vancouver
Oliveira AL de, Braga RTV, Masiero PC, Papadopoulos Y, Habli I, Kelly T. Supporting the automated generation of modular product line safety cases [Internet]. Proceedings. 2015 ; 365 319-330.[citado 2024 nov. 16 ] Available from: https://doi.org/10.1007/978-3-319-19216-1_30
Trabalho de evento
Uma abordagem para geração automática de dados de teste utilizando algoritmos evolutivos para software controlador de veículos autônomos (2015)
Neves, Vânia de Oliveira; Delamaro, Márcio Eduardo ; Masiero, Paulo Cesar
Source: Proceedings. Conference titles: Ibero-American Conference on Software Engineering - CIBSE 2015. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
NEVES, Vânia de Oliveira e DELAMARO, Márcio Eduardo e MASIERO, Paulo Cesar. Uma abordagem para geração automática de dados de teste utilizando algoritmos evolutivos para software controlador de veículos autônomos. 2015, Anais.. Arequipa, Perú: Universidad Católica San Pablo, 2015. . Acesso em: 16 nov. 2024.
APA
Neves, V. de O., Delamaro, M. E., & Masiero, P. C. (2015). Uma abordagem para geração automática de dados de teste utilizando algoritmos evolutivos para software controlador de veículos autônomos. In Proceedings. Arequipa, Perú: Universidad Católica San Pablo.
NLM
Neves V de O, Delamaro ME, Masiero PC. Uma abordagem para geração automática de dados de teste utilizando algoritmos evolutivos para software controlador de veículos autônomos. Proceedings. 2015 ;[citado 2024 nov. 16 ]
Vancouver
Neves V de O, Delamaro ME, Masiero PC. Uma abordagem para geração automática de dados de teste utilizando algoritmos evolutivos para software controlador de veículos autônomos. Proceedings. 2015 ;[citado 2024 nov. 16 ]
Artigo de periodico
Extending statecharts to model system interactions (2015)
Ramos, Marcelo A; Masiero, Paulo Cesar ; Penteado, Rosangela A. D; Braga, Rosana Teresinha Vaccare
Source: Journal of Software Engineering Research and Development. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RAMOS, Marcelo A et al. Extending statecharts to model system interactions. Journal of Software Engineering Research and Development, v. 3, n. 12, p. 1-25, 2015Tradução . . Disponível em: https://doi.org/10.1186/s40411-015-0026-x. Acesso em: 16 nov. 2024.
APA
Ramos, M. A., Masiero, P. C., Penteado, R. A. D., & Braga, R. T. V. (2015). Extending statecharts to model system interactions. Journal of Software Engineering Research and Development, 3( 12), 1-25. doi:10.1186/s40411-015-0026-x
NLM
Ramos MA, Masiero PC, Penteado RAD, Braga RTV. Extending statecharts to model system interactions [Internet]. Journal of Software Engineering Research and Development. 2015 ; 3( 12): 1-25.[citado 2024 nov. 16 ] Available from: https://doi.org/10.1186/s40411-015-0026-x
Vancouver
Ramos MA, Masiero PC, Penteado RAD, Braga RTV. Extending statecharts to model system interactions [Internet]. Journal of Software Engineering Research and Development. 2015 ; 3( 12): 1-25.[citado 2024 nov. 16 ] Available from: https://doi.org/10.1186/s40411-015-0026-x
Trabalho de evento-anais periodico
Automatic allocation of safety requirements to components of a software product line (2015)
Oliveira, Andre L. de; Papadopoulos, Yiannis; Azevedo, Luís S; Parker, David; Braga, Rosana Teresinha Vaccare ; Masiero, Paulo Cesar ; Habli, Ibrahim; Kelly, Tim
Source: IFAC-PapersOnLine. Conference titles: IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes - SafeProcess 2015. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVEIRA, Andre L. de et al. Automatic allocation of safety requirements to components of a software product line. IFAC-PapersOnLine. Paris, FR: IFAC/Elsevier. Disponível em: https://doi.org/10.1016/j.ifacol.2015.09.706. Acesso em: 16 nov. 2024. , 2015
APA
Oliveira, A. L. de, Papadopoulos, Y., Azevedo, L. S., Parker, D., Braga, R. T. V., Masiero, P. C., et al. (2015). Automatic allocation of safety requirements to components of a software product line. IFAC-PapersOnLine. Paris, FR: IFAC/Elsevier. doi:10.1016/j.ifacol.2015.09.706
NLM
Oliveira AL de, Papadopoulos Y, Azevedo LS, Parker D, Braga RTV, Masiero PC, Habli I, Kelly T. Automatic allocation of safety requirements to components of a software product line [Internet]. IFAC-PapersOnLine. 2015 ; 48( 21): 1309-1314.[citado 2024 nov. 16 ] Available from: https://doi.org/10.1016/j.ifacol.2015.09.706
Vancouver
Oliveira AL de, Papadopoulos Y, Azevedo LS, Parker D, Braga RTV, Masiero PC, Habli I, Kelly T. Automatic allocation of safety requirements to components of a software product line [Internet]. IFAC-PapersOnLine. 2015 ; 48( 21): 1309-1314.[citado 2024 nov. 16 ] Available from: https://doi.org/10.1016/j.ifacol.2015.09.706
Trabalho de evento-resumo
HEUA: a heuristic evaluation with usability and accessibility requirements to assess web systems (2014)
Dias, Ana Luiza; Fortes, Renata Pontin de Mattos ; Masiero, Paulo Cesar
Source: Proceedings. Conference titles: Web for All Conference - W4A '14. Unidade: ICMC
Subjects: SISTEMAS DE INFORMAÇÃO, ENGENHARIA DE SOFTWARE, WORLD WIDE WEB, MULTIMÍDIA INTERATIVA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DIAS, Ana Luiza e FORTES, Renata Pontin de Mattos e MASIERO, Paulo Cesar. HEUA: a heuristic evaluation with usability and accessibility requirements to assess web systems. 2014, Anais.. New York: ACM, 2014. Disponível em: https://doi.org/10.1145/2596695.2596706. Acesso em: 16 nov. 2024.
APA
Dias, A. L., Fortes, R. P. de M., & Masiero, P. C. (2014). HEUA: a heuristic evaluation with usability and accessibility requirements to assess web systems. In Proceedings. New York: ACM. doi:10.1145/2596695.2596706
NLM
Dias AL, Fortes RP de M, Masiero PC. HEUA: a heuristic evaluation with usability and accessibility requirements to assess web systems [Internet]. Proceedings. 2014 ;[citado 2024 nov. 16 ] Available from: https://doi.org/10.1145/2596695.2596706
Vancouver
Dias AL, Fortes RP de M, Masiero PC. HEUA: a heuristic evaluation with usability and accessibility requirements to assess web systems [Internet]. Proceedings. 2014 ;[citado 2024 nov. 16 ] Available from: https://doi.org/10.1145/2596695.2596706
Trabalho de evento
A model-based approach to support the automatic safety analysis of multiple product line products (2014)
Oliveira, Andre L. de; Braga, Rosana Teresinha Vaccare ; Masiero, Paulo Cesar ; Papadopoulos, Yiannis; Habli, Ibrahim; Kelly, Tim
Source: Anais. Conference titles: Simpósio Brasileiro de Engenharia de Sistemas Computacionais - SBESC 2014. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVEIRA, Andre L. de et al. A model-based approach to support the automatic safety analysis of multiple product line products. 2014, Anais.. Porto Alegre, RS: SBC, 2014. . Acesso em: 16 nov. 2024.
APA
Oliveira, A. L. de, Braga, R. T. V., Masiero, P. C., Papadopoulos, Y., Habli, I., & Kelly, T. (2014). A model-based approach to support the automatic safety analysis of multiple product line products. In Anais. Porto Alegre, RS: SBC.
NLM
Oliveira AL de, Braga RTV, Masiero PC, Papadopoulos Y, Habli I, Kelly T. A model-based approach to support the automatic safety analysis of multiple product line products. Anais. 2014 ;[citado 2024 nov. 16 ]
Vancouver
Oliveira AL de, Braga RTV, Masiero PC, Papadopoulos Y, Habli I, Kelly T. A model-based approach to support the automatic safety analysis of multiple product line products. Anais. 2014 ;[citado 2024 nov. 16 ]
Trabalho de evento
A pattern to argue the compliance of system safety requirements decomposition (2014)
Oliveira, Andre L. de; Braga, Rosana Teresinha Vaccare ; Masiero, Paulo Cesar ; Habli, Ibrahim; Kelly, Tim
Source: Anais. Conference titles: Latin American Conference on Pattern Languages of Programs - SugarLoaf PLoP 2014. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVEIRA, Andre L. de et al. A pattern to argue the compliance of system safety requirements decomposition. 2014, Anais.. Porto Alegre, RS: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, 2014. . Acesso em: 16 nov. 2024.
APA
Oliveira, A. L. de, Braga, R. T. V., Masiero, P. C., Habli, I., & Kelly, T. (2014). A pattern to argue the compliance of system safety requirements decomposition. In Anais. Porto Alegre, RS: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo.
NLM
Oliveira AL de, Braga RTV, Masiero PC, Habli I, Kelly T. A pattern to argue the compliance of system safety requirements decomposition. Anais. 2014 ;[citado 2024 nov. 16 ]
Vancouver
Oliveira AL de, Braga RTV, Masiero PC, Habli I, Kelly T. A pattern to argue the compliance of system safety requirements decomposition. Anais. 2014 ;[citado 2024 nov. 16 ]
Trabalho de evento
An environment to support structural testing of autonomous vehicles (2014)
Neves, Vânia de Oliveira ; Delamaro, Márcio Eduardo ; Masiero, Paulo Cesar
Source: Proceedings. Conference titles: Brazilian Symposium on Computing Systems Engineering - SBESC. Unidade: ICMC
Subjects: TESTE E AVALIAÇÃO DE SOFTWARE, VEÍCULOS AUTÔNOMOS, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
NEVES, Vânia de Oliveira e DELAMARO, Márcio Eduardo e MASIERO, Paulo Cesar. An environment to support structural testing of autonomous vehicles. 2014, Anais.. Los Alamitos: IEEE, 2014. Disponível em: https://doi.org/10.1109/SBESC.2014.27. Acesso em: 16 nov. 2024.
APA
Neves, V. de O., Delamaro, M. E., & Masiero, P. C. (2014). An environment to support structural testing of autonomous vehicles. In Proceedings. Los Alamitos: IEEE. doi:10.1109/SBESC.2014.27
NLM
Neves V de O, Delamaro ME, Masiero PC. An environment to support structural testing of autonomous vehicles [Internet]. Proceedings. 2014 ;[citado 2024 nov. 16 ] Available from: https://doi.org/10.1109/SBESC.2014.27
Vancouver
Neves V de O, Delamaro ME, Masiero PC. An environment to support structural testing of autonomous vehicles [Internet]. Proceedings. 2014 ;[citado 2024 nov. 16 ] Available from: https://doi.org/10.1109/SBESC.2014.27
Trabalho de evento
Heurísticas para seleção da população inicial de algoritmos de teste baseado em busca para software controlador de veículos autônomos (2014)
Neves, Vânia de Oliveira; Delamaro, Márcio Eduardo ; Masiero, Paulo Cesar
Source: Anais. Conference titles: Brazilian Conference on Software: theory and practice- CBSoft 2014. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
NEVES, Vânia de Oliveira e DELAMARO, Márcio Eduardo e MASIERO, Paulo Cesar. Heurísticas para seleção da população inicial de algoritmos de teste baseado em busca para software controlador de veículos autônomos. 2014, Anais.. Porto Alegre, RS: SBC, 2014. Disponível em: http://www.ic.ufal.br/evento/cbsoft2014/anais/sast_v1_p.pdf. Acesso em: 16 nov. 2024.
APA
Neves, V. de O., Delamaro, M. E., & Masiero, P. C. (2014). Heurísticas para seleção da população inicial de algoritmos de teste baseado em busca para software controlador de veículos autônomos. In Anais. Porto Alegre, RS: SBC. Recuperado de http://www.ic.ufal.br/evento/cbsoft2014/anais/sast_v1_p.pdf
NLM
Neves V de O, Delamaro ME, Masiero PC. Heurísticas para seleção da população inicial de algoritmos de teste baseado em busca para software controlador de veículos autônomos [Internet]. Anais. 2014 ;[citado 2024 nov. 16 ] Available from: http://www.ic.ufal.br/evento/cbsoft2014/anais/sast_v1_p.pdf
Vancouver
Neves V de O, Delamaro ME, Masiero PC. Heurísticas para seleção da população inicial de algoritmos de teste baseado em busca para software controlador de veículos autônomos [Internet]. Anais. 2014 ;[citado 2024 nov. 16 ] Available from: http://www.ic.ufal.br/evento/cbsoft2014/anais/sast_v1_p.pdf
Artigo de periodico
Applying structural testing to services using testing interfaces and metadata (2013)
Eler, Marcelo Medeiros; Bertolino, Antonia; Masiero, Paulo Cesar
Source: International Journal of Software and Informatics. Unidades: EACH, ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ELER, Marcelo Medeiros e BERTOLINO, Antonia e MASIERO, Paulo Cesar. Applying structural testing to services using testing interfaces and metadata. International Journal of Software and Informatics, v. 7, n. 2, p. 239-271, 2013Tradução . . Disponível em: http://www.ijsi.org/ch/reader/view_abstract.aspx?file_no=i153&flag=1. Acesso em: 16 nov. 2024.
APA
Eler, M. M., Bertolino, A., & Masiero, P. C. (2013). Applying structural testing to services using testing interfaces and metadata. International Journal of Software and Informatics, 7( 2), 239-271. Recuperado de http://www.ijsi.org/ch/reader/view_abstract.aspx?file_no=i153&flag=1
NLM
Eler MM, Bertolino A, Masiero PC. Applying structural testing to services using testing interfaces and metadata [Internet]. International Journal of Software and Informatics. 2013 ; 7( 2): 239-271.[citado 2024 nov. 16 ] Available from: http://www.ijsi.org/ch/reader/view_abstract.aspx?file_no=i153&flag=1
Vancouver
Eler MM, Bertolino A, Masiero PC. Applying structural testing to services using testing interfaces and metadata [Internet]. International Journal of Software and Informatics. 2013 ; 7( 2): 239-271.[citado 2024 nov. 16 ] Available from: http://www.ijsi.org/ch/reader/view_abstract.aspx?file_no=i153&flag=1
Trabalho de evento
Difficulties for testing aspect-oriented programs: a report based on practical experience on structural and mutation testing (2013)
Ferrari, Fabiano Cutigi; Cafeo, Bruno B. P; Lemos, Otávio A. L; Maldonado, José Carlos ; Masiero, Paulo Cesar
Source: Anais. Conference titles: Congresso Brasileiro de Software: Teoria e Prática - CBSoft 2013. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FERRARI, Fabiano Cutigi et al. Difficulties for testing aspect-oriented programs: a report based on practical experience on structural and mutation testing. 2013, Anais.. Porto Alegre, RS: SBC, 2013. . Acesso em: 16 nov. 2024.
APA
Ferrari, F. C., Cafeo, B. B. P., Lemos, O. A. L., Maldonado, J. C., & Masiero, P. C. (2013). Difficulties for testing aspect-oriented programs: a report based on practical experience on structural and mutation testing. In Anais. Porto Alegre, RS: SBC.
NLM
Ferrari FC, Cafeo BBP, Lemos OAL, Maldonado JC, Masiero PC. Difficulties for testing aspect-oriented programs: a report based on practical experience on structural and mutation testing. Anais. 2013 ;[citado 2024 nov. 16 ]
Vancouver
Ferrari FC, Cafeo BBP, Lemos OAL, Maldonado JC, Masiero PC. Difficulties for testing aspect-oriented programs: a report based on practical experience on structural and mutation testing. Anais. 2013 ;[citado 2024 nov. 16 ]
Artigo de periodico
Managing SPL Variabilities in UAV Simulink Models with Pure::variants and Hephaestus (2013)
Steiner, Eduardo; Masiero, Paulo Cesar ; Bonifácio, Rodrigo
Source: CLEI Electronic Journal. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
STEINER, Eduardo e MASIERO, Paulo Cesar e BONIFÁCIO, Rodrigo. Managing SPL Variabilities in UAV Simulink Models with Pure::variants and Hephaestus. CLEI Electronic Journal, v. 16, n. 1, p. 1-16, 2013Tradução . . Disponível em: http://www.clei.cl/cleiej/papers/v16i1p6.pdf. Acesso em: 16 nov. 2024.
APA
Steiner, E., Masiero, P. C., & Bonifácio, R. (2013). Managing SPL Variabilities in UAV Simulink Models with Pure::variants and Hephaestus. CLEI Electronic Journal, 16( 1), 1-16. Recuperado de http://www.clei.cl/cleiej/papers/v16i1p6.pdf
NLM
Steiner E, Masiero PC, Bonifácio R. Managing SPL Variabilities in UAV Simulink Models with Pure::variants and Hephaestus [Internet]. CLEI Electronic Journal. 2013 ; 16( 1): 1-16.[citado 2024 nov. 16 ] Available from: http://www.clei.cl/cleiej/papers/v16i1p6.pdf
Vancouver
Steiner E, Masiero PC, Bonifácio R. Managing SPL Variabilities in UAV Simulink Models with Pure::variants and Hephaestus [Internet]. CLEI Electronic Journal. 2013 ; 16( 1): 1-16.[citado 2024 nov. 16 ] Available from: http://www.clei.cl/cleiej/papers/v16i1p6.pdf

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Conference titles

Countries/Territories

Indexado em

Normalized affiliation

Non normalized affiliation