Menu

Filtros : "ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS" "Inglês" Removido: "Information technology for balanced manufacturing systems" Limpar

Filtros

Refine with date range

  • 1

1 - 8 (8 records)

  • 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

    PrivadoAcesso à fonteHow to cite
    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

    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

    PrivadoAcesso à fonteDOIHow to cite
    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

    Subjects: INTEROPERABILIDADE, ANÁLISE DE REQUISITOS, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS, PROJETOS INDUSTRIAIS, ANÁLISE DE CONTEÚDO

    Acesso à fonteAcesso à fonteDOIHow to cite
    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

    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

    PrivadoAcesso à fonteDOIHow to cite
    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

  • 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

    Acesso à fonteDOIHow to cite
    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

    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

    PrivadoHow to cite
    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

  • 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

    PrivadoHow to cite
    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

  • Relatorio tecnico

    An and / or graph approach to the container loading problem (1993)

    Morabito, R N; Arenales, Marcos Nereu

    Unidade: ICMC

    Assunto: ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      MORABITO, R N e ARENALES, Marcos Nereu. An and / or graph approach to the container loading problem. . Sao Carlos: Icmsc-Usp. Disponível em: https://repositorio.usp.br/directbitstream/0f77729c-f782-4a88-83ee-86f982d1e020/848315.pdf. Acesso em: 28 nov. 2025. , 1993

    • APA

      Morabito, R. N., & Arenales, M. N. (1993). An and / or graph approach to the container loading problem. Sao Carlos: Icmsc-Usp. Recuperado de https://repositorio.usp.br/directbitstream/0f77729c-f782-4a88-83ee-86f982d1e020/848315.pdf

    • NLM

      Morabito RN, Arenales MN. An and / or graph approach to the container loading problem [Internet]. 1993 ;[citado 2025 nov. 28 ] Available from: https://repositorio.usp.br/directbitstream/0f77729c-f782-4a88-83ee-86f982d1e020/848315.pdf

    • Vancouver

      Morabito RN, Arenales MN. An and / or graph approach to the container loading problem [Internet]. 1993 ;[citado 2025 nov. 28 ] Available from: https://repositorio.usp.br/directbitstream/0f77729c-f782-4a88-83ee-86f982d1e020/848315.pdf
  • 1

1 - 8 (8 records)

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2025