ReP USP - Resultado da busca

Artigo de periodico
Temporal dynamics of requirements engineering from mobile app reviews (2022)
Lima, Vitor Mesaque Alves de; Araujo, Adailton Ferreira de ; Marcacini, Ricardo Marcondes
Fonte: PeerJ Computer Science. Unidade: ICMC
Assuntos: APRENDIZADO COMPUTACIONAL, MINERAÇÃO DE DADOS, RECONHECIMENTO DE TEXTO, ANÁLISE DE REQUISITOS, APLICATIVOS MÓVEIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LIMA, Vitor Mesaque Alves de e ARAUJO, Adailton Ferreira de e MARCACINI, Ricardo Marcondes. Temporal dynamics of requirements engineering from mobile app reviews. PeerJ Computer Science, v. 8, p. 1-26, 2022Tradução . . Disponível em: https://doi.org/10.7717/peerj-cs.874. Acesso em: 22 ago. 2024.
APA
Lima, V. M. A. de, Araujo, A. F. de, & Marcacini, R. M. (2022). Temporal dynamics of requirements engineering from mobile app reviews. PeerJ Computer Science, 8, 1-26. doi:10.7717/peerj-cs.874
NLM
Lima VMA de, Araujo AF de, Marcacini RM. Temporal dynamics of requirements engineering from mobile app reviews [Internet]. PeerJ Computer Science. 2022 ; 8 1-26.[citado 2024 ago. 22 ] Available from: https://doi.org/10.7717/peerj-cs.874
Vancouver
Lima VMA de, Araujo AF de, Marcacini RM. Temporal dynamics of requirements engineering from mobile app reviews [Internet]. PeerJ Computer Science. 2022 ; 8 1-26.[citado 2024 ago. 22 ] Available from: https://doi.org/10.7717/peerj-cs.874
Trabalho de evento
Requirements gathering for the development of a game for therapy sessions with autistic children to encourage social communication (2022)
Peixoto, Henrique de Oliveira ; Moraes, Guilherme Brun; Nunes, Eunice Pereira dos Santos ; Borges, Luciana Correia Lima de Faria; Rodrigues, Kamila Rios da Hora
Fonte: Proceedings. Nome do evento: ACM International Conference on Interactive Media Experiences - ACM IMX. Unidade: ICMC
Assuntos: ANÁLISE DE REQUISITOS, JOGOS DE COMPUTADOR, JOGOS EDUCATIVOS, REVISÃO SISTEMÁTICA, TRANSTORNO AUTÍSTICO, INTERAÇÃO SOCIAL (COMPORTAMENTO SOCIAL), CRIANÇAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEIXOTO, Henrique de Oliveira et al. Requirements gathering for the development of a game for therapy sessions with autistic children to encourage social communication. 2022, Anais.. Porto Alegre: SBC, 2022. Disponível em: https://doi.org/10.5753/lique.2022.19996. Acesso em: 22 ago. 2024.
APA
Peixoto, H. de O., Moraes, G. B., Nunes, E. P. dos S., Borges, L. C. L. de F., & Rodrigues, K. R. da H. (2022). Requirements gathering for the development of a game for therapy sessions with autistic children to encourage social communication. In Proceedings. Porto Alegre: SBC. doi:10.5753/lique.2022.19996
NLM
Peixoto H de O, Moraes GB, Nunes EP dos S, Borges LCL de F, Rodrigues KR da H. Requirements gathering for the development of a game for therapy sessions with autistic children to encourage social communication [Internet]. Proceedings. 2022 ;[citado 2024 ago. 22 ] Available from: https://doi.org/10.5753/lique.2022.19996
Vancouver
Peixoto H de O, Moraes GB, Nunes EP dos S, Borges LCL de F, Rodrigues KR da H. Requirements gathering for the development of a game for therapy sessions with autistic children to encourage social communication [Internet]. Proceedings. 2022 ;[citado 2024 ago. 22 ] Available from: https://doi.org/10.5753/lique.2022.19996
Relatorio tecnico
Universo de seleção: análise das técnicas de DT, diagramas de SADT e tabelas comparativas (2022)
Meireles, Maria Alcimar Costa ; Conte, Tayana Uchôa ; Maldonado, José Carlos
Unidade: ICMC
Assuntos: ANÁLISE DE REQUISITOS, TOMADA DE DECISÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MEIRELES, Maria Alcimar Costa e CONTE, Tayana Uchôa e MALDONADO, José Carlos. Universo de seleção: análise das técnicas de DT, diagramas de SADT e tabelas comparativas. . São Carlos: USP-ICMC. Disponível em: https://repositorio.usp.br/item/003106366. Acesso em: 22 ago. 2024. , 2022
APA
Meireles, M. A. C., Conte, T. U., & Maldonado, J. C. (2022). Universo de seleção: análise das técnicas de DT, diagramas de SADT e tabelas comparativas. São Carlos: USP-ICMC. Recuperado de https://repositorio.usp.br/item/003106366
NLM
Meireles MAC, Conte TU, Maldonado JC. Universo de seleção: análise das técnicas de DT, diagramas de SADT e tabelas comparativas [Internet]. 2022 ;[citado 2024 ago. 22 ] Available from: https://repositorio.usp.br/item/003106366
Vancouver
Meireles MAC, Conte TU, Maldonado JC. Universo de seleção: análise das técnicas de DT, diagramas de SADT e tabelas comparativas [Internet]. 2022 ;[citado 2024 ago. 22 ] Available from: https://repositorio.usp.br/item/003106366
Trabalho de evento
RE-BERT: automatic extraction of software requirements from app reviews using BERT language model (2021)
Araujo, Adailton Ferreira de; Marcacini, Ricardo Marcondes
Fonte: Proceedings. Nome do evento: Symposium on Applied Computing - SAC. Unidade: ICMC
Assuntos: ANÁLISE DE REQUISITOS, REDES NEURAIS, PROCESSAMENTO DE LINGUAGEM NATURAL, MINERAÇÃO DE DADOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARAUJO, Adailton Ferreira de e MARCACINI, Ricardo Marcondes. RE-BERT: automatic extraction of software requirements from app reviews using BERT language model. 2021, Anais.. New York: ACM, 2021. Disponível em: https://doi.org/10.1145/3412841.3442006. Acesso em: 22 ago. 2024.
APA
Araujo, A. F. de, & Marcacini, R. M. (2021). RE-BERT: automatic extraction of software requirements from app reviews using BERT language model. In Proceedings. New York: ACM. doi:10.1145/3412841.3442006
NLM
Araujo AF de, Marcacini RM. RE-BERT: automatic extraction of software requirements from app reviews using BERT language model [Internet]. Proceedings. 2021 ;[citado 2024 ago. 22 ] Available from: https://doi.org/10.1145/3412841.3442006
Vancouver
Araujo AF de, Marcacini RM. RE-BERT: automatic extraction of software requirements from app reviews using BERT language model [Internet]. Proceedings. 2021 ;[citado 2024 ago. 22 ] Available from: https://doi.org/10.1145/3412841.3442006
Trabalho de evento
Organizing the design thinking toolbox: supporting the requirements elicitation decision making (2021)
Meireles, Maria Alcimar Costa; Conte, Tayana Uchôa ; Souza, Anderson Felipe Barros de ; Maldonado, José Carlos
Fonte: Proceedings. Nome do evento: Brazilian Symposium on Software Engineering - SBES. Unidade: ICMC
Assuntos: PROCESSO DE SOFTWARE, DESENVOLVIMENTO DE SOFTWARE, REVISÃO SISTEMÁTICA, ANÁLISE DE REQUISITOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MEIRELES, Maria Alcimar Costa et al. Organizing the design thinking toolbox: supporting the requirements elicitation decision making. 2021, Anais.. New York: ACM, 2021. Disponível em: https://doi.org/10.1145/3474624.3477064. Acesso em: 22 ago. 2024.
APA
Meireles, M. A. C., Conte, T. U., Souza, A. F. B. de, & Maldonado, J. C. (2021). Organizing the design thinking toolbox: supporting the requirements elicitation decision making. In Proceedings. New York: ACM. doi:10.1145/3474624.3477064
NLM
Meireles MAC, Conte TU, Souza AFB de, Maldonado JC. Organizing the design thinking toolbox: supporting the requirements elicitation decision making [Internet]. Proceedings. 2021 ;[citado 2024 ago. 22 ] Available from: https://doi.org/10.1145/3474624.3477064
Vancouver
Meireles MAC, Conte TU, Souza AFB de, Maldonado JC. Organizing the design thinking toolbox: supporting the requirements elicitation decision making [Internet]. Proceedings. 2021 ;[citado 2024 ago. 22 ] Available from: https://doi.org/10.1145/3474624.3477064
Dissertação (Mestrado)
Análise da participação da equipe e do uso combinado de técnicas de elicitação de requisitos no desenvolvimento de software (2020)
Alflen, Naiara Crislaine ; Prado, Edmir Parada Vasques (Orientador)
Unidade: EACH
Assuntos: DESENVOLVIMENTO DE SOFTWARE, ENGENHARIA DE REQUISITOS, ESPECIFICAÇÃO DE REQUISITOS DE SISTEMAS E PROGRAMAS, ANÁLISE DE REQUISITOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ALFLEN, Naiara Crislaine. Análise da participação da equipe e do uso combinado de técnicas de elicitação de requisitos no desenvolvimento de software. 2020. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2020. Disponível em: https://www.teses.usp.br/teses/disponiveis/100/100131/tde-27012021-190757/. Acesso em: 22 ago. 2024.
APA
Alflen, N. C. (2020). Análise da participação da equipe e do uso combinado de técnicas de elicitação de requisitos no desenvolvimento de software (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/100/100131/tde-27012021-190757/
NLM
Alflen NC. Análise da participação da equipe e do uso combinado de técnicas de elicitação de requisitos no desenvolvimento de software [Internet]. 2020 ;[citado 2024 ago. 22 ] Available from: https://www.teses.usp.br/teses/disponiveis/100/100131/tde-27012021-190757/
Vancouver
Alflen NC. Análise da participação da equipe e do uso combinado de técnicas de elicitação de requisitos no desenvolvimento de software [Internet]. 2020 ;[citado 2024 ago. 22 ] Available from: https://www.teses.usp.br/teses/disponiveis/100/100131/tde-27012021-190757/
Tese (Doutorado)
Requirements analysis for technical interoperability driven by mission engineering (2020)
Lana, Cristiane Aparecida; Nakagawa, Elisa Yumi (Orientador)
Unidade: ICMC
Assuntos: INTEROPERABILIDADE, ANÁLISE DE REQUISITOS, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS, PROJETOS INDUSTRIAIS, ANÁLISE DE CONTEÚDO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LANA, Cristiane Aparecida. Requirements analysis for technical interoperability driven by mission engineering. 2020. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2020. Disponível em: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-23072020-102227/. Acesso em: 22 ago. 2024.
APA
Lana, C. A. (2020). Requirements analysis for technical interoperability driven by mission engineering (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de https://www.teses.usp.br/teses/disponiveis/55/55134/tde-23072020-102227/
NLM
Lana CA. Requirements analysis for technical interoperability driven by mission engineering [Internet]. 2020 ;[citado 2024 ago. 22 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-23072020-102227/
Vancouver
Lana CA. Requirements analysis for technical interoperability driven by mission engineering [Internet]. 2020 ;[citado 2024 ago. 22 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-23072020-102227/
Artigo de periodico
A systematic identification of formal and semi-formal languages and techniques for software-intensive systems-of-systems requirements modeling (2019)
Lana, Cristiane Aparecida ; Guessi, Milena ; Antonino, Pablo Oliveira ; Rombach, Dieter; Nakagawa, Elisa Yumi
Fonte: IEEE Systems Journal. Unidade: ICMC
Assuntos: ARQUITETURA DE SOFTWARE, ANÁLISE DE REQUISITOS, SOFTWARES, REVISÃO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LANA, Cristiane Aparecida et al. A systematic identification of formal and semi-formal languages and techniques for software-intensive systems-of-systems requirements modeling. IEEE Systems Journal, v. 13, n. 3, p. 2201-2212, 2019Tradução . . Disponível em: https://doi.org/10.1109/JSYST.2018.2874061. Acesso em: 22 ago. 2024.
APA
Lana, C. A., Guessi, M., Antonino, P. O., Rombach, D., & Nakagawa, E. Y. (2019). A systematic identification of formal and semi-formal languages and techniques for software-intensive systems-of-systems requirements modeling. IEEE Systems Journal, 13( 3), 2201-2212. doi:10.1109/JSYST.2018.2874061
NLM
Lana CA, Guessi M, Antonino PO, Rombach D, Nakagawa EY. A systematic identification of formal and semi-formal languages and techniques for software-intensive systems-of-systems requirements modeling [Internet]. IEEE Systems Journal. 2019 ; 13( 3): 2201-2212.[citado 2024 ago. 22 ] Available from: https://doi.org/10.1109/JSYST.2018.2874061
Vancouver
Lana CA, Guessi M, Antonino PO, Rombach D, Nakagawa EY. A systematic identification of formal and semi-formal languages and techniques for software-intensive systems-of-systems requirements modeling [Internet]. IEEE Systems Journal. 2019 ; 13( 3): 2201-2212.[citado 2024 ago. 22 ] Available from: https://doi.org/10.1109/JSYST.2018.2874061
Artigo de periodico
Analysing gamification elements in educational environments using an existing gamification taxonomy (2019)
Toda, Armando Maciel ; Klock, Ana Carolina Tomé ; Santos, Wilk Oliveira dos ; Palomino, Paula Toledo ; Rodrigues, Luiz Antonio Lima; Shi, Lei; Pinto, Ig Ibert Bittencourt Santana ; Gasparini, Isabela ; Isotani, Seiji ; Cristea, Alexandra I
Fonte: Smart Learning Environments. Unidade: ICMC
Assuntos: JOGOS DE COMPUTADOR, COMPUTADOR NO ENSINO, SISTEMAS TUTORES INTELIGENTES, ANÁLISE DE REQUISITOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
TODA, Armando Maciel et al. Analysing gamification elements in educational environments using an existing gamification taxonomy. Smart Learning Environments, v. 6, p. 1-14, 2019Tradução . . Disponível em: https://doi.org/10.1186/s40561-019-0106-1. Acesso em: 22 ago. 2024.
APA
Toda, A. M., Klock, A. C. T., Santos, W. O. dos, Palomino, P. T., Rodrigues, L. A. L., Shi, L., et al. (2019). Analysing gamification elements in educational environments using an existing gamification taxonomy. Smart Learning Environments, 6, 1-14. doi:10.1186/s40561-019-0106-1
NLM
Toda AM, Klock ACT, Santos WO dos, Palomino PT, Rodrigues LAL, Shi L, Pinto IIBS, Gasparini I, Isotani S, Cristea AI. Analysing gamification elements in educational environments using an existing gamification taxonomy [Internet]. Smart Learning Environments. 2019 ; 6 1-14.[citado 2024 ago. 22 ] Available from: https://doi.org/10.1186/s40561-019-0106-1
Vancouver
Toda AM, Klock ACT, Santos WO dos, Palomino PT, Rodrigues LAL, Shi L, Pinto IIBS, Gasparini I, Isotani S, Cristea AI. Analysing gamification elements in educational environments using an existing gamification taxonomy [Internet]. Smart Learning Environments. 2019 ; 6 1-14.[citado 2024 ago. 22 ] Available from: https://doi.org/10.1186/s40561-019-0106-1
Trabalho de evento-resumo
Inventário dos Resíduos Gerados nos Laboratórios de Química Analítica Qualitativa e Quantitativa: Processo Ensino-Aprendizagem com Responsabilidade Ambiental (2018)
Mattos, Otavio Alves; Vieira, Eny Maria
Fonte: Resumos. Nome do evento: Simposio Internacional de Iniciação Científica e Tecnológica da Universidade de São Paulo - SIICUSP. Unidade: IQSC
Assunto: ANÁLISE DE REQUISITOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MATTOS, Otavio Alves e VIEIRA, Eny Maria. Inventário dos Resíduos Gerados nos Laboratórios de Química Analítica Qualitativa e Quantitativa: Processo Ensino-Aprendizagem com Responsabilidade Ambiental. 2018, Anais.. São Paulo: Universidade de São Paulo - USP, 2018. Disponível em: https://uspdigital.usp.br/siicusp/siicPublicacao.jsp?codmnu=7210. Acesso em: 22 ago. 2024.
APA
Mattos, O. A., & Vieira, E. M. (2018). Inventário dos Resíduos Gerados nos Laboratórios de Química Analítica Qualitativa e Quantitativa: Processo Ensino-Aprendizagem com Responsabilidade Ambiental. In Resumos. São Paulo: Universidade de São Paulo - USP. Recuperado de https://uspdigital.usp.br/siicusp/siicPublicacao.jsp?codmnu=7210
NLM
Mattos OA, Vieira EM. Inventário dos Resíduos Gerados nos Laboratórios de Química Analítica Qualitativa e Quantitativa: Processo Ensino-Aprendizagem com Responsabilidade Ambiental [Internet]. Resumos. 2018 ;[citado 2024 ago. 22 ] Available from: https://uspdigital.usp.br/siicusp/siicPublicacao.jsp?codmnu=7210
Vancouver
Mattos OA, Vieira EM. Inventário dos Resíduos Gerados nos Laboratórios de Química Analítica Qualitativa e Quantitativa: Processo Ensino-Aprendizagem com Responsabilidade Ambiental [Internet]. Resumos. 2018 ;[citado 2024 ago. 22 ] Available from: https://uspdigital.usp.br/siicusp/siicPublicacao.jsp?codmnu=7210
Trabalho de evento
A chatterbot sensitive to student's context to help on software engineering education (2018)
Paschoal, Leo Natan ; Oliveira, Myke Morais de ; Chicon, Patricia M. Mozzaquatro
Nome do evento: Latin American Computing Conference - CLEI. Unidade: ICMC
Assuntos: ENGENHARIA DE SOFTWARE, ANÁLISE DE REQUISITOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PASCHOAL, Leo Natan e OLIVEIRA, Myke Morais de e CHICON, Patricia M. Mozzaquatro. A chatterbot sensitive to student's context to help on software engineering education. 2018, Anais.. Piscataway: IEEE, 2018. Disponível em: https://doi.org/10.1109/CLEI.2018.00105. Acesso em: 22 ago. 2024.
APA
Paschoal, L. N., Oliveira, M. M. de, & Chicon, P. M. M. (2018). A chatterbot sensitive to student's context to help on software engineering education. In . Piscataway: IEEE. doi:10.1109/CLEI.2018.00105
NLM
Paschoal LN, Oliveira MM de, Chicon PMM. A chatterbot sensitive to student's context to help on software engineering education [Internet]. 2018 ;[citado 2024 ago. 22 ] Available from: https://doi.org/10.1109/CLEI.2018.00105
Vancouver
Paschoal LN, Oliveira MM de, Chicon PMM. A chatterbot sensitive to student's context to help on software engineering education [Internet]. 2018 ;[citado 2024 ago. 22 ] Available from: https://doi.org/10.1109/CLEI.2018.00105
Trabalho de evento
Cloud-SPHERE: a security approach for connected unmanned aerial vehicles (2018)
Rodrigues, Mariana; Pigatto, Daniel F.; Branco, Kalinka Regina Lucas Jaquie Castelo
Fonte: Proceedings. Nome do evento: International Conference on Unmanned Aircraft Systems - ICUAS. Unidade: ICMC
Assuntos: AERONAVES NÃO TRIPULADAS, COMPUTAÇÃO EM NUVEM, ARQUITETURA E ORGANIZAÇÃO DE COMPUTADORES, CRIPTOLOGIA, ANÁLISE DE REQUISITOS, REDES DE COMPUTADORES, SEGURANÇA DE COMPUTADORESL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RODRIGUES, Mariana e PIGATTO, Daniel F. e BRANCO, Kalinka Regina Lucas Jaquie Castelo. Cloud-SPHERE: a security approach for connected unmanned aerial vehicles. 2018, Anais.. Los Alamitos, CA: IEEE, 2018. Disponível em: https://doi.org/10.1109/ICUAS.2018.8453302. Acesso em: 22 ago. 2024.
APA
Rodrigues, M., Pigatto, D. F., & Branco, K. R. L. J. C. (2018). Cloud-SPHERE: a security approach for connected unmanned aerial vehicles. In Proceedings. Los Alamitos, CA: IEEE. doi:10.1109/ICUAS.2018.8453302
NLM
Rodrigues M, Pigatto DF, Branco KRLJC. Cloud-SPHERE: a security approach for connected unmanned aerial vehicles [Internet]. Proceedings. 2018 ;[citado 2024 ago. 22 ] Available from: https://doi.org/10.1109/ICUAS.2018.8453302
Vancouver
Rodrigues M, Pigatto DF, Branco KRLJC. Cloud-SPHERE: a security approach for connected unmanned aerial vehicles [Internet]. Proceedings. 2018 ;[citado 2024 ago. 22 ] Available from: https://doi.org/10.1109/ICUAS.2018.8453302
Tese (Doutorado)
Modelagem hierárquica e análise de requisitos de problemas reais em planejamento automático (2015)
Tonaco-Basbaum, Rosimarci Pacheco; Silva, José Reinaldo (Orientador)
Unidade: EP
Assuntos: INTELIGÊNCIA ARTIFICIAL (PLANEJAMENTO;AUTOMAÇÃO), GESTÃO DE PROJETOS, ANÁLISE DE REQUISITOS, REDES DE PETRI
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
TONACO-BASBAUM, Rosimarci Pacheco. Modelagem hierárquica e análise de requisitos de problemas reais em planejamento automático. 2015. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2015. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-22072016-091845/. Acesso em: 22 ago. 2024.
APA
Tonaco-Basbaum, R. P. (2015). Modelagem hierárquica e análise de requisitos de problemas reais em planejamento automático (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3152/tde-22072016-091845/
NLM
Tonaco-Basbaum RP. Modelagem hierárquica e análise de requisitos de problemas reais em planejamento automático [Internet]. 2015 ;[citado 2024 ago. 22 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-22072016-091845/
Vancouver
Tonaco-Basbaum RP. Modelagem hierárquica e análise de requisitos de problemas reais em planejamento automático [Internet]. 2015 ;[citado 2024 ago. 22 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-22072016-091845/
Trabalho de evento
Verification of automated systems using invariants (2014)
Salmon, Arianna Zoila Oliveira; Del Foyo, Pedro Manuel Gonzalez; Silva, José Reinaldo
Fonte: Anais. Nome do evento: Congresso Brasileiro de Automática - CBA. Unidade: EP
Assuntos: REDES DE PETRI, ANÁLISE DE REQUISITOS, ALGORITMOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SALMON, Arianna Zoila Oliveira e DEL FOYO, Pedro Manuel Gonzalez e SILVA, José Reinaldo. Verification of automated systems using invariants. 2014, Anais.. [Belo Horizonte: Sba/IFAC], 2014. Disponível em: http://www.swge.inf.br/CBA2014/anais/PDF/1569935123.pdf. Acesso em: 22 ago. 2024.
APA
Salmon, A. Z. O., Del Foyo, P. M. G., & Silva, J. R. (2014). Verification of automated systems using invariants. In Anais. [Belo Horizonte: Sba/IFAC]. Recuperado de http://www.swge.inf.br/CBA2014/anais/PDF/1569935123.pdf
NLM
Salmon AZO, Del Foyo PMG, Silva JR. Verification of automated systems using invariants [Internet]. Anais. 2014 ;[citado 2024 ago. 22 ] Available from: http://www.swge.inf.br/CBA2014/anais/PDF/1569935123.pdf
Vancouver
Salmon AZO, Del Foyo PMG, Silva JR. Verification of automated systems using invariants [Internet]. Anais. 2014 ;[citado 2024 ago. 22 ] Available from: http://www.swge.inf.br/CBA2014/anais/PDF/1569935123.pdf
Artigo de periodico
itSIMPLE: towards an integrated design system for real planning applications (2013)
Vaquero, Tiago Stegun; Silva, José Reinaldo ; Tonidandel, Flavio; Beck, J. Christopher
Fonte: The Knowledge Engineering Review. Unidade: EP
Assuntos: INTELIGÊNCIA ARTIFICIAL, ENGENHARIA DE REQUISITOS, ANÁLISE DE REQUISITOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
VAQUERO, Tiago Stegun et al. itSIMPLE: towards an integrated design system for real planning applications. The Knowledge Engineering Review, v. 28, n. 2, p. 215-230, 2013Tradução . . Disponível em: https://doi.org/10.1017/s0269888912000434. Acesso em: 22 ago. 2024.
APA
Vaquero, T. S., Silva, J. R., Tonidandel, F., & Beck, J. C. (2013). itSIMPLE: towards an integrated design system for real planning applications. The Knowledge Engineering Review, 28( 2), 215-230. doi:10.1017/s0269888912000434
NLM
Vaquero TS, Silva JR, Tonidandel F, Beck JC. itSIMPLE: towards an integrated design system for real planning applications [Internet]. The Knowledge Engineering Review. 2013 ; 28( 2): 215-230.[citado 2024 ago. 22 ] Available from: https://doi.org/10.1017/s0269888912000434
Vancouver
Vaquero TS, Silva JR, Tonidandel F, Beck JC. itSIMPLE: towards an integrated design system for real planning applications [Internet]. The Knowledge Engineering Review. 2013 ; 28( 2): 215-230.[citado 2024 ago. 22 ] Available from: https://doi.org/10.1017/s0269888912000434
Trabalho de evento
Usando invariantes na análise dos requisitos (2012)
Salmon, Arianna Zoila Oliveira; Silva, José Reinaldo
Fonte: Anais. Nome do evento: Congresso Brasileiro de Automática - CBA. Unidade: EP
Assuntos: REDES DE PETRI, ANÁLISE DE REQUISITOS, INVARIANTES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SALMON, Arianna Zoila Oliveira e SILVA, José Reinaldo. Usando invariantes na análise dos requisitos. 2012, Anais.. Campina Grande: UFCG, 2012. Disponível em: https://repositorio.usp.br/directbitstream/8694c2a5-c238-41b6-9e6f-a4a6f08d26a1/Silva_JR-2012-usando%20invariantes%20na%20analise%20dos%20requisitos.pdf. Acesso em: 22 ago. 2024.
APA
Salmon, A. Z. O., & Silva, J. R. (2012). Usando invariantes na análise dos requisitos. In Anais. Campina Grande: UFCG. Recuperado de https://repositorio.usp.br/directbitstream/8694c2a5-c238-41b6-9e6f-a4a6f08d26a1/Silva_JR-2012-usando%20invariantes%20na%20analise%20dos%20requisitos.pdf
NLM
Salmon AZO, Silva JR. Usando invariantes na análise dos requisitos [Internet]. Anais. 2012 ;[citado 2024 ago. 22 ] Available from: https://repositorio.usp.br/directbitstream/8694c2a5-c238-41b6-9e6f-a4a6f08d26a1/Silva_JR-2012-usando%20invariantes%20na%20analise%20dos%20requisitos.pdf
Vancouver
Salmon AZO, Silva JR. Usando invariantes na análise dos requisitos [Internet]. Anais. 2012 ;[citado 2024 ago. 22 ] Available from: https://repositorio.usp.br/directbitstream/8694c2a5-c238-41b6-9e6f-a4a6f08d26a1/Silva_JR-2012-usando%20invariantes%20na%20analise%20dos%20requisitos.pdf
Dissertação (Mestrado)
Proposta de método para análise técnica de rede para implantação de serviços IPTV (2011)
Barros, Jorge Luiz Silva; Andrade, Marco Túlio Carvalho de (Orientador)
Unidade: EP
Assuntos: REDES DE COMPUTADORES, REDES MULTIMÍDIA, ANÁLISE DE REQUISITOS, CONVERGÊNCIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BARROS, Jorge Luiz Silva. Proposta de método para análise técnica de rede para implantação de serviços IPTV. 2011. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2011. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-02042012-152954/. Acesso em: 22 ago. 2024.
APA
Barros, J. L. S. (2011). Proposta de método para análise técnica de rede para implantação de serviços IPTV (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-02042012-152954/
NLM
Barros JLS. Proposta de método para análise técnica de rede para implantação de serviços IPTV [Internet]. 2011 ;[citado 2024 ago. 22 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-02042012-152954/
Vancouver
Barros JLS. Proposta de método para análise técnica de rede para implantação de serviços IPTV [Internet]. 2011 ;[citado 2024 ago. 22 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-02042012-152954/
Artigo de periodico
Automatic analysis of requirements consistency with the B method (2010)
Sousa, Thiago Carvalho de; Almeida Junior, Jorge Rady de ; Viana, Sidney; Pavón, Judith
Fonte: Software engineering notes. Unidade: EP
Assunto: ANÁLISE DE REQUISITOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUSA, Thiago Carvalho de et al. Automatic analysis of requirements consistency with the B method. Software engineering notes, v. 35, n. 2, p. 1-4, 2010Tradução . . Disponível em: https://doi.org/10.1145/1734103.1734114. Acesso em: 22 ago. 2024.
APA
Sousa, T. C. de, Almeida Junior, J. R. de, Viana, S., & Pavón, J. (2010). Automatic analysis of requirements consistency with the B method. Software engineering notes, 35( 2), 1-4. doi:10.1145/1734103.1734114
NLM
Sousa TC de, Almeida Junior JR de, Viana S, Pavón J. Automatic analysis of requirements consistency with the B method [Internet]. Software engineering notes. 2010 ;35( 2): 1-4.[citado 2024 ago. 22 ] Available from: https://doi.org/10.1145/1734103.1734114
Vancouver
Sousa TC de, Almeida Junior JR de, Viana S, Pavón J. Automatic analysis of requirements consistency with the B method [Internet]. Software engineering notes. 2010 ;35( 2): 1-4.[citado 2024 ago. 22 ] Available from: https://doi.org/10.1145/1734103.1734114
Trabalho de evento
Mobility in digital learning ecosystems (2008)
Ficheman, Irene Karaguilla ; Lopes, Roseli de Deus
Fonte: Proceedings. Nome do evento: IADIS International Conference Mobile Learning. Unidade: EP
Assuntos: ANÁLISE DE REQUISITOS, SOFTWARES (MODELAGEM COMPUTACIONAL), SISTEMAS BASEADOS EM CONHECIMENTO, TECNOLOGIA EDUCACIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FICHEMAN, Irene Karaguilla e LOPES, Roseli de Deus. Mobility in digital learning ecosystems. 2008, Anais.. Algarve: IADIS, 2008. . Acesso em: 22 ago. 2024.
APA
Ficheman, I. K., & Lopes, R. de D. (2008). Mobility in digital learning ecosystems. In Proceedings. Algarve: IADIS.
NLM
Ficheman IK, Lopes R de D. Mobility in digital learning ecosystems. Proceedings. 2008 ;[citado 2024 ago. 22 ]
Vancouver
Ficheman IK, Lopes R de D. Mobility in digital learning ecosystems. Proceedings. 2008 ;[citado 2024 ago. 22 ]
Tese (Doutorado)
Ecossistemas digitais de aprendizagem: autoria, colaboração, imersão e mobilidade (2008)
Ficheman, Irene Karaguilla ; Lopes, Roseli de Deus (Orientador)
Unidade: EP
Assuntos: ANÁLISE DE REQUISITOS, SOFTWARES (MODELAGEM COMPUTACIONAL)
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FICHEMAN, Irene Karaguilla. Ecossistemas digitais de aprendizagem: autoria, colaboração, imersão e mobilidade. 2008. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2008. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3142/tde-02022009-164226/. Acesso em: 22 ago. 2024.
APA
Ficheman, I. K. (2008). Ecossistemas digitais de aprendizagem: autoria, colaboração, imersão e mobilidade (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3142/tde-02022009-164226/
NLM
Ficheman IK. Ecossistemas digitais de aprendizagem: autoria, colaboração, imersão e mobilidade [Internet]. 2008 ;[citado 2024 ago. 22 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3142/tde-02022009-164226/
Vancouver
Ficheman IK. Ecossistemas digitais de aprendizagem: autoria, colaboração, imersão e mobilidade [Internet]. 2008 ;[citado 2024 ago. 22 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3142/tde-02022009-164226/

Unidades USP

ReP

Filtros

Departamento

Autores

Autores USP

Ano de publicação

Assuntos

Título da fonte

Editora

Nome do evento

País de publicação

Agência de fomento

Indexado em

Afiliação dos autores externos normalizada

Afiliação dos autores externos não normalizada