ReP USP - Resultado da busca

Trabalho de evento-resumo
Water-Energy Nexus with fast-changing operation constraints in the metropolitan region of São Paulo, Brazil (2022)
Zambon, Renato Carlos ; Marins, José Celso; Yeh, William W-G.
Fonte: Proceedings - Adaptive planning and design in an age of risk and uncertainty. Nome do evento: World Environmental and Water Resources Congress. Unidade: EP
Assuntos: ABASTECIMENTO DE ÁGUA, SISTEMAS DE RESERVATÓRIOS, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS, DISTRIBUIÇÃO DE ÁGUA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ZAMBON, Renato Carlos e MARINS, José Celso e YEH, William W-G. Water-Energy Nexus with fast-changing operation constraints in the metropolitan region of São Paulo, Brazil. 2022, Anais.. Reston,VA: ASCE, 2022. Disponível em: https://ascelibrary.org/doi/10.1061/9780784484258.071. Acesso em: 28 nov. 2025.
APA
Zambon, R. C., Marins, J. C., & Yeh, W. W. -G. (2022). Water-Energy Nexus with fast-changing operation constraints in the metropolitan region of São Paulo, Brazil. In Proceedings - Adaptive planning and design in an age of risk and uncertainty. Reston,VA: ASCE. Recuperado de https://ascelibrary.org/doi/10.1061/9780784484258.071
NLM
Zambon RC, Marins JC, Yeh WW-G. Water-Energy Nexus with fast-changing operation constraints in the metropolitan region of São Paulo, Brazil [Internet]. Proceedings - Adaptive planning and design in an age of risk and uncertainty. 2022 ;[citado 2025 nov. 28 ] Available from: https://ascelibrary.org/doi/10.1061/9780784484258.071
Vancouver
Zambon RC, Marins JC, Yeh WW-G. Water-Energy Nexus with fast-changing operation constraints in the metropolitan region of São Paulo, Brazil [Internet]. Proceedings - Adaptive planning and design in an age of risk and uncertainty. 2022 ;[citado 2025 nov. 28 ] Available from: https://ascelibrary.org/doi/10.1061/9780784484258.071
Trabalho de evento-anais periodico
Revising system specifications in temporal logic (2022)
Guerra, Paulo T ; Wassermann, Renata
Fonte: Journal of Logic, Language and Information. Nome do evento: Workshop on Logic, Language, Information and Computation - WoLLIC. Unidade: IME
Assuntos: REVISÃO DE CRENÇAS, LÓGICA MATEMÁTICA, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GUERRA, Paulo T e WASSERMANN, Renata. Revising system specifications in temporal logic. Journal of Logic, Language and Information. Dordrecht: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1007/s10849-022-09376-9. Acesso em: 28 nov. 2025. , 2022
APA
Guerra, P. T., & Wassermann, R. (2022). Revising system specifications in temporal logic. Journal of Logic, Language and Information. Dordrecht: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1007/s10849-022-09376-9
NLM
Guerra PT, Wassermann R. Revising system specifications in temporal logic [Internet]. Journal of Logic, Language and Information. 2022 ; 31( 4): 591-618.[citado 2025 nov. 28 ] Available from: https://doi.org/10.1007/s10849-022-09376-9
Vancouver
Guerra PT, Wassermann R. Revising system specifications in temporal logic [Internet]. Journal of Logic, Language and Information. 2022 ; 31( 4): 591-618.[citado 2025 nov. 28 ] Available from: https://doi.org/10.1007/s10849-022-09376-9
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: 28 nov. 2025.
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 2025 nov. 28 ] 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 2025 nov. 28 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-23072020-102227/
Trabalho de evento
An experimental study for complete-IOCO theory (2020)
Paiva, Sofia Larissa da Costa ; Simão, Adenilso da Silva
Fonte: Proceedings. Nome do evento: Brazilian Symposium on Systematic and Automated Software Testing - SAST. Unidade: ICMC
Assuntos: TESTE E AVALIAÇÃO DE SOFTWARE, ESTUDO DE CASO, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PAIVA, Sofia Larissa da Costa e SIMÃO, Adenilso da Silva. An experimental study for complete-IOCO theory. 2020, Anais.. New York: ACM, 2020. Disponível em: https://doi.org/10.1145/3425174.3425232. Acesso em: 28 nov. 2025.
APA
Paiva, S. L. da C., & Simão, A. da S. (2020). An experimental study for complete-IOCO theory. In Proceedings. New York: ACM. doi:10.1145/3425174.3425232
NLM
Paiva SL da C, Simão A da S. An experimental study for complete-IOCO theory [Internet]. Proceedings. 2020 ;[citado 2025 nov. 28 ] Available from: https://doi.org/10.1145/3425174.3425232
Vancouver
Paiva SL da C, Simão A da S. An experimental study for complete-IOCO theory [Internet]. Proceedings. 2020 ;[citado 2025 nov. 28 ] Available from: https://doi.org/10.1145/3425174.3425232
Artigo de periodico
Avaliação da usabilidade de um sistema de infronação em saúde neonatal segundo a percepção do usuário (2018)
Padrini-andrade, Lucio; Balda, Rita de Cássia Xavier; Areco, Kelsy Catherina Nema; Bandiera-paiva, Paulo; Nunes, Marynéa do Vale; Marba, Sérgio Tadeu Martins; Carvalho, Werther Brunow de; Rugolo, Ligia Maria Suppo de Souza; Almeida, João Henrique Carvalho de; Diniz, Edna Maria de Albuquerque
Fonte: Revista paulista de pediatria. Unidade: FM
Assuntos: PEDIATRIA, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS, INFORMAÇÃO EM SAÚDE, INFORMÁTICA MÉDICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PADRINI-ANDRADE, Lucio et al. Avaliação da usabilidade de um sistema de infronação em saúde neonatal segundo a percepção do usuário. Revista paulista de pediatria, v. 37, n. 1, p. 90-96, 2018Tradução . . Disponível em: https://doi.org/10.1590/1984-0462/;2019;37;1;00019. Acesso em: 28 nov. 2025.
APA
Padrini-andrade, L., Balda, R. de C. X., Areco, K. C. N., Bandiera-paiva, P., Nunes, M. do V., Marba, S. T. M., et al. (2018). Avaliação da usabilidade de um sistema de infronação em saúde neonatal segundo a percepção do usuário. Revista paulista de pediatria, 37( 1), 90-96. doi:10.1590/1984-0462/;2019;37;1;00019
NLM
Padrini-andrade L, Balda R de CX, Areco KCN, Bandiera-paiva P, Nunes M do V, Marba STM, Carvalho WB de, Rugolo LMS de S, Almeida JHC de, Diniz EM de A. Avaliação da usabilidade de um sistema de infronação em saúde neonatal segundo a percepção do usuário [Internet]. Revista paulista de pediatria. 2018 ; 37( 1): 90-96.[citado 2025 nov. 28 ] Available from: https://doi.org/10.1590/1984-0462/;2019;37;1;00019
Vancouver
Padrini-andrade L, Balda R de CX, Areco KCN, Bandiera-paiva P, Nunes M do V, Marba STM, Carvalho WB de, Rugolo LMS de S, Almeida JHC de, Diniz EM de A. Avaliação da usabilidade de um sistema de infronação em saúde neonatal segundo a percepção do usuário [Internet]. Revista paulista de pediatria. 2018 ; 37( 1): 90-96.[citado 2025 nov. 28 ] Available from: https://doi.org/10.1590/1984-0462/;2019;37;1;00019
Trabalho de evento-anais periodico
Optimizing public healthcare management through a data warehousing analyticla framework (2018)
Oliva, Samuel Zanferdini ; Felipe, Joaquim Cezar
Fonte: IFAC-PapersOnline. Nome do evento: IFAC Symposium on Biological and Medical Systems - BMS. Unidades: FFCLRP, Interunidades em Bioengenharia
Assuntos: ASSISTÊNCIA À SAÚDE, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS, FRAMEWORKS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVA, Samuel Zanferdini e FELIPE, Joaquim Cezar. Optimizing public healthcare management through a data warehousing analyticla framework. IFAC-PapersOnline. Amsterdam: Faculdade de Filosofia, Ciências e Letras de Ribeirão Preto, Universidade de São Paulo. Disponível em: https://doi.org/10.1016/j.ifacol.2019.02.004. Acesso em: 28 nov. 2025. , 2018
APA
Oliva, S. Z., & Felipe, J. C. (2018). Optimizing public healthcare management through a data warehousing analyticla framework. IFAC-PapersOnline. Amsterdam: Faculdade de Filosofia, Ciências e Letras de Ribeirão Preto, Universidade de São Paulo. doi:10.1016/j.ifacol.2019.02.004
NLM
Oliva SZ, Felipe JC. Optimizing public healthcare management through a data warehousing analyticla framework [Internet]. IFAC-PapersOnline. 2018 ; 51( 27): 407-412.[citado 2025 nov. 28 ] Available from: https://doi.org/10.1016/j.ifacol.2019.02.004
Vancouver
Oliva SZ, Felipe JC. Optimizing public healthcare management through a data warehousing analyticla framework [Internet]. IFAC-PapersOnline. 2018 ; 51( 27): 407-412.[citado 2025 nov. 28 ] Available from: https://doi.org/10.1016/j.ifacol.2019.02.004
Trabalho de evento
A tecnologia model based design como ferramenta integradora do conhecimento nas graduação e nas atividades extracurriculares de cultura e extensão da EESC-USP (2017)
Passarini, Luis Carlos
Fonte: Anais. Nome do evento: Congresso de Graduação da Universidade de São Paulo. Unidade: EESC
Assunto: ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PASSARINI, Luis Carlos. A tecnologia model based design como ferramenta integradora do conhecimento nas graduação e nas atividades extracurriculares de cultura e extensão da EESC-USP. 2017, Anais.. São Paulo: Universidade de São Paulo - USP, Pró-Reitoria de Graduação - PRG, 2017. Disponível em: https://repositorio.usp.br/directbitstream/9cc1310c-064a-46d7-a5c6-d61f1e2e49e9/prod_022967_sysno_3007049.pdf. Acesso em: 28 nov. 2025.
APA
Passarini, L. C. (2017). A tecnologia model based design como ferramenta integradora do conhecimento nas graduação e nas atividades extracurriculares de cultura e extensão da EESC-USP. In Anais. São Paulo: Universidade de São Paulo - USP, Pró-Reitoria de Graduação - PRG. Recuperado de https://repositorio.usp.br/directbitstream/9cc1310c-064a-46d7-a5c6-d61f1e2e49e9/prod_022967_sysno_3007049.pdf
NLM
Passarini LC. A tecnologia model based design como ferramenta integradora do conhecimento nas graduação e nas atividades extracurriculares de cultura e extensão da EESC-USP [Internet]. Anais. 2017 ;[citado 2025 nov. 28 ] Available from: https://repositorio.usp.br/directbitstream/9cc1310c-064a-46d7-a5c6-d61f1e2e49e9/prod_022967_sysno_3007049.pdf
Vancouver
Passarini LC. A tecnologia model based design como ferramenta integradora do conhecimento nas graduação e nas atividades extracurriculares de cultura e extensão da EESC-USP [Internet]. Anais. 2017 ;[citado 2025 nov. 28 ] Available from: https://repositorio.usp.br/directbitstream/9cc1310c-064a-46d7-a5c6-d61f1e2e49e9/prod_022967_sysno_3007049.pdf
Dissertação (Mestrado)
Depuração de programas baseada em cobertura de integração (2012)
Souza, Higor Amario de; Chaim, Marcos Lordello (Orientador)
Unidade: EACH
Assuntos: TESTE E AVALIAÇÃO DE SOFTWARE, VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE, ANÁLISE DE ERROS, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS, GERAÇÃO DE CÓDIGO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUZA, Higor Amario de. Depuração de programas baseada em cobertura de integração. 2012. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2012. Disponível em: http://www.teses.usp.br/teses/disponiveis/100/100131/tde-08032013-162246/. Acesso em: 28 nov. 2025.
APA
Souza, H. A. de. (2012). Depuração de programas baseada em cobertura de integração (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/100/100131/tde-08032013-162246/
NLM
Souza HA de. Depuração de programas baseada em cobertura de integração [Internet]. 2012 ;[citado 2025 nov. 28 ] Available from: http://www.teses.usp.br/teses/disponiveis/100/100131/tde-08032013-162246/
Vancouver
Souza HA de. Depuração de programas baseada em cobertura de integração [Internet]. 2012 ;[citado 2025 nov. 28 ] Available from: http://www.teses.usp.br/teses/disponiveis/100/100131/tde-08032013-162246/
Dissertação (Mestrado)
Sistema de informação para rastreabilidade de produtos florestais baseado em uma arquitetura orientado a serviços (2011)
Silva, Daniel Lins da; Corrêa, Pedro Luiz Pizzigatti (Orientador)
Unidade: EP
Assuntos: ARQUITETURA DE SOFTWARE, SISTEMAS DISTRIBUÍDOS, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS, CADEIA DE SUPRIMENTOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Daniel Lins da. Sistema de informação para rastreabilidade de produtos florestais baseado em uma arquitetura orientado a serviços. 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-29062012-155314/. Acesso em: 28 nov. 2025.
APA
Silva, D. L. da. (2011). Sistema de informação para rastreabilidade de produtos florestais baseado em uma arquitetura orientado a serviços (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-29062012-155314/
NLM
Silva DL da. Sistema de informação para rastreabilidade de produtos florestais baseado em uma arquitetura orientado a serviços [Internet]. 2011 ;[citado 2025 nov. 28 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-29062012-155314/
Vancouver
Silva DL da. Sistema de informação para rastreabilidade de produtos florestais baseado em uma arquitetura orientado a serviços [Internet]. 2011 ;[citado 2025 nov. 28 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-29062012-155314/
Dissertação (Mestrado)
Engenharia de sistemas em sistemas sociotécnicos (2010)
Simonette, Marcel Jacques ; Spina, Edison (Orientador)
Unidade: EP
Assuntos: ENGENHARIA DE REQUISITOS, ERGONOMIA, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS, ENGENHARIA DE SISTEMAS DE COMPUTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SIMONETTE, Marcel Jacques. Engenharia de sistemas em sistemas sociotécnicos. 2010. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2010. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-16082010-170837/. Acesso em: 28 nov. 2025.
APA
Simonette, M. J. (2010). Engenharia de sistemas em sistemas sociotécnicos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-16082010-170837/
NLM
Simonette MJ. Engenharia de sistemas em sistemas sociotécnicos [Internet]. 2010 ;[citado 2025 nov. 28 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-16082010-170837/
Vancouver
Simonette MJ. Engenharia de sistemas em sistemas sociotécnicos [Internet]. 2010 ;[citado 2025 nov. 28 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-16082010-170837/
Dissertação (Mestrado)
Engenharia de sistemas em redes eusociais (2010)
Sanches, Fábio Leandro Lazo; Spina, Edison (Orientador)
Unidade: EP
Assuntos: ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS, METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO, ENGENHARIA DE SISTEMAS DE COMPUTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SANCHES, Fábio Leandro Lazo. Engenharia de sistemas em redes eusociais. 2010. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2010. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-29112010-162145/. Acesso em: 28 nov. 2025.
APA
Sanches, F. L. L. (2010). Engenharia de sistemas em redes eusociais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-29112010-162145/
NLM
Sanches FLL. Engenharia de sistemas em redes eusociais [Internet]. 2010 ;[citado 2025 nov. 28 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-29112010-162145/
Vancouver
Sanches FLL. Engenharia de sistemas em redes eusociais [Internet]. 2010 ;[citado 2025 nov. 28 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-29112010-162145/
Dissertação (Mestrado)
Ferramenta para integração de modelos multidimensionais e softwares de visualização de séries temporais (2007)
Maia, Gustavo Bianchi; Ferreira, João Eduardo (Orientador)
Unidade: IME
Assuntos: ANÁLISE DE SÉRIES TEMPORAIS, BANCO DE DADOS, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MAIA, Gustavo Bianchi. Ferramenta para integração de modelos multidimensionais e softwares de visualização de séries temporais. 2007. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113259/. Acesso em: 28 nov. 2025.
APA
Maia, G. B. (2007). Ferramenta para integração de modelos multidimensionais e softwares de visualização de séries temporais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113259/
NLM
Maia GB. Ferramenta para integração de modelos multidimensionais e softwares de visualização de séries temporais [Internet]. 2007 ;[citado 2025 nov. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113259/
Vancouver
Maia GB. Ferramenta para integração de modelos multidimensionais e softwares de visualização de séries temporais [Internet]. 2007 ;[citado 2025 nov. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113259/
Trabalho de evento
Uuv task definition using metaprogramming (2007)
Saito, Milton Yukio Godoy; Takase, Fábio Kawaoka; Maruyama, Newton
Fonte: Proceedings of COBEM. Nome do evento: International Congress of Mechanical Engineering. Unidade: EP
Assuntos: SUBMERSÍVEIS NÃO TRIPULADOS, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS, SOFTWARES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SAITO, Milton Yukio Godoy e TAKASE, Fábio Kawaoka e MARUYAMA, Newton. Uuv task definition using metaprogramming. 2007, Anais.. Brasília: ABCM, 2007. Disponível em: https://repositorio.usp.br/directbitstream/41be79c5-c949-4ac7-87e3-e58023111986/Takase-2007-UUV%20TASK%20DEFINITION%20USING.pdf. Acesso em: 28 nov. 2025.
APA
Saito, M. Y. G., Takase, F. K., & Maruyama, N. (2007). Uuv task definition using metaprogramming. In Proceedings of COBEM. Brasília: ABCM. Recuperado de https://repositorio.usp.br/directbitstream/41be79c5-c949-4ac7-87e3-e58023111986/Takase-2007-UUV%20TASK%20DEFINITION%20USING.pdf
NLM
Saito MYG, Takase FK, Maruyama N. Uuv task definition using metaprogramming [Internet]. Proceedings of COBEM. 2007 ;[citado 2025 nov. 28 ] Available from: https://repositorio.usp.br/directbitstream/41be79c5-c949-4ac7-87e3-e58023111986/Takase-2007-UUV%20TASK%20DEFINITION%20USING.pdf
Vancouver
Saito MYG, Takase FK, Maruyama N. Uuv task definition using metaprogramming [Internet]. Proceedings of COBEM. 2007 ;[citado 2025 nov. 28 ] Available from: https://repositorio.usp.br/directbitstream/41be79c5-c949-4ac7-87e3-e58023111986/Takase-2007-UUV%20TASK%20DEFINITION%20USING.pdf
Dissertação (Mestrado)
Revisão de modelos formais de sistemas de estados finitos (2007)
Sousa, Thiago Carvalho de; Wassermann, Renata (Orientador)
Unidade: IME
Assuntos: ENGENHARIA DE PROGRAMAS, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUSA, Thiago Carvalho de. Revisão de modelos formais de sistemas de estados finitos. 2007. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-06032014-080953/. Acesso em: 28 nov. 2025.
APA
Sousa, T. C. de. (2007). Revisão de modelos formais de sistemas de estados finitos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-06032014-080953/
NLM
Sousa TC de. Revisão de modelos formais de sistemas de estados finitos [Internet]. 2007 ;[citado 2025 nov. 28 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-06032014-080953/
Vancouver
Sousa TC de. Revisão de modelos formais de sistemas de estados finitos [Internet]. 2007 ;[citado 2025 nov. 28 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-06032014-080953/
Trabalho de evento
Integrated tools environment for modeling and analysis of automated planning systems (2007)
Vaquero, Tiago Stegun; Sette, Fernando; Santos, Eston Almança dos; Silva, José Reinaldo
Fonte: Proceedings of COBEM. Nome do evento: International Congress of Mechanical Engineering. Unidade: EP
Assuntos: INTELIGÊNCIA ARTIFICIAL, SISTEMAS FLEXÍVEIS DE MANUFATURA, AUTOMAÇÃO INDUSTRIAL, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
VAQUERO, Tiago Stegun et al. Integrated tools environment for modeling and analysis of automated planning systems. 2007, Anais.. Brasília: ABCM, 2007. Disponível em: https://repositorio.usp.br/directbitstream/3b70045a-fbd6-4e2d-9fcd-b0e9fe405e89/Silva_JR-2007-Integrated%20tools%20environment%20for%20modeling%20and%20analysis%20of%20automated%20planning%20systems.Cobem.pdf. Acesso em: 28 nov. 2025.
APA
Vaquero, T. S., Sette, F., Santos, E. A. dos, & Silva, J. R. (2007). Integrated tools environment for modeling and analysis of automated planning systems. In Proceedings of COBEM. Brasília: ABCM. Recuperado de https://repositorio.usp.br/directbitstream/3b70045a-fbd6-4e2d-9fcd-b0e9fe405e89/Silva_JR-2007-Integrated%20tools%20environment%20for%20modeling%20and%20analysis%20of%20automated%20planning%20systems.Cobem.pdf
NLM
Vaquero TS, Sette F, Santos EA dos, Silva JR. Integrated tools environment for modeling and analysis of automated planning systems [Internet]. Proceedings of COBEM. 2007 ;[citado 2025 nov. 28 ] Available from: https://repositorio.usp.br/directbitstream/3b70045a-fbd6-4e2d-9fcd-b0e9fe405e89/Silva_JR-2007-Integrated%20tools%20environment%20for%20modeling%20and%20analysis%20of%20automated%20planning%20systems.Cobem.pdf
Vancouver
Vaquero TS, Sette F, Santos EA dos, Silva JR. Integrated tools environment for modeling and analysis of automated planning systems [Internet]. Proceedings of COBEM. 2007 ;[citado 2025 nov. 28 ] Available from: https://repositorio.usp.br/directbitstream/3b70045a-fbd6-4e2d-9fcd-b0e9fe405e89/Silva_JR-2007-Integrated%20tools%20environment%20for%20modeling%20and%20analysis%20of%20automated%20planning%20systems.Cobem.pdf
Tese (Doutorado)
Um método de refinamento para desenvolvimento de software embarcado: uma abordagem baseada em UML-RT e especificações formais (2007)
Polido, Marcelo Figueiredo; Maruyama, Newton (Orientador)
Unidade: EP
Assuntos: ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS, SISTEMAS DE TEMPO-REAL, SISTEMAS EMBUTIDOS, VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE, UML
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
POLIDO, Marcelo Figueiredo. Um método de refinamento para desenvolvimento de software embarcado: uma abordagem baseada em UML-RT e especificações formais. 2007. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3132/tde-03082007-181907/. Acesso em: 28 nov. 2025.
APA
Polido, M. F. (2007). Um método de refinamento para desenvolvimento de software embarcado: uma abordagem baseada em UML-RT e especificações formais (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3132/tde-03082007-181907/
NLM
Polido MF. Um método de refinamento para desenvolvimento de software embarcado: uma abordagem baseada em UML-RT e especificações formais [Internet]. 2007 ;[citado 2025 nov. 28 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3132/tde-03082007-181907/
Vancouver
Polido MF. Um método de refinamento para desenvolvimento de software embarcado: uma abordagem baseada em UML-RT e especificações formais [Internet]. 2007 ;[citado 2025 nov. 28 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3132/tde-03082007-181907/
Tese (Doutorado)
Um modelo de gestão de paciente crônico baseado nos conceitos de relacionamento com o cliente (2006)
Ito, Márcia; Martini, José Sidnei Colombo (Orientador)
Unidade: EP
Assuntos: MODELOS DE ATENÇÃO À SAÚDE, ASSISTÊNCIA AO PACIENTE (SERVIÇOS DE SAÚDE), DOENÇA CRÔNICA, QUALIDADE DE VIDA, DIABETES MELLITUS, COMPUTAÇÃO APLICADA, SISTEMAS MULTIAGENTES, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ITO, Márcia. Um modelo de gestão de paciente crônico baseado nos conceitos de relacionamento com o cliente. 2006. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2006. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-20052006-141627/. Acesso em: 28 nov. 2025.
APA
Ito, M. (2006). Um modelo de gestão de paciente crônico baseado nos conceitos de relacionamento com o cliente (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-20052006-141627/
NLM
Ito M. Um modelo de gestão de paciente crônico baseado nos conceitos de relacionamento com o cliente [Internet]. 2006 ;[citado 2025 nov. 28 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-20052006-141627/
Vancouver
Ito M. Um modelo de gestão de paciente crônico baseado nos conceitos de relacionamento com o cliente [Internet]. 2006 ;[citado 2025 nov. 28 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-20052006-141627/
Trabalho de evento
Degeneration methods in intelligent building control system design (2006)
Arakaki, Julio ; Miyagi, Paulo Eigi
Fonte: Information technology for balanced manufacturing systems. Nome do evento: International Conference on Information Technology for Balanced Automation Systems in Manufacture and Services. Unidade: EP
Assuntos: EDIFÍCIOS INTELIGENTES, CONTROLE AUTOMÁTICO, SISTEMAS DE CONTROLE, ARQUITETURA DE SOFTWARE, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARAKAKI, Julio e MIYAGI, Paulo Eigi. Degeneration methods in intelligent building control system design. 2006, Anais.. New York: Springer, 2006. Disponível em: https://doi.org/10.1007/978-0-387-36594-7_50. Acesso em: 28 nov. 2025.
APA
Arakaki, J., & Miyagi, P. E. (2006). Degeneration methods in intelligent building control system design. In Information technology for balanced manufacturing systems. New York: Springer. doi:10.1007/978-0-387-36594-7_50
NLM
Arakaki J, Miyagi PE. Degeneration methods in intelligent building control system design [Internet]. Information technology for balanced manufacturing systems. 2006 ;[citado 2025 nov. 28 ] Available from: https://doi.org/10.1007/978-0-387-36594-7_50
Vancouver
Arakaki J, Miyagi PE. Degeneration methods in intelligent building control system design [Internet]. Information technology for balanced manufacturing systems. 2006 ;[citado 2025 nov. 28 ] Available from: https://doi.org/10.1007/978-0-387-36594-7_50
Tese (Doutorado)
Concepção de arquitetura de software com base nos estilos de arquitetura e requisitos não funcionais (2005)
Matos, Jussara Pimenta ; Melnikoff, Selma Shin Shimizu (Orientador)
Unidade: EP
Assuntos: ARQUITETURA DE SOFTWARE, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS, ENGENHARIA DE SOFTWARE, QUALIDADE DO PROCESSO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MATOS, Jussara Pimenta. Concepção de arquitetura de software com base nos estilos de arquitetura e requisitos não funcionais. 2005. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2005. . Acesso em: 28 nov. 2025.
APA
Matos, J. P. (2005). Concepção de arquitetura de software com base nos estilos de arquitetura e requisitos não funcionais (Tese (Doutorado). Universidade de São Paulo, São Paulo.
NLM
Matos JP. Concepção de arquitetura de software com base nos estilos de arquitetura e requisitos não funcionais. 2005 ;[citado 2025 nov. 28 ]
Vancouver
Matos JP. Concepção de arquitetura de software com base nos estilos de arquitetura e requisitos não funcionais. 2005 ;[citado 2025 nov. 28 ]
Dissertação (Mestrado)
Utilização de queuing statecharts em um ambiente de simulação automático (2005)
Aiza, Thais Souza; Santana, Regina Helena Carlucci (Orientador)
Unidade: ICMC
Assuntos: SISTEMAS DISTRIBUÍDOS, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS, PROGRAMAÇÃO CONCORRENTE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
AIZA, Thais Souza. Utilização de queuing statecharts em um ambiente de simulação automático. 2005. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2005. . Acesso em: 28 nov. 2025.
APA
Aiza, T. S. (2005). Utilização de queuing statecharts em um ambiente de simulação automático (Dissertação (Mestrado). Universidade de São Paulo, São Carlos.
NLM
Aiza TS. Utilização de queuing statecharts em um ambiente de simulação automático. 2005 ;[citado 2025 nov. 28 ]
Vancouver
Aiza TS. Utilização de queuing statecharts em um ambiente de simulação automático. 2005 ;[citado 2025 nov. 28 ]

Unidades USP

ReP

Filtros

Tipo de material

Unidades USP

Departamento

Autores

Autores USP

Ano de publicação

Assuntos

Título da fonte

Editora

Nome do evento

Agência de fomento

Área de concentração

Sigla do Departamento/Programa de Pós Graduação

Departamento/Programa de Pós Graduação