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.
Source: Proceedings - Adaptive planning and design in an age of risk and uncertainty. Conference titles: World Environmental and Water Resources Congress. Unidade: EP
Subjects: 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: 16 jun. 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 jun. 16 ] 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 jun. 16 ] 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
Source: Journal of Logic, Language and Information. Conference titles: Workshop on Logic, Language, Information and Computation - WoLLIC. Unidade: IME
Subjects: 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: 16 jun. 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 jun. 16 ] 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 jun. 16 ] 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
Subjects: 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: 16 jun. 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 jun. 16 ] 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 jun. 16 ] 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
Source: Proceedings. Conference titles: Brazilian Symposium on Systematic and Automated Software Testing - SAST. Unidade: ICMC
Subjects: 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: 16 jun. 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 jun. 16 ] 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 jun. 16 ] 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
Source: Revista paulista de pediatria. Unidade: FM
Subjects: 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: 16 jun. 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 jun. 16 ] 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 jun. 16 ] 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
Source: IFAC-PapersOnline. Conference titles: IFAC Symposium on Biological and Medical Systems - BMS. Unidades: FFCLRP, Interunidades em Bioengenharia
Subjects: 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: 16 jun. 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 jun. 16 ] 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 jun. 16 ] 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
Source: Anais. Conference titles: 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: 16 jun. 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 jun. 16 ] 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 jun. 16 ] 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
Subjects: 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: 16 jun. 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 jun. 16 ] 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 jun. 16 ] 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
Subjects: 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: 16 jun. 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 jun. 16 ] 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 jun. 16 ] 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
Subjects: 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: 16 jun. 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 jun. 16 ] 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 jun. 16 ] 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
Subjects: 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: 16 jun. 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 jun. 16 ] 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 jun. 16 ] 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
Subjects: 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: 16 jun. 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 jun. 16 ] 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 jun. 16 ] 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
Source: Proceedings of COBEM. Conference titles: International Congress of Mechanical Engineering. Unidade: EP
Subjects: 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: 16 jun. 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 jun. 16 ] 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 jun. 16 ] 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
Subjects: 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: 16 jun. 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 jun. 16 ] 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 jun. 16 ] 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
Source: Proceedings of COBEM. Conference titles: International Congress of Mechanical Engineering. Unidade: EP
Subjects: 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: 16 jun. 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 jun. 16 ] 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 jun. 16 ] 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
Subjects: 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: 16 jun. 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 jun. 16 ] 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 jun. 16 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3132/tde-03082007-181907/
Tese (Doutorado)
Utilização de modelagem matemática 3D na gestão da qualidade da água em mananciais: aplicação no Reservatório Billings (2006)
Jesus, José Antônio Oliveira de; Eiger, Sérgio (Orientador)
Unidade: FSP
Subjects: MODELOS MATEMÁTICOS, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS, QUALIDADE DA ÁGUA, ÁGUA (CONTROLE DE QUALIDADE), ÁGUA (MONITORAMENTO), MANANCIAIS, ÁGUA (POLÍTICA), RECURSOS HÍDRICOS (PLANEJAMENTO)
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
JESUS, José Antônio Oliveira de. Utilização de modelagem matemática 3D na gestão da qualidade da água em mananciais: aplicação no Reservatório Billings. 2006. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2006. Disponível em: https://doi.org/10.11606/T.6.2006.tde-17082006-174447. Acesso em: 16 jun. 2025.
APA
Jesus, J. A. O. de. (2006). Utilização de modelagem matemática 3D na gestão da qualidade da água em mananciais: aplicação no Reservatório Billings (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://doi.org/10.11606/T.6.2006.tde-17082006-174447
NLM
Jesus JAO de. Utilização de modelagem matemática 3D na gestão da qualidade da água em mananciais: aplicação no Reservatório Billings [Internet]. 2006 ;[citado 2025 jun. 16 ] Available from: https://doi.org/10.11606/T.6.2006.tde-17082006-174447
Vancouver
Jesus JAO de. Utilização de modelagem matemática 3D na gestão da qualidade da água em mananciais: aplicação no Reservatório Billings [Internet]. 2006 ;[citado 2025 jun. 16 ] Available from: https://doi.org/10.11606/T.6.2006.tde-17082006-174447
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
Subjects: 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: 16 jun. 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 jun. 16 ] 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 jun. 16 ] 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
Source: Information technology for balanced manufacturing systems. Conference titles: International Conference on Information Technology for Balanced Automation Systems in Manufacture and Services. Unidade: EP
Subjects: 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: 16 jun. 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 jun. 16 ] 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 jun. 16 ] 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
Subjects: 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: 16 jun. 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 jun. 16 ]
Vancouver
Matos JP. Concepção de arquitetura de software com base nos estilos de arquitetura e requisitos não funcionais. 2005 ;[citado 2025 jun. 16 ]

USP Schools

ReP

Filtros

Document Types

USP Schools

Departament

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Conference titles

Funding Agencies

Área de concentração

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

Departamento/Programa de Pós Graduação