ReP USP - Resultado da busca

Tese (Doutorado)
Technical debt management in the context of agile methods in software development (2018)
Tonin, Graziela Simone; Goldman, Alfredo (Orientador) ; Seaman, Carolyn (coorient)
Unidade: IME
Subjects: ENGENHARIA DE PROGRAMAS, MÉTODOS ÁGEIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
TONIN, Graziela Simone. Technical debt management in the context of agile methods in software development. 2018. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-30072018-142720/. Acesso em: 02 nov. 2024.
APA
Tonin, G. S. (2018). Technical debt management in the context of agile methods in software development (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-30072018-142720/
NLM
Tonin GS. Technical debt management in the context of agile methods in software development [Internet]. 2018 ;[citado 2024 nov. 02 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-30072018-142720/
Vancouver
Tonin GS. Technical debt management in the context of agile methods in software development [Internet]. 2018 ;[citado 2024 nov. 02 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-30072018-142720/
Tese (Doutorado)
EyeSwipe: text entry using gaze paths (2018)
Kurauchi, Andrew Toshiaki Nakayama; Betke, Margrit (Orientador); Morimoto, Carlos Hitoshi (Orientador)
Unidade: IME
Subjects: COMPUTAÇÃO APLICADA, DEFICIÊNCIAS, ENGENHARIA DE PROGRAMAS, REALIDADE VIRTUAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
KURAUCHI, Andrew Toshiaki Nakayama. EyeSwipe: text entry using gaze paths. 2018. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-03072018-151733/. Acesso em: 02 nov. 2024.
APA
Kurauchi, A. T. N. (2018). EyeSwipe: text entry using gaze paths (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-03072018-151733/
NLM
Kurauchi ATN. EyeSwipe: text entry using gaze paths [Internet]. 2018 ;[citado 2024 nov. 02 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-03072018-151733/
Vancouver
Kurauchi ATN. EyeSwipe: text entry using gaze paths [Internet]. 2018 ;[citado 2024 nov. 02 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-03072018-151733/
Dissertação (Mestrado)
Anomalias na camada de apresentação de aplicativos Android (2018)
Carvalho, Suelen Goularte; Gerosa, Marco Aurélio (Orientador)
Unidade: IME
Subjects: ENGENHARIA DE PROGRAMAS, ENGENHARIA DE PROGRAMAS, DOCUMENTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CARVALHO, Suelen Goularte. Anomalias na camada de apresentação de aplicativos Android. 2018. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-19032018-140810/. Acesso em: 02 nov. 2024.
APA
Carvalho, S. G. (2018). Anomalias na camada de apresentação de aplicativos Android (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-19032018-140810/
NLM
Carvalho SG. Anomalias na camada de apresentação de aplicativos Android [Internet]. 2018 ;[citado 2024 nov. 02 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-19032018-140810/
Vancouver
Carvalho SG. Anomalias na camada de apresentação de aplicativos Android [Internet]. 2018 ;[citado 2024 nov. 02 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-19032018-140810/
Trabalho de evento
Does it make sense to have application-specific code conventions as a complementary approach to code annotations? (2018)
Teixeira, Rodrigo; Guerra, Eduardo; Lima, Phyllipe; Meirelles, Paulo; Kon, Fábio
Source: Proceedings. Conference titles: ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection - META. Unidade: IME
Subjects: ENGENHARIA DE PROGRAMAS, METADADOS, CODIFICAÇÃO DE PROGRAMA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
TEIXEIRA, Rodrigo et al. Does it make sense to have application-specific code conventions as a complementary approach to code annotations? 2018, Anais.. New York: ACM, 2018. Disponível em: https://doi.org/10.1145/3281074.3281078. Acesso em: 02 nov. 2024.
APA
Teixeira, R., Guerra, E., Lima, P., Meirelles, P., & Kon, F. (2018). Does it make sense to have application-specific code conventions as a complementary approach to code annotations? In Proceedings. New York: ACM. doi:10.1145/3281074.3281078
NLM
Teixeira R, Guerra E, Lima P, Meirelles P, Kon F. Does it make sense to have application-specific code conventions as a complementary approach to code annotations? [Internet]. Proceedings. 2018 ;[citado 2024 nov. 02 ] Available from: https://doi.org/10.1145/3281074.3281078
Vancouver
Teixeira R, Guerra E, Lima P, Meirelles P, Kon F. Does it make sense to have application-specific code conventions as a complementary approach to code annotations? [Internet]. Proceedings. 2018 ;[citado 2024 nov. 02 ] Available from: https://doi.org/10.1145/3281074.3281078
Dissertação (Mestrado)
Análise preditiva de desempenho de workflows usando teoria do campo médio (2017)
Caro, Waldir Edison Farfán; Braghetto, Kelly Rosa (Orientador)
Unidade: IME
Subjects: ARQUITETURA E ORGANIZAÇÃO DE COMPUTADORES, ENGENHARIA DE PROGRAMAS, ESPECIFICAÇÃO DE REQUISITOS DE SISTEMAS E PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CARO, Waldir Edison Farfán. Análise preditiva de desempenho de workflows usando teoria do campo médio. 2017. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2017. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062017-020319/. Acesso em: 02 nov. 2024.
APA
Caro, W. E. F. (2017). Análise preditiva de desempenho de workflows usando teoria do campo médio (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062017-020319/
NLM
Caro WEF. Análise preditiva de desempenho de workflows usando teoria do campo médio [Internet]. 2017 ;[citado 2024 nov. 02 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062017-020319/
Vancouver
Caro WEF. Análise preditiva de desempenho de workflows usando teoria do campo médio [Internet]. 2017 ;[citado 2024 nov. 02 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062017-020319/
Dissertação (Mestrado)
SelfMakeup: um sistema de realidade aumentada para autoaplicação de maquiagem virtual (2017)
Borges, Aline de Fátima Soares ; Morimoto, Carlos Hitoshi (Orientador)
Unidade: IME
Subjects: ENGENHARIA DE PROGRAMAS, REALIDADE VIRTUAL, INTERFACE HOMEM-COMPUTADOR, MAQUIAGEM
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BORGES, Aline de Fátima Soares. SelfMakeup: um sistema de realidade aumentada para autoaplicação de maquiagem virtual. 2017. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2017. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-05032018-115653/. Acesso em: 02 nov. 2024.
APA
Borges, A. de F. S. (2017). SelfMakeup: um sistema de realidade aumentada para autoaplicação de maquiagem virtual (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-05032018-115653/
NLM
Borges A de FS. SelfMakeup: um sistema de realidade aumentada para autoaplicação de maquiagem virtual [Internet]. 2017 ;[citado 2024 nov. 02 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-05032018-115653/
Vancouver
Borges A de FS. SelfMakeup: um sistema de realidade aumentada para autoaplicação de maquiagem virtual [Internet]. 2017 ;[citado 2024 nov. 02 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-05032018-115653/
Tese (Doutorado)
Interfaces humano-computador aplicadas ao desenho de poligonais tridimensionais e mà solução numérica do problema de Plateau (2016)
Bandeira, Ivana Soares; Fabris, Antonio Elias (Orientador) ; Batista, Valerio Ramos (coorient)
Unidade: IME
Subjects: ENGENHARIA DE PROGRAMAS, COMPUTAÇÃO APLICADA, INTERFACE HOMEM-COMPUTADOR
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BANDEIRA, Ivana Soares. Interfaces humano-computador aplicadas ao desenho de poligonais tridimensionais e mà solução numérica do problema de Plateau. 2016. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2016. Disponível em: https://teses.usp.br/teses/disponiveis/45/45132/tde-20230727-113045/. Acesso em: 02 nov. 2024.
APA
Bandeira, I. S. (2016). Interfaces humano-computador aplicadas ao desenho de poligonais tridimensionais e mà solução numérica do problema de Plateau (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45132/tde-20230727-113045/
NLM
Bandeira IS. Interfaces humano-computador aplicadas ao desenho de poligonais tridimensionais e mà solução numérica do problema de Plateau [Internet]. 2016 ;[citado 2024 nov. 02 ] Available from: https://teses.usp.br/teses/disponiveis/45/45132/tde-20230727-113045/
Vancouver
Bandeira IS. Interfaces humano-computador aplicadas ao desenho de poligonais tridimensionais e mà solução numérica do problema de Plateau [Internet]. 2016 ;[citado 2024 nov. 02 ] Available from: https://teses.usp.br/teses/disponiveis/45/45132/tde-20230727-113045/
Trabalho de evento
Requirements engineering in software startups: a grounded theory approach (2016)
Melegati, Jorge ; Goldman, Alfredo
Source: Proceedings. Conference titles: International Conference on Engineering, Technology and Innovation/IEEE International Technology Management Conference - ICE/ITMC. Unidade: IME
Subjects: DESENVOLVIMENTO DE SOFTWARE, ENGENHARIA DE PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MELEGATI, Jorge e GOLDMAN, Alfredo. Requirements engineering in software startups: a grounded theory approach. 2016, Anais.. Piscataway: IEEE, 2016. Disponível em: https://doi.org/10.1109/ICE/ITMC39735.2016.9026036. Acesso em: 02 nov. 2024.
APA
Melegati, J., & Goldman, A. (2016). Requirements engineering in software startups: a grounded theory approach. In Proceedings. Piscataway: IEEE. doi:10.1109/ICE/ITMC39735.2016.9026036
NLM
Melegati J, Goldman A. Requirements engineering in software startups: a grounded theory approach [Internet]. Proceedings. 2016 ;[citado 2024 nov. 02 ] Available from: https://doi.org/10.1109/ICE/ITMC39735.2016.9026036
Vancouver
Melegati J, Goldman A. Requirements engineering in software startups: a grounded theory approach [Internet]. Proceedings. 2016 ;[citado 2024 nov. 02 ] Available from: https://doi.org/10.1109/ICE/ITMC39735.2016.9026036
Dissertação (Mestrado)
Utilização de mineração de especificação na identificação de fluxos inválidos em software (2016)
Silva, Luciano Kelvin; Melo, Ana Cristina Vieira de (Orientador)
Unidade: IME
Assunto: ENGENHARIA DE PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Luciano Kelvin. Utilização de mineração de especificação na identificação de fluxos inválidos em software. 2016. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2016. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113032/. Acesso em: 02 nov. 2024.
APA
Silva, L. K. (2016). Utilização de mineração de especificação na identificação de fluxos inválidos em software (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113032/
NLM
Silva LK. Utilização de mineração de especificação na identificação de fluxos inválidos em software [Internet]. 2016 ;[citado 2024 nov. 02 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113032/
Vancouver
Silva LK. Utilização de mineração de especificação na identificação de fluxos inválidos em software [Internet]. 2016 ;[citado 2024 nov. 02 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113032/
Artigo de periodico
Learning to program using hierarchical model-based debugging (2015)
Barros, Leliane Nunes de ; Pinheiro, Wellington Ricardo; Delgado, Karina Valdivia
Source: Applied Intelligence. Unidades: IME, EACH
Subjects: DESENVOLVIMENTO DE SOFTWARE, ENGENHARIA DE PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BARROS, Leliane Nunes de e PINHEIRO, Wellington Ricardo e DELGADO, Karina Valdivia. Learning to program using hierarchical model-based debugging. Applied Intelligence, v. 43, n. 3, p. 544-563, 2015Tradução . . Disponível em: https://doi.org/10.1007/s10489-015-0659-9. Acesso em: 02 nov. 2024.
APA
Barros, L. N. de, Pinheiro, W. R., & Delgado, K. V. (2015). Learning to program using hierarchical model-based debugging. Applied Intelligence, 43( 3), 544-563. doi:10.1007/s10489-015-0659-9
NLM
Barros LN de, Pinheiro WR, Delgado KV. Learning to program using hierarchical model-based debugging [Internet]. Applied Intelligence. 2015 ; 43( 3): 544-563.[citado 2024 nov. 02 ] Available from: https://doi.org/10.1007/s10489-015-0659-9
Vancouver
Barros LN de, Pinheiro WR, Delgado KV. Learning to program using hierarchical model-based debugging [Internet]. Applied Intelligence. 2015 ; 43( 3): 544-563.[citado 2024 nov. 02 ] Available from: https://doi.org/10.1007/s10489-015-0659-9
Trabalho de evento
Business rules: from SBVR to information systems (2015)
Jesus, Jandisson Soares de; Melo, Ana Cristina Vieira de
Source: Business Process Management Workshops: BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers. Conference titles: Business Process Management - BPM. Unidade: IME
Subjects: METODOLOGIA E TÉCNICAS DE PROGRAMAÇÃO, ENGENHARIA DE PROGRAMAS, GESTÃO POR PROCESSOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
JESUS, Jandisson Soares de e MELO, Ana Cristina Vieira de. Business rules: from SBVR to information systems. 2015, Anais.. Cham: Springer, 2015. Disponível em: https://doi.org/10.1007/978-3-319-15895-2_42. Acesso em: 02 nov. 2024.
APA
Jesus, J. S. de, & Melo, A. C. V. de. (2015). Business rules: from SBVR to information systems. In Business Process Management Workshops: BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers. Cham: Springer. doi:10.1007/978-3-319-15895-2_42
NLM
Jesus JS de, Melo ACV de. Business rules: from SBVR to information systems [Internet]. Business Process Management Workshops: BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers. 2015 ;[citado 2024 nov. 02 ] Available from: https://doi.org/10.1007/978-3-319-15895-2_42
Vancouver
Jesus JS de, Melo ACV de. Business rules: from SBVR to information systems [Internet]. Business Process Management Workshops: BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers. 2015 ;[citado 2024 nov. 02 ] Available from: https://doi.org/10.1007/978-3-319-15895-2_42
Dissertação (Mestrado)
ExpressMath Online: um sistema web para o tratamento de dados de expressões matemáticas manuscritas (2015)
Grangeiro, Davi Souto; Hirata, Nina Sumiko Tomita (Orientador)
Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, ENGENHARIA DE PROGRAMAS, RECONHECIMENTO DE PADRÕES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GRANGEIRO, Davi Souto. ExpressMath Online: um sistema web para o tratamento de dados de expressões matemáticas manuscritas. 2015. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2015. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113000/. Acesso em: 02 nov. 2024.
APA
Grangeiro, D. S. (2015). ExpressMath Online: um sistema web para o tratamento de dados de expressões matemáticas manuscritas (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113000/
NLM
Grangeiro DS. ExpressMath Online: um sistema web para o tratamento de dados de expressões matemáticas manuscritas [Internet]. 2015 ;[citado 2024 nov. 02 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113000/
Vancouver
Grangeiro DS. ExpressMath Online: um sistema web para o tratamento de dados de expressões matemáticas manuscritas [Internet]. 2015 ;[citado 2024 nov. 02 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113000/
Dissertação (Mestrado)
Superfície mágica: criando superfícies interativas por meio de câmeras RGBD e projetores (2015)
Sousa, Alexandre Martins Ferreira de; Morimoto, Carlos Hitoshi (Orientador)
Unidade: IME
Subjects: ENGENHARIA DE PROGRAMAS, COMPUTAÇÃO GRÁFICA, INTERFACE HOMEM-COMPUTADOR
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUSA, Alexandre Martins Ferreira de. Superfície mágica: criando superfícies interativas por meio de câmeras RGBD e projetores. 2015. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2015. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23122015-104315. Acesso em: 02 nov. 2024.
APA
Sousa, A. M. F. de. (2015). Superfície mágica: criando superfícies interativas por meio de câmeras RGBD e projetores (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23122015-104315
NLM
Sousa AMF de. Superfície mágica: criando superfícies interativas por meio de câmeras RGBD e projetores [Internet]. 2015 ;[citado 2024 nov. 02 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23122015-104315
Vancouver
Sousa AMF de. Superfície mágica: criando superfícies interativas por meio de câmeras RGBD e projetores [Internet]. 2015 ;[citado 2024 nov. 02 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23122015-104315
Artigo de periodico
Bringing test-driven development to web service choreographies (2015)
Besson, Felipe Meneses; Moura, Paulo Bittencourt; Kon, Fábio ; Milojicic, Dejan S
Source: Journal of Systems and Software. Unidade: IME
Subjects: MÉTODOS ÁGEIS, ENGENHARIA DE PROGRAMAS, SISTEMAS DISTRIBUÍDOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BESSON, Felipe Meneses et al. Bringing test-driven development to web service choreographies. Journal of Systems and Software, v. 99, p. 135-154, 2015Tradução . . Disponível em: https://doi.org/10.1016/j.jss.2014.09.034. Acesso em: 02 nov. 2024.
APA
Besson, F. M., Moura, P. B., Kon, F., & Milojicic, D. S. (2015). Bringing test-driven development to web service choreographies. Journal of Systems and Software, 99, 135-154. doi:10.1016/j.jss.2014.09.034
NLM
Besson FM, Moura PB, Kon F, Milojicic DS. Bringing test-driven development to web service choreographies [Internet]. Journal of Systems and Software. 2015 ; 99 135-154.[citado 2024 nov. 02 ] Available from: https://doi.org/10.1016/j.jss.2014.09.034
Vancouver
Besson FM, Moura PB, Kon F, Milojicic DS. Bringing test-driven development to web service choreographies [Internet]. Journal of Systems and Software. 2015 ; 99 135-154.[citado 2024 nov. 02 ] Available from: https://doi.org/10.1016/j.jss.2014.09.034
Trabalho de evento
Gerenciador de dados compartilhados entre processos de negócio: data-control process para WED-tool (2014)
Liberato, Rafael; Schwerz, André Luis; Takai, Osvaldo Kotaro; Ferreira, João Eduardo
Source: Anais. Conference titles: Simpósio Brasileiro de Sistemas de Informação - SBSI. Unidade: IME
Subjects: BANCO DE DADOS, ENGENHARIA DE PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LIBERATO, Rafael et al. Gerenciador de dados compartilhados entre processos de negócio: data-control process para WED-tool. 2014, Anais.. Londrina: UEL, 2014. Disponível em: http://www.lbd.dcc.ufmg.br/bdbcomp/servlet/Trabalho?id=22275. Acesso em: 02 nov. 2024.
APA
Liberato, R., Schwerz, A. L., Takai, O. K., & Ferreira, J. E. (2014). Gerenciador de dados compartilhados entre processos de negócio: data-control process para WED-tool. In Anais (Vol. 2). Londrina: UEL. Recuperado de http://www.lbd.dcc.ufmg.br/bdbcomp/servlet/Trabalho?id=22275
NLM
Liberato R, Schwerz AL, Takai OK, Ferreira JE. Gerenciador de dados compartilhados entre processos de negócio: data-control process para WED-tool [Internet]. Anais. 2014 ; 2[citado 2024 nov. 02 ] Available from: http://www.lbd.dcc.ufmg.br/bdbcomp/servlet/Trabalho?id=22275
Vancouver
Liberato R, Schwerz AL, Takai OK, Ferreira JE. Gerenciador de dados compartilhados entre processos de negócio: data-control process para WED-tool [Internet]. Anais. 2014 ; 2[citado 2024 nov. 02 ] Available from: http://www.lbd.dcc.ufmg.br/bdbcomp/servlet/Trabalho?id=22275
Dissertação (Mestrado)
Teste e verificação formal do comportamento excepcional de programas Java (2014)
Martins, Alexandre Locci; Melo, Ana Cristina Vieira de (Orientador)
Unidade: IME
Assunto: ENGENHARIA DE PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARTINS, Alexandre Locci. Teste e verificação formal do comportamento excepcional de programas Java. 2014. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2014. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082014-150106. Acesso em: 02 nov. 2024.
APA
Martins, A. L. (2014). Teste e verificação formal do comportamento excepcional de programas Java (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082014-150106
NLM
Martins AL. Teste e verificação formal do comportamento excepcional de programas Java [Internet]. 2014 ;[citado 2024 nov. 02 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082014-150106
Vancouver
Martins AL. Teste e verificação formal do comportamento excepcional de programas Java [Internet]. 2014 ;[citado 2024 nov. 02 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082014-150106
Trabalho de evento
Towards an enactment engine for dynamically reconfigurable and scalable choreographies (2014)
Furtado, Thiago; Francesquini, Emilio; Lago, Nelson ; Kon, Fábio
Source: Proceedings. Conference titles: IEEE World Congress on Services - SERVICES. Unidade: IME
Subjects: ARQUITETURA ORIENTADA A SERVIÇOS, SISTEMAS DISTRIBUÍDOS, MÉTODOS DE DESENVOLVIMENTO DE SOFTWARE, ENGENHARIA DE PROGRAMAS, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FURTADO, Thiago et al. Towards an enactment engine for dynamically reconfigurable and scalable choreographies. 2014, Anais.. Los Alamitos: IEEE, 2014. Disponível em: https://doi.org/10.1109/SERVICES.2014.64. Acesso em: 02 nov. 2024.
APA
Furtado, T., Francesquini, E., Lago, N., & Kon, F. (2014). Towards an enactment engine for dynamically reconfigurable and scalable choreographies. In Proceedings. Los Alamitos: IEEE. doi:10.1109/SERVICES.2014.64
NLM
Furtado T, Francesquini E, Lago N, Kon F. Towards an enactment engine for dynamically reconfigurable and scalable choreographies [Internet]. Proceedings. 2014 ;[citado 2024 nov. 02 ] Available from: https://doi.org/10.1109/SERVICES.2014.64
Vancouver
Furtado T, Francesquini E, Lago N, Kon F. Towards an enactment engine for dynamically reconfigurable and scalable choreographies [Internet]. Proceedings. 2014 ;[citado 2024 nov. 02 ] Available from: https://doi.org/10.1109/SERVICES.2014.64
Dissertação (Mestrado)
Implementação do arcabouço WED-flow para controle de processos transacionais (2013)
Garcia, Marcela Ortega; Ferreira, João Eduardo (Orientador)
Unidade: IME
Subjects: ENGENHARIA DE PROGRAMAS, BANCO DE DADOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GARCIA, Marcela Ortega. Implementação do arcabouço WED-flow para controle de processos transacionais. 2013. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17072013-111452. Acesso em: 02 nov. 2024.
APA
Garcia, M. O. (2013). Implementação do arcabouço WED-flow para controle de processos transacionais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17072013-111452
NLM
Garcia MO. Implementação do arcabouço WED-flow para controle de processos transacionais [Internet]. 2013 ;[citado 2024 nov. 02 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17072013-111452
Vancouver
Garcia MO. Implementação do arcabouço WED-flow para controle de processos transacionais [Internet]. 2013 ;[citado 2024 nov. 02 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17072013-111452
Dissertação (Mestrado)
Um método para a implementação de regras de negócio à partir da semântica SBVR (2013)
Jesus, Jandisson Soares de; Melo, Ana Cristina Vieira de (Orientador)
Unidade: IME
Subjects: ENGENHARIA DE PROGRAMAS, METODOLOGIA E TÉCNICAS DE PROGRAMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
JESUS, Jandisson Soares de. Um método para a implementação de regras de negócio à partir da semântica SBVR. 2013. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-22012014-144303. Acesso em: 02 nov. 2024.
APA
Jesus, J. S. de. (2013). Um método para a implementação de regras de negócio à partir da semântica SBVR (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-22012014-144303
NLM
Jesus JS de. Um método para a implementação de regras de negócio à partir da semântica SBVR [Internet]. 2013 ;[citado 2024 nov. 02 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-22012014-144303
Vancouver
Jesus JS de. Um método para a implementação de regras de negócio à partir da semântica SBVR [Internet]. 2013 ;[citado 2024 nov. 02 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-22012014-144303
Tese (Doutorado)
Productivity of agile teams: an empirical evaluation of factors and monitoring processes (2013)
Melo, Claudia de Oliveira; Kon, Fabio (Orientador)
Unidade: IME
Assunto: ENGENHARIA DE PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MELO, Claudia de Oliveira. Productivity of agile teams: an empirical evaluation of factors and monitoring processes. 2013. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-25052015-120242. Acesso em: 02 nov. 2024.
APA
Melo, C. de O. (2013). Productivity of agile teams: an empirical evaluation of factors and monitoring processes (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-25052015-120242
NLM
Melo C de O. Productivity of agile teams: an empirical evaluation of factors and monitoring processes [Internet]. 2013 ;[citado 2024 nov. 02 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-25052015-120242
Vancouver
Melo C de O. Productivity of agile teams: an empirical evaluation of factors and monitoring processes [Internet]. 2013 ;[citado 2024 nov. 02 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-25052015-120242

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Date published

Subjects

Source title

Conference titles

Funding Agencies