ReP USP - Resultado da busca

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: 18 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. 18 ] 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. 18 ] 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: 18 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. 18 ] 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. 18 ] 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: 18 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. 18 ] 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. 18 ] 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: 18 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. 18 ] 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. 18 ] 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: 18 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. 18 ] 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. 18 ] 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: 18 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. 18 ] 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. 18 ] 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: 18 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. 18 ] 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. 18 ] 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: 18 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. 18 ] 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. 18 ] 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: 18 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. 18 ] 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. 18 ] 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: 18 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. 18 ] 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. 18 ] 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: 18 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. 18 ] 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. 18 ] 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: 18 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. 18 ] 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. 18 ] 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: 18 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. 18 ] 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. 18 ] 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: 18 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. 18 ] 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. 18 ] 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: 18 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. 18 ] 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. 18 ] 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: 18 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. 18 ] 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. 18 ] 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: 18 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. 18 ] 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. 18 ] 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: 18 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. 18 ] 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. 18 ] 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: 18 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. 18 ]
Vancouver
Matos JP. Concepção de arquitetura de software com base nos estilos de arquitetura e requisitos não funcionais. 2005 ;[citado 2025 jun. 18 ]
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
Subjects: 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: 18 jun. 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 jun. 18 ]
Vancouver
Aiza TS. Utilização de queuing statecharts em um ambiente de simulação automático. 2005 ;[citado 2025 jun. 18 ]

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