ReP USP - Resultado da busca

Trabalho de evento-anais periodico
Inferring FSM models of systems without reset (2019)
Groz, Roland ; Simão, Adenilso da Silva ; Petrenko, Alexandre ; Oriat, Catherine
Fonte: Lecture Notes in Computer Science. Nome do evento: International Dagstuhl Seminar 16172. Unidade: ICMC
Assuntos: ALGORITMOS ÚTEIS E ESPECÍFICOS, ENGENHARIA DE SOFTWARE, MÉTODOS DE ENSINO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GROZ, Roland et al. Inferring FSM models of systems without reset. Lecture Notes in Computer Science. Cham: Springer. Disponível em: https://doi.org/10.1007/978-3-319-96562-8_7. Acesso em: 02 ago. 2025. , 2019
APA
Groz, R., Simão, A. da S., Petrenko, A., & Oriat, C. (2019). Inferring FSM models of systems without reset. Lecture Notes in Computer Science. Cham: Springer. doi:10.1007/978-3-319-96562-8_7
NLM
Groz R, Simão A da S, Petrenko A, Oriat C. Inferring FSM models of systems without reset [Internet]. Lecture Notes in Computer Science. 2019 ; 11026 178-201.[citado 2025 ago. 02 ] Available from: https://doi.org/10.1007/978-3-319-96562-8_7
Vancouver
Groz R, Simão A da S, Petrenko A, Oriat C. Inferring FSM models of systems without reset [Internet]. Lecture Notes in Computer Science. 2019 ; 11026 178-201.[citado 2025 ago. 02 ] Available from: https://doi.org/10.1007/978-3-319-96562-8_7
Trabalho de evento-anais periodico
Enabling continuous software engineering for embedded systems architectures with virtual prototypes (2018)
Antonino, Pablo Oliveira; Jung, Matthias; Morgenstern, Andreas; Faßnacht, Florian; Bauer, Thomas; Bachorek, Adam; Kuhn, Thomas; Nakagawa, Elisa Yumi
Fonte: Lecture Notes in Computer Science. Nome do evento: European Conference on Software Architecture - ECSA 2018. Unidade: ICMC
Assuntos: ENGENHARIA DE SOFTWARE, ARQUITETURA DE SOFTWARE, SIMULAÇÃO, SOFTWARES, DESIGN, PROTOTIPAÇÃO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ANTONINO, Pablo Oliveira et al. Enabling continuous software engineering for embedded systems architectures with virtual prototypes. Lecture Notes in Computer Science. Cham: Springer Nature Switzerland AG. Disponível em: https://doi.org/10.1007/978-3-030-00761-4_8. Acesso em: 02 ago. 2025. , 2018
APA
Antonino, P. O., Jung, M., Morgenstern, A., Faßnacht, F., Bauer, T., Bachorek, A., et al. (2018). Enabling continuous software engineering for embedded systems architectures with virtual prototypes. Lecture Notes in Computer Science. Cham: Springer Nature Switzerland AG. doi:10.1007/978-3-030-00761-4_8
NLM
Antonino PO, Jung M, Morgenstern A, Faßnacht F, Bauer T, Bachorek A, Kuhn T, Nakagawa EY. Enabling continuous software engineering for embedded systems architectures with virtual prototypes [Internet]. Lecture Notes in Computer Science. 2018 ; 11048 115-130.[citado 2025 ago. 02 ] Available from: https://doi.org/10.1007/978-3-030-00761-4_8
Vancouver
Antonino PO, Jung M, Morgenstern A, Faßnacht F, Bauer T, Bachorek A, Kuhn T, Nakagawa EY. Enabling continuous software engineering for embedded systems architectures with virtual prototypes [Internet]. Lecture Notes in Computer Science. 2018 ; 11048 115-130.[citado 2025 ago. 02 ] Available from: https://doi.org/10.1007/978-3-030-00761-4_8
Trabalho de evento-anais periodico
Towards a MAS product line engineering approach (2018)
Boufedji, Dounia; Guessoum, Zahia; Brandão, Anarosa Alves Franco ; Ziadi, Tewfik; Mokhtari ,Aicha
Fonte: Lecture Notes in Computer Science. Nome do evento: Engineering Multi-Agent Systems -International Workshop. Unidade: EP
Assuntos: ENGENHARIA DE SOFTWARE, REÚSO DE SOFTWARE, SISTEMAS MULTIAGENTES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BOUFEDJI, Dounia et al. Towards a MAS product line engineering approach. Lecture Notes in Computer Science. Cham: Escola Politécnica, Universidade de São Paulo. Disponível em: https://doi.org/10.1007/978-3-319-91899-0_10. Acesso em: 02 ago. 2025. , 2018
APA
Boufedji, D., Guessoum, Z., Brandão, A. A. F., Ziadi, T., & Mokhtari , A. (2018). Towards a MAS product line engineering approach. Lecture Notes in Computer Science. Cham: Escola Politécnica, Universidade de São Paulo. doi:10.1007/978-3-319-91899-0_10
NLM
Boufedji D, Guessoum Z, Brandão AAF, Ziadi T, Mokhtari A. Towards a MAS product line engineering approach [Internet]. Lecture Notes in Computer Science. 2018 ; 10738 161-179.[citado 2025 ago. 02 ] Available from: https://doi.org/10.1007/978-3-319-91899-0_10
Vancouver
Boufedji D, Guessoum Z, Brandão AAF, Ziadi T, Mokhtari A. Towards a MAS product line engineering approach [Internet]. Lecture Notes in Computer Science. 2018 ; 10738 161-179.[citado 2025 ago. 02 ] Available from: https://doi.org/10.1007/978-3-319-91899-0_10
Trabalho de evento-anais periodico
The evolution of design pattern grime: an industrial case study (2017)
Feitosa, Daniel; Avgeriou, Paris; Ampatzoglou, Apostolos; Nakagawa, Elisa Yumi
Fonte: Lecture Notes in Computer Science. Nome do evento: International Conference on Product-Focused Software Process Improvement - PROFES. Unidade: ICMC
Assuntos: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FEITOSA, Daniel et al. The evolution of design pattern grime: an industrial case study. Lecture Notes in Computer Science. Cham: Springer. Disponível em: https://doi.org/10.1007/978-3-319-69926-4_13. Acesso em: 02 ago. 2025. , 2017
APA
Feitosa, D., Avgeriou, P., Ampatzoglou, A., & Nakagawa, E. Y. (2017). The evolution of design pattern grime: an industrial case study. Lecture Notes in Computer Science. Cham: Springer. doi:10.1007/978-3-319-69926-4_13
NLM
Feitosa D, Avgeriou P, Ampatzoglou A, Nakagawa EY. The evolution of design pattern grime: an industrial case study [Internet]. Lecture Notes in Computer Science. 2017 ; 10611 165-181.[citado 2025 ago. 02 ] Available from: https://doi.org/10.1007/978-3-319-69926-4_13
Vancouver
Feitosa D, Avgeriou P, Ampatzoglou A, Nakagawa EY. The evolution of design pattern grime: an industrial case study [Internet]. Lecture Notes in Computer Science. 2017 ; 10611 165-181.[citado 2025 ago. 02 ] Available from: https://doi.org/10.1007/978-3-319-69926-4_13
Trabalho de evento-anais periodico
Heuristic evaluation for novice evaluators (2016)
Salgado, André de Lima; Fortes, Renata Pontin de Mattos
Fonte: Lecture Notes in Computer Science. Nome do evento: International Conference on Design, User Experience, and Usability - DUXU : Design Thinking and Methods. Unidade: ICMC
Assuntos: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO, HEURÍSTICA, USABILIDADE DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SALGADO, André de Lima e FORTES, Renata Pontin de Mattos. Heuristic evaluation for novice evaluators. Lecture Notes in Computer Science. Cham: Springer. Disponível em: https://doi.org/10.1007/978-3-319-40409-7_37. Acesso em: 02 ago. 2025. , 2016
APA
Salgado, A. de L., & Fortes, R. P. de M. (2016). Heuristic evaluation for novice evaluators. Lecture Notes in Computer Science. Cham: Springer. doi:10.1007/978-3-319-40409-7_37
NLM
Salgado A de L, Fortes RP de M. Heuristic evaluation for novice evaluators [Internet]. Lecture Notes in Computer Science. 2016 ; 9746 387-398.[citado 2025 ago. 02 ] Available from: https://doi.org/10.1007/978-3-319-40409-7_37
Vancouver
Salgado A de L, Fortes RP de M. Heuristic evaluation for novice evaluators [Internet]. Lecture Notes in Computer Science. 2016 ; 9746 387-398.[citado 2025 ago. 02 ] Available from: https://doi.org/10.1007/978-3-319-40409-7_37
Trabalho de evento-anais periodico
Towards characteristics of accessibility and usability issues for older people: a brazilian case study (2016)
Rodrigues, Sandra Souza; Fortes, Renata Pontin de Mattos ; Freire, André Pimenta
Fonte: Lecture Notes in Computer Science. Nome do evento: International Conference on Human Aspects of IT for the Aged Population - ITAP : Design for Aging. Unidade: ICMC
Assuntos: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO, WEB SITES, IDOSOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RODRIGUES, Sandra Souza e FORTES, Renata Pontin de Mattos e FREIRE, André Pimenta. Towards characteristics of accessibility and usability issues for older people: a brazilian case study. Lecture Notes in Computer Science. Cham: Springer. Disponível em: https://doi.org/10.1007/978-3-319-39943-0_12. Acesso em: 02 ago. 2025. , 2016
APA
Rodrigues, S. S., Fortes, R. P. de M., & Freire, A. P. (2016). Towards characteristics of accessibility and usability issues for older people: a brazilian case study. Lecture Notes in Computer Science. Cham: Springer. doi:10.1007/978-3-319-39943-0_12
NLM
Rodrigues SS, Fortes RP de M, Freire AP. Towards characteristics of accessibility and usability issues for older people: a brazilian case study [Internet]. Lecture Notes in Computer Science. 2016 ; 9754 117-128.[citado 2025 ago. 02 ] Available from: https://doi.org/10.1007/978-3-319-39943-0_12
Vancouver
Rodrigues SS, Fortes RP de M, Freire AP. Towards characteristics of accessibility and usability issues for older people: a brazilian case study [Internet]. Lecture Notes in Computer Science. 2016 ; 9754 117-128.[citado 2025 ago. 02 ] Available from: https://doi.org/10.1007/978-3-319-39943-0_12
Trabalho de evento-anais periodico
AIRES: an architecture to improve software reuse (2016)
Braga, Rosana Teresinha Vaccare ; Feloni, Daniel; Pacini, Karen; Schettini Filho, Domenico; Gottardi, Thiago
Fonte: Lecture Notes in Computer Science. Nome do evento: International Conference on Software Reuse - ICSR 2016. Unidade: ICMC
Assuntos: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRAGA, Rosana Teresinha Vaccare et al. AIRES: an architecture to improve software reuse. Lecture Notes in Computer Science. Cham, SZ: Springer. Disponível em: https://doi.org/10.1007/978-3-319-35122-3_16. Acesso em: 02 ago. 2025. , 2016
APA
Braga, R. T. V., Feloni, D., Pacini, K., Schettini Filho, D., & Gottardi, T. (2016). AIRES: an architecture to improve software reuse. Lecture Notes in Computer Science. Cham, SZ: Springer. doi:10.1007/978-3-319-35122-3_16
NLM
Braga RTV, Feloni D, Pacini K, Schettini Filho D, Gottardi T. AIRES: an architecture to improve software reuse [Internet]. Lecture Notes in Computer Science. 2016 ;[citado 2025 ago. 02 ] Available from: https://doi.org/10.1007/978-3-319-35122-3_16
Vancouver
Braga RTV, Feloni D, Pacini K, Schettini Filho D, Gottardi T. AIRES: an architecture to improve software reuse [Internet]. Lecture Notes in Computer Science. 2016 ;[citado 2025 ago. 02 ] Available from: https://doi.org/10.1007/978-3-319-35122-3_16
Trabalho de evento-anais periodico
Video accessibility on the most accessed websites: a case study regarding visual disabilities (2015)
Rosas-Villena, Johana M.; Ramos, Bruno; Goularte, Rudinei ; Fortes, Renata Pontin de Mattos
Fonte: Lecture Notes in Computer Science. Nome do evento: International Conference on Human-Computer Interaction - HCI. Unidade: ICMC
Assuntos: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO, WORLD WIDE WEB, MULTIMÍDIA INTERATIVA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ROSAS-VILLENA, Johana M. et al. Video accessibility on the most accessed websites: a case study regarding visual disabilities. Lecture Notes in Computer Science. Cham: Springer. Disponível em: https://doi.org/10.1007/978-3-319-20678-3_23. Acesso em: 02 ago. 2025. , 2015
APA
Rosas-Villena, J. M., Ramos, B., Goularte, R., & Fortes, R. P. de M. (2015). Video accessibility on the most accessed websites: a case study regarding visual disabilities. Lecture Notes in Computer Science. Cham: Springer. doi:10.1007/978-3-319-20678-3_23
NLM
Rosas-Villena JM, Ramos B, Goularte R, Fortes RP de M. Video accessibility on the most accessed websites: a case study regarding visual disabilities [Internet]. Lecture Notes in Computer Science. 2015 ; 9175 231-241.[citado 2025 ago. 02 ] Available from: https://doi.org/10.1007/978-3-319-20678-3_23
Vancouver
Rosas-Villena JM, Ramos B, Goularte R, Fortes RP de M. Video accessibility on the most accessed websites: a case study regarding visual disabilities [Internet]. Lecture Notes in Computer Science. 2015 ; 9175 231-241.[citado 2025 ago. 02 ] Available from: https://doi.org/10.1007/978-3-319-20678-3_23
Trabalho de evento-anais periodico
Inferring finite state machines without reset using state identification sequences (2015)
Groz, Roland; Simão, Adenilso da Silva ; Petrenko, Alexandre; Oriat, Catherine
Fonte: Lecture Notes in Computer Science. Nome do evento: IFIP WG 6.1 International Conference on Testing Software and Systems - ICTSS. Unidade: ICMC
Assuntos: SISTEMAS DE INFORMAÇÃO, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GROZ, Roland et al. Inferring finite state machines without reset using state identification sequences. Lecture Notes in Computer Science. Cham: Springer. Disponível em: https://doi.org/10.1007/978-3-319-25945-1_10. Acesso em: 02 ago. 2025. , 2015
APA
Groz, R., Simão, A. da S., Petrenko, A., & Oriat, C. (2015). Inferring finite state machines without reset using state identification sequences. Lecture Notes in Computer Science. Cham: Springer. doi:10.1007/978-3-319-25945-1_10
NLM
Groz R, Simão A da S, Petrenko A, Oriat C. Inferring finite state machines without reset using state identification sequences [Internet]. Lecture Notes in Computer Science. 2015 ; 9447 161-177.[citado 2025 ago. 02 ] Available from: https://doi.org/10.1007/978-3-319-25945-1_10
Vancouver
Groz R, Simão A da S, Petrenko A, Oriat C. Inferring finite state machines without reset using state identification sequences [Internet]. Lecture Notes in Computer Science. 2015 ; 9447 161-177.[citado 2025 ago. 02 ] Available from: https://doi.org/10.1007/978-3-319-25945-1_10
Trabalho de evento-anais periodico
Checking experiments for finite state machines with symbolic inputs (2015)
Petrenko, Alexandre; Simão, Adenilso da Silva
Fonte: Lecture Notes in Computer Science. Nome do evento: IFIP WG 6.1 International Conference on Testing Software and Systems - ICTSS. Unidade: ICMC
Assuntos: SISTEMAS DE INFORMAÇÃO, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PETRENKO, Alexandre e SIMÃO, Adenilso da Silva. Checking experiments for finite state machines with symbolic inputs. Lecture Notes in Computer Science. Cham: Springer. Disponível em: https://doi.org/10.1007/978-3-319-25945-1_1. Acesso em: 02 ago. 2025. , 2015
APA
Petrenko, A., & Simão, A. da S. (2015). Checking experiments for finite state machines with symbolic inputs. Lecture Notes in Computer Science. Cham: Springer. doi:10.1007/978-3-319-25945-1_1
NLM
Petrenko A, Simão A da S. Checking experiments for finite state machines with symbolic inputs [Internet]. Lecture Notes in Computer Science. 2015 ; 9447 3-18.[citado 2025 ago. 02 ] Available from: https://doi.org/10.1007/978-3-319-25945-1_1
Vancouver
Petrenko A, Simão A da S. Checking experiments for finite state machines with symbolic inputs [Internet]. Lecture Notes in Computer Science. 2015 ; 9447 3-18.[citado 2025 ago. 02 ] Available from: https://doi.org/10.1007/978-3-319-25945-1_1
Trabalho de evento-anais periodico
CanIHelp: a platform for inclusive collaboration (2015)
Paredes, Hugo; Fernandes, Hugo; Sousa, André; Fortes, Renata Pontin de Mattos ; Koch, Fernando; Filipe, Vitor; Barroso, João
Fonte: Lecture Notes in Computer Science. Nome do evento: International Conference on Human-Computer Interaction - HCI. Unidade: ICMC
Assuntos: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO, WORLD WIDE WEB, MULTIMÍDIA INTERATIVA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PAREDES, Hugo et al. CanIHelp: a platform for inclusive collaboration. Lecture Notes in Computer Science. Cham: Springer. Disponível em: https://doi.org/10.1007/978-3-319-20681-3_45. Acesso em: 02 ago. 2025. , 2015
APA
Paredes, H., Fernandes, H., Sousa, A., Fortes, R. P. de M., Koch, F., Filipe, V., & Barroso, J. (2015). CanIHelp: a platform for inclusive collaboration. Lecture Notes in Computer Science. Cham: Springer. doi:10.1007/978-3-319-20681-3_45
NLM
Paredes H, Fernandes H, Sousa A, Fortes RP de M, Koch F, Filipe V, Barroso J. CanIHelp: a platform for inclusive collaboration [Internet]. Lecture Notes in Computer Science. 2015 ; 9176 474-483.[citado 2025 ago. 02 ] Available from: https://doi.org/10.1007/978-3-319-20681-3_45
Vancouver
Paredes H, Fernandes H, Sousa A, Fortes RP de M, Koch F, Filipe V, Barroso J. CanIHelp: a platform for inclusive collaboration [Internet]. Lecture Notes in Computer Science. 2015 ; 9176 474-483.[citado 2025 ago. 02 ] Available from: https://doi.org/10.1007/978-3-319-20681-3_45
Trabalho de evento-anais periodico
To test or not to test (2015)
Simão, Adenilso da Silva
Fonte: Lecture Notes in Computer Science. Nome do evento: Brazilian Symposium on Formal Methods - SBMF. Unidade: ICMC
Assuntos: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SIMÃO, Adenilso da Silva. To test or not to test. Lecture Notes in Computer Science. Cham: Springer. Disponível em: https://doi.org/10.1007/978-3-319-29473-5. Acesso em: 02 ago. 2025. , 2015
APA
Simão, A. da S. (2015). To test or not to test. Lecture Notes in Computer Science. Cham: Springer. doi:10.1007/978-3-319-29473-5
NLM
Simão A da S. To test or not to test [Internet]. Lecture Notes in Computer Science. 2015 ; 9526 XIV-XV.[citado 2025 ago. 02 ] Available from: https://doi.org/10.1007/978-3-319-29473-5
Vancouver
Simão A da S. To test or not to test [Internet]. Lecture Notes in Computer Science. 2015 ; 9526 XIV-XV.[citado 2025 ago. 02 ] Available from: https://doi.org/10.1007/978-3-319-29473-5
Trabalho de evento-anais periodico
Tests with blind programmers using AWMo: an accessible web modeling tool (2014)
Grillo, Filipe del Nero; Fortes, Renata Pontin de Mattos
Fonte: Lecture Notes in Computer Science. Nome do evento: International Conference on Universal Access in Human-Computer Interaction : Design and development methods for universal access - UAHCI. Unidade: ICMC
Assuntos: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO, MULTIMÍDIA INTERATIVA, WORLD WIDE WEB
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GRILLO, Filipe del Nero e FORTES, Renata Pontin de Mattos. Tests with blind programmers using AWMo: an accessible web modeling tool. Lecture Notes in Computer Science. Cham: Springer. Disponível em: https://doi.org/10.1007/978-3-319-07437-5_11. Acesso em: 02 ago. 2025. , 2014
APA
Grillo, F. del N., & Fortes, R. P. de M. (2014). Tests with blind programmers using AWMo: an accessible web modeling tool. Lecture Notes in Computer Science. Cham: Springer. doi:10.1007/978-3-319-07437-5_11
NLM
Grillo F del N, Fortes RP de M. Tests with blind programmers using AWMo: an accessible web modeling tool [Internet]. Lecture Notes in Computer Science. 2014 ; 8513 104-113.[citado 2025 ago. 02 ] Available from: https://doi.org/10.1007/978-3-319-07437-5_11
Vancouver
Grillo F del N, Fortes RP de M. Tests with blind programmers using AWMo: an accessible web modeling tool [Internet]. Lecture Notes in Computer Science. 2014 ; 8513 104-113.[citado 2025 ago. 02 ] Available from: https://doi.org/10.1007/978-3-319-07437-5_11
Trabalho de evento-anais periodico
Keep improving MAS method fragments: a Medee-based case study for MOISE+ (2014)
Casare, Sara Jane; Brandão, Anarosa Alves Franco ; Sichman, Jaime S.
Fonte: Lecture Notes in Computer Science. Nome do evento: International Workshop on Engineering Multi-Agent Systems. Unidade: EP
Assuntos: ENGENHARIA DE SOFTWARE, SISTEMAS MULTIAGENTES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CASARE, Sara Jane e BRANDÃO, Anarosa Alves Franco e SICHMAN, Jaime S. Keep improving MAS method fragments: a Medee-based case study for MOISE+. Lecture Notes in Computer Science. Cham: Escola Politécnica, Universidade de São Paulo. Disponível em: https://doi.org/10.1007/978-3-319-14484-9_8. Acesso em: 02 ago. 2025. , 2014
APA
Casare, S. J., Brandão, A. A. F., & Sichman, J. S. (2014). Keep improving MAS method fragments: a Medee-based case study for MOISE+. Lecture Notes in Computer Science. Cham: Escola Politécnica, Universidade de São Paulo. doi:10.1007/978-3-319-14484-9_8
NLM
Casare SJ, Brandão AAF, Sichman JS. Keep improving MAS method fragments: a Medee-based case study for MOISE+ [Internet]. Lecture Notes in Computer Science. 2014 ; 8758 146-162.[citado 2025 ago. 02 ] Available from: https://doi.org/10.1007/978-3-319-14484-9_8
Vancouver
Casare SJ, Brandão AAF, Sichman JS. Keep improving MAS method fragments: a Medee-based case study for MOISE+ [Internet]. Lecture Notes in Computer Science. 2014 ; 8758 146-162.[citado 2025 ago. 02 ] Available from: https://doi.org/10.1007/978-3-319-14484-9_8
Trabalho de evento-anais periodico
Generation of checking sequences using identification sets (2013)
Porto, Faimison Rodrigues; Endo, André Takeshi; Simão, Adenilso da Silva
Fonte: Lecture Notes in Computer Science. Nome do evento: International Conference on Formal Engineering Methods - ICFEM 2013. Unidade: ICMC
Assuntos: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PORTO, Faimison Rodrigues e ENDO, André Takeshi e SIMÃO, Adenilso da Silva. Generation of checking sequences using identification sets. Lecture Notes in Computer Science. Berlin: Springer-Verlag. Disponível em: https://doi.org/10.1007/978-3-642-41202-8_9. Acesso em: 02 ago. 2025. , 2013
APA
Porto, F. R., Endo, A. T., & Simão, A. da S. (2013). Generation of checking sequences using identification sets. Lecture Notes in Computer Science. Berlin: Springer-Verlag. doi:10.1007/978-3-642-41202-8_9
NLM
Porto FR, Endo AT, Simão A da S. Generation of checking sequences using identification sets [Internet]. Lecture Notes in Computer Science. 2013 ; 8144 115-130.[citado 2025 ago. 02 ] Available from: https://doi.org/10.1007/978-3-642-41202-8_9
Vancouver
Porto FR, Endo AT, Simão A da S. Generation of checking sequences using identification sets [Internet]. Lecture Notes in Computer Science. 2013 ; 8144 115-130.[citado 2025 ago. 02 ] Available from: https://doi.org/10.1007/978-3-642-41202-8_9
Trabalho de evento-anais periodico
Adapting a software product line engineering process for certifying safety critical embedded systems (2012)
Braga, Rosana Teresinha Vaccare ; Trindade Junior, Onofre; Branco, Kalinka Regina Lucas Jaquie Castelo ; Neris, Luciano de Oliveira; Lee, Jaejoon
Fonte: Lecture Notes in Computer Science. Nome do evento: International Conference on Computer Safety, Reliability and Security. Unidade: ICMC
Assuntos: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRAGA, Rosana Teresinha Vaccare et al. Adapting a software product line engineering process for certifying safety critical embedded systems. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer-Verlag. Disponível em: https://doi.org/10.1007/978-3-642-33678-2_30. Acesso em: 02 ago. 2025. , 2012
APA
Braga, R. T. V., Trindade Junior, O., Branco, K. R. L. J. C., Neris, L. de O., & Lee, J. (2012). Adapting a software product line engineering process for certifying safety critical embedded systems. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer-Verlag. doi:10.1007/978-3-642-33678-2_30
NLM
Braga RTV, Trindade Junior O, Branco KRLJC, Neris L de O, Lee J. Adapting a software product line engineering process for certifying safety critical embedded systems [Internet]. Lecture Notes in Computer Science. 2012 ; 7612 352-363.[citado 2025 ago. 02 ] Available from: https://doi.org/10.1007/978-3-642-33678-2_30
Vancouver
Braga RTV, Trindade Junior O, Branco KRLJC, Neris L de O, Lee J. Adapting a software product line engineering process for certifying safety critical embedded systems [Internet]. Lecture Notes in Computer Science. 2012 ; 7612 352-363.[citado 2025 ago. 02 ] Available from: https://doi.org/10.1007/978-3-642-33678-2_30
Trabalho de evento-anais periodico
The link-offset-scale mechanism for improving the usability of touch screen displays on the web (2011)
Watanabe, Willian Massami; Fortes, Renata Pontin de Mattos ; Pimentel, Maria da Graça Campos
Fonte: Lecture Notes in Computer Science. Nome do evento: IFIP TC International Conference on Human-Computer Interaction - INTERACT. Unidade: ICMC
Assuntos: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO, MULTIMÍDIA INTERATIVA, WORLD WIDE WEB
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
WATANABE, Willian Massami e FORTES, Renata Pontin de Mattos e PIMENTEL, Maria da Graça Campos. The link-offset-scale mechanism for improving the usability of touch screen displays on the web. Lecture Notes in Computer Science. Heidelberg: Springer. Disponível em: https://doi.org/10.1007/978-3-642-23765-2. Acesso em: 02 ago. 2025. , 2011
APA
Watanabe, W. M., Fortes, R. P. de M., & Pimentel, M. da G. C. (2011). The link-offset-scale mechanism for improving the usability of touch screen displays on the web. Lecture Notes in Computer Science. Heidelberg: Springer. doi:10.1007/978-3-642-23765-2
NLM
Watanabe WM, Fortes RP de M, Pimentel M da GC. The link-offset-scale mechanism for improving the usability of touch screen displays on the web [Internet]. Lecture Notes in Computer Science. 2011 ; 6948 356-372.[citado 2025 ago. 02 ] Available from: https://doi.org/10.1007/978-3-642-23765-2
Vancouver
Watanabe WM, Fortes RP de M, Pimentel M da GC. The link-offset-scale mechanism for improving the usability of touch screen displays on the web [Internet]. Lecture Notes in Computer Science. 2011 ; 6948 356-372.[citado 2025 ago. 02 ] Available from: https://doi.org/10.1007/978-3-642-23765-2
Trabalho de evento-anais periodico
Web accessibility metrics: effects of different computational approaches (2009)
Freire, André Pimenta; Power, Christopher; Petrie, H.; Tanaka, Eduardo H.; Rocha, Heloisa V.; Fortes, Renata Pontin de Mattos
Fonte: Lecture Notes in Computer Science. Nome do evento: International Conference on Universal Access in Human-Computer Interaction - UAHCI. Unidade: ICMC
Assuntos: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO, MULTIMÍDIA INTERATIVA, WORLD WIDE WEB
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FREIRE, André Pimenta et al. Web accessibility metrics: effects of different computational approaches. Lecture Notes in Computer Science. Heidelberg: Springer-Verlag. Disponível em: http://www.springerlink.com/content/105633/?sortorder=asc&p_o=58. Acesso em: 02 ago. 2025. , 2009
APA
Freire, A. P., Power, C., Petrie, H., Tanaka, E. H., Rocha, H. V., & Fortes, R. P. de M. (2009). Web accessibility metrics: effects of different computational approaches. Lecture Notes in Computer Science. Heidelberg: Springer-Verlag. Recuperado de http://www.springerlink.com/content/105633/?sortorder=asc&p_o=58
NLM
Freire AP, Power C, Petrie H, Tanaka EH, Rocha HV, Fortes RP de M. Web accessibility metrics: effects of different computational approaches [Internet]. Lecture Notes in Computer Science. 2009 ; 5616 664-673.[citado 2025 ago. 02 ] Available from: http://www.springerlink.com/content/105633/?sortorder=asc&p_o=58
Vancouver
Freire AP, Power C, Petrie H, Tanaka EH, Rocha HV, Fortes RP de M. Web accessibility metrics: effects of different computational approaches [Internet]. Lecture Notes in Computer Science. 2009 ; 5616 664-673.[citado 2025 ago. 02 ] Available from: http://www.springerlink.com/content/105633/?sortorder=asc&p_o=58
Trabalho de evento-anais periodico
Generating reduced tests for FSMs with extra states (2009)
Simão, Adenilso da Silva ; Petrenko, Alexandre; Yevtushenko, Nina
Fonte: Lecture Notes in Computer Science. Nome do evento: International Conference Testing of Software and Communication Systems - TESTCOM. Unidade: ICMC
Assuntos: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SIMÃO, Adenilso da Silva e PETRENKO, Alexandre e YEVTUSHENKO, Nina. Generating reduced tests for FSMs with extra states. Lecture Notes in Computer Science. Berlin: Springer. Disponível em: http://www.springerlink.com/content/97175434p03t6136/. Acesso em: 02 ago. 2025. , 2009
APA
Simão, A. da S., Petrenko, A., & Yevtushenko, N. (2009). Generating reduced tests for FSMs with extra states. Lecture Notes in Computer Science. Berlin: Springer. Recuperado de http://www.springerlink.com/content/97175434p03t6136/
NLM
Simão A da S, Petrenko A, Yevtushenko N. Generating reduced tests for FSMs with extra states [Internet]. Lecture Notes in Computer Science. 2009 ; 5826 129-145.[citado 2025 ago. 02 ] Available from: http://www.springerlink.com/content/97175434p03t6136/
Vancouver
Simão A da S, Petrenko A, Yevtushenko N. Generating reduced tests for FSMs with extra states [Internet]. Lecture Notes in Computer Science. 2009 ; 5826 129-145.[citado 2025 ago. 02 ] Available from: http://www.springerlink.com/content/97175434p03t6136/
Trabalho de evento-anais periodico
ValiPVM - a graphical tool for structural testing of PVM programs (2008)
Souza, Paulo Sérgio Lopes de ; Sawabe, Eduardo T.; Simão, Adenilso da Silva ; Vergílio, Sílvia Regina; Souza, Simone do Rocio Senger de
Fonte: Lecture Notes in Computer Science. Nome do evento: European PVM/MPI User's Group Meeting. Unidade: ICMC
Assuntos: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUZA, Paulo Sérgio Lopes de et al. ValiPVM - a graphical tool for structural testing of PVM programs. Lecture Notes in Computer Science. Heidelberger: Springer. Disponível em: http://www.springerlink.com/content/ju45601782808012/fulltext.pdf. Acesso em: 02 ago. 2025. , 2008
APA
Souza, P. S. L. de, Sawabe, E. T., Simão, A. da S., Vergílio, S. R., & Souza, S. do R. S. de. (2008). ValiPVM - a graphical tool for structural testing of PVM programs. Lecture Notes in Computer Science. Heidelberger: Springer. Recuperado de http://www.springerlink.com/content/ju45601782808012/fulltext.pdf
NLM
Souza PSL de, Sawabe ET, Simão A da S, Vergílio SR, Souza S do RS de. ValiPVM - a graphical tool for structural testing of PVM programs [Internet]. Lecture Notes in Computer Science. 2008 ; 5205 257-264.[citado 2025 ago. 02 ] Available from: http://www.springerlink.com/content/ju45601782808012/fulltext.pdf
Vancouver
Souza PSL de, Sawabe ET, Simão A da S, Vergílio SR, Souza S do RS de. ValiPVM - a graphical tool for structural testing of PVM programs [Internet]. Lecture Notes in Computer Science. 2008 ; 5205 257-264.[citado 2025 ago. 02 ] Available from: http://www.springerlink.com/content/ju45601782808012/fulltext.pdf

Unidades USP

ReP

Filtros

Autores

Autores USP

Ano de publicação

Assuntos

Nome do evento

Afiliação dos autores externos normalizada

Afiliação dos autores externos não normalizada

País das instituições de afiliação dos autores externos