Menu

Filtros : "Silva, José Reinaldo" Limpar

Filtros

Refine with date range

1 - 20 (147 records)

  • Artigo de periodico

    itSIMPLE: towards an integrated design system for real planning applications (2013)

    Vaquero, Tiago Stegun; Silva, José Reinaldo ; Tonidandel, Flavio; Beck, J. Christopher

    Source: The Knowledge Engineering Review. Unidade: EP

    Subjects: INTELIGÊNCIA ARTIFICIAL, ENGENHARIA DE REQUISITOS, ANÁLISE DE REQUISITOS

    PrivadoAcesso à fonteAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      VAQUERO, Tiago Stegun et al. itSIMPLE: towards an integrated design system for real planning applications. The Knowledge Engineering Review, v. 28, n. 2, p. 215-230, 2013Tradução . . Disponível em: https://doi.org/10.1017/s0269888912000434. Acesso em: 19 abr. 2024.

    • APA

      Vaquero, T. S., Silva, J. R., Tonidandel, F., & Beck, J. C. (2013). itSIMPLE: towards an integrated design system for real planning applications. The Knowledge Engineering Review, 28( 2), 215-230. doi:10.1017/s0269888912000434

    • NLM

      Vaquero TS, Silva JR, Tonidandel F, Beck JC. itSIMPLE: towards an integrated design system for real planning applications [Internet]. The Knowledge Engineering Review. 2013 ; 28( 2): 215-230.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1017/s0269888912000434

    • Vancouver

      Vaquero TS, Silva JR, Tonidandel F, Beck JC. itSIMPLE: towards an integrated design system for real planning applications [Internet]. The Knowledge Engineering Review. 2013 ; 28( 2): 215-230.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1017/s0269888912000434

  • Dissertação (Mestrado)

    itSIMPLE: ambiente integrado de modelagem e análise de domínios de planejamento automático (2007)

    Vaquero, Tiago Stegun; Silva, José Reinaldo (Orientador)

    Unidade: EP

    Subjects: INTELIGÊNCIA ARTIFICIAL, MODELAGEM DE DADOS

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

    • ABNT

      VAQUERO, Tiago Stegun. itSIMPLE: ambiente integrado de modelagem e análise de domínios de planejamento automático. 2007. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-19072007-174135/. Acesso em: 19 abr. 2024.

    • APA

      Vaquero, T. S. (2007). itSIMPLE: ambiente integrado de modelagem e análise de domínios de planejamento automático (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3152/tde-19072007-174135/

    • NLM

      Vaquero TS. itSIMPLE: ambiente integrado de modelagem e análise de domínios de planejamento automático [Internet]. 2007 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-19072007-174135/

    • Vancouver

      Vaquero TS. itSIMPLE: ambiente integrado de modelagem e análise de domínios de planejamento automático [Internet]. 2007 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-19072007-174135/

  • Tese (Doutorado)

    Verificação formal de sistemas discretos distribuídos (2009)

    González Del Foyo, Pedro Manuel; Silva, José Reinaldo (Orientador)

    Unidade: EP

    Subjects: REDES DE PETRI, SISTEMAS DISCRETOS, SISTEMAS DISTRIBUÍDOS

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

    • ABNT

      GONZÁLEZ DEL FOYO, Pedro Manuel. Verificação formal de sistemas discretos distribuídos. 2009. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2009. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-11082010-164641/. Acesso em: 19 abr. 2024.

    • APA

      González Del Foyo, P. M. (2009). Verificação formal de sistemas discretos distribuídos (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3152/tde-11082010-164641/

    • NLM

      González Del Foyo PM. Verificação formal de sistemas discretos distribuídos [Internet]. 2009 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-11082010-164641/

    • Vancouver

      González Del Foyo PM. Verificação formal de sistemas discretos distribuídos [Internet]. 2009 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-11082010-164641/

  • Dissertação (Mestrado)

    Verificação de requisitos de sistemas utilizando redes de Petri (2002)

    Santos, Eston Almança dos; Silva, José Reinaldo (Orientador)

    Unidade: EP

    Subjects: REDES DE PETRI, UML

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

    • ABNT

      SANTOS, Eston Almança dos. Verificação de requisitos de sistemas utilizando redes de Petri. 2002. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2002. Disponível em: https://www.teses.usp.br/teses/disponiveis/3/3132/tde-09012024-094013/pt-br.php. Acesso em: 19 abr. 2024.

    • APA

      Santos, E. A. dos. (2002). Verificação de requisitos de sistemas utilizando redes de Petri (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/3/3132/tde-09012024-094013/pt-br.php

    • NLM

      Santos EA dos. Verificação de requisitos de sistemas utilizando redes de Petri [Internet]. 2002 ;[citado 2024 abr. 19 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3132/tde-09012024-094013/pt-br.php

    • Vancouver

      Santos EA dos. Verificação de requisitos de sistemas utilizando redes de Petri [Internet]. 2002 ;[citado 2024 abr. 19 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3132/tde-09012024-094013/pt-br.php

  • Trabalho de evento

    Verification of automated systems using invariants (2014)

    Salmon, Arianna Zoila Oliveira; Del Foyo, Pedro Manuel Gonzalez; Silva, José Reinaldo

    Source: Anais. Conference titles: Congresso Brasileiro de Automática - CBA. Unidade: EP

    Subjects: REDES DE PETRI, ANÁLISE DE REQUISITOS, ALGORITMOS

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

    • ABNT

      SALMON, Arianna Zoila Oliveira e DEL FOYO, Pedro Manuel Gonzalez e SILVA, José Reinaldo. Verification of automated systems using invariants. 2014, Anais.. [Belo Horizonte: Sba/IFAC], 2014. Disponível em: http://www.swge.inf.br/CBA2014/anais/PDF/1569935123.pdf. Acesso em: 19 abr. 2024.

    • APA

      Salmon, A. Z. O., Del Foyo, P. M. G., & Silva, J. R. (2014). Verification of automated systems using invariants. In Anais. [Belo Horizonte: Sba/IFAC]. Recuperado de http://www.swge.inf.br/CBA2014/anais/PDF/1569935123.pdf

    • NLM

      Salmon AZO, Del Foyo PMG, Silva JR. Verification of automated systems using invariants [Internet]. Anais. 2014 ;[citado 2024 abr. 19 ] Available from: http://www.swge.inf.br/CBA2014/anais/PDF/1569935123.pdf

    • Vancouver

      Salmon AZO, Del Foyo PMG, Silva JR. Verification of automated systems using invariants [Internet]. Anais. 2014 ;[citado 2024 abr. 19 ] Available from: http://www.swge.inf.br/CBA2014/anais/PDF/1569935123.pdf

  • Trabalho de evento

    Using time petri nets for modeling and verification of timed constrained workflow systems (2007)

    Del Foyo, Pedro Manuel Gonzalez; Silva, José Reinaldo

    Source: Proceedings of COBEM. Conference titles: International Congress of Mechanical Engineering. Unidade: EP

    Subjects: REDES DE PETRI (MODELAGEM), CONTROLE DE PROCESSOS, GESTÃO POR PROCESSOS, LÓGICA

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

    • ABNT

      DEL FOYO, Pedro Manuel Gonzalez e SILVA, José Reinaldo. Using time petri nets for modeling and verification of timed constrained workflow systems. 2007, Anais.. Brasília: ABCM, 2007. Disponível em: https://repositorio.usp.br/directbitstream/429dee87-f574-4ccd-be57-40fd4c282083/Silva_JR-2007-Using%20time%20petri%20nets%20for%20modeling%20and%20verification%20of%20timed%20constrained%20workflow%20systems.Cobem.pdf. Acesso em: 19 abr. 2024.

    • APA

      Del Foyo, P. M. G., & Silva, J. R. (2007). Using time petri nets for modeling and verification of timed constrained workflow systems. In Proceedings of COBEM. Brasília: ABCM. Recuperado de https://repositorio.usp.br/directbitstream/429dee87-f574-4ccd-be57-40fd4c282083/Silva_JR-2007-Using%20time%20petri%20nets%20for%20modeling%20and%20verification%20of%20timed%20constrained%20workflow%20systems.Cobem.pdf

    • NLM

      Del Foyo PMG, Silva JR. Using time petri nets for modeling and verification of timed constrained workflow systems [Internet]. Proceedings of COBEM. 2007 ;[citado 2024 abr. 19 ] Available from: https://repositorio.usp.br/directbitstream/429dee87-f574-4ccd-be57-40fd4c282083/Silva_JR-2007-Using%20time%20petri%20nets%20for%20modeling%20and%20verification%20of%20timed%20constrained%20workflow%20systems.Cobem.pdf

    • Vancouver

      Del Foyo PMG, Silva JR. Using time petri nets for modeling and verification of timed constrained workflow systems [Internet]. Proceedings of COBEM. 2007 ;[citado 2024 abr. 19 ] Available from: https://repositorio.usp.br/directbitstream/429dee87-f574-4ccd-be57-40fd4c282083/Silva_JR-2007-Using%20time%20petri%20nets%20for%20modeling%20and%20verification%20of%20timed%20constrained%20workflow%20systems.Cobem.pdf

  • Trabalho de evento

    Usando invariantes na análise dos requisitos (2012)

    Salmon, Arianna Zoila Oliveira; Silva, José Reinaldo

    Source: Anais. Conference titles: Congresso Brasileiro de Automática - CBA. Unidade: EP

    Subjects: REDES DE PETRI, ANÁLISE DE REQUISITOS, INVARIANTES

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

    • ABNT

      SALMON, Arianna Zoila Oliveira e SILVA, José Reinaldo. Usando invariantes na análise dos requisitos. 2012, Anais.. Campina Grande: UFCG, 2012. Disponível em: https://repositorio.usp.br/directbitstream/8694c2a5-c238-41b6-9e6f-a4a6f08d26a1/Silva_JR-2012-usando%20invariantes%20na%20analise%20dos%20requisitos.pdf. Acesso em: 19 abr. 2024.

    • APA

      Salmon, A. Z. O., & Silva, J. R. (2012). Usando invariantes na análise dos requisitos. In Anais. Campina Grande: UFCG. Recuperado de https://repositorio.usp.br/directbitstream/8694c2a5-c238-41b6-9e6f-a4a6f08d26a1/Silva_JR-2012-usando%20invariantes%20na%20analise%20dos%20requisitos.pdf

    • NLM

      Salmon AZO, Silva JR. Usando invariantes na análise dos requisitos [Internet]. Anais. 2012 ;[citado 2024 abr. 19 ] Available from: https://repositorio.usp.br/directbitstream/8694c2a5-c238-41b6-9e6f-a4a6f08d26a1/Silva_JR-2012-usando%20invariantes%20na%20analise%20dos%20requisitos.pdf

    • Vancouver

      Salmon AZO, Silva JR. Usando invariantes na análise dos requisitos [Internet]. Anais. 2012 ;[citado 2024 abr. 19 ] Available from: https://repositorio.usp.br/directbitstream/8694c2a5-c238-41b6-9e6f-a4a6f08d26a1/Silva_JR-2012-usando%20invariantes%20na%20analise%20dos%20requisitos.pdf

  • Tese (Doutorado)

    Uma formalização do processo de design baseado em metáforas: sua aplicação na automatização de sistemas de eventos discretos (1992)

    Silva, José Reinaldo ; Lucena, Carlos Jose Pereira de (Orientador)

    Unidade: EP

    Assunto: SISTEMAS DISCRETOS

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

    • ABNT

      SILVA, José Reinaldo. Uma formalização do processo de design baseado em metáforas: sua aplicação na automatização de sistemas de eventos discretos. 1992. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 1992. . Acesso em: 19 abr. 2024.

    • APA

      Silva, J. R. (1992). Uma formalização do processo de design baseado em metáforas: sua aplicação na automatização de sistemas de eventos discretos (Tese (Doutorado). Universidade de São Paulo, São Paulo.

    • NLM

      Silva JR. Uma formalização do processo de design baseado em metáforas: sua aplicação na automatização de sistemas de eventos discretos. 1992 ;[citado 2024 abr. 19 ]

    • Vancouver

      Silva JR. Uma formalização do processo de design baseado em metáforas: sua aplicação na automatização de sistemas de eventos discretos. 1992 ;[citado 2024 abr. 19 ]

  • Dissertação (Mestrado)

    Uma abordagem baseada em atividades para gestão e determinação de custos do processo na engenharia de requisitos (2007)

    Franco, Marco Aurélio Palos; Silva, José Reinaldo (Orientador)

    Unidade: EP

    Subjects: ENGENHARIA DE REQUISITOS, CUSTEIO BASEADO EM ATIVIDADES

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

    • ABNT

      FRANCO, Marco Aurélio Palos. Uma abordagem baseada em atividades para gestão e determinação de custos do processo na engenharia de requisitos. 2007. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-08012008-170424/. Acesso em: 19 abr. 2024.

    • APA

      Franco, M. A. P. (2007). Uma abordagem baseada em atividades para gestão e determinação de custos do processo na engenharia de requisitos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3152/tde-08012008-170424/

    • NLM

      Franco MAP. Uma abordagem baseada em atividades para gestão e determinação de custos do processo na engenharia de requisitos [Internet]. 2007 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-08012008-170424/

    • Vancouver

      Franco MAP. Uma abordagem baseada em atividades para gestão e determinação de custos do processo na engenharia de requisitos [Internet]. 2007 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-08012008-170424/

  • Trabalho de evento

    Towards the formatization of the information system of material management in manufacturing process (2000)

    Tavares, José Jean-Paul Zanlucchi de Souza; Batalha, Gilmar Ferreira ; Silva, José Reinaldo

    Source: Proceedings. Conference titles: World Congress on intelligent Manufacturing Processes & Systems. Unidade: EP

    Subjects: SISTEMAS DE PRODUÇÃO (CONTROLE), INTELIGÊNCIA ARTIFICIAL

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

    • ABNT

      TAVARES, José Jean-Paul Zanlucchi de Souza e BATALHA, Gilmar Ferreira e SILVA, José Reinaldo. Towards the formatization of the information system of material management in manufacturing process. 2000, Anais.. Cambridge, Massachussetts: International Institution Engineering Research, 2000. Disponível em: https://repositorio.usp.br/directbitstream/84a27342-4e01-4aaf-bcf8-bd7c96384766/Batalha-2000-Towards%20the%20formalization%20of%20the%20information%20system.pdf. Acesso em: 19 abr. 2024.

    • APA

      Tavares, J. J. -P. Z. de S., Batalha, G. F., & Silva, J. R. (2000). Towards the formatization of the information system of material management in manufacturing process. In Proceedings. Cambridge, Massachussetts: International Institution Engineering Research. Recuperado de https://repositorio.usp.br/directbitstream/84a27342-4e01-4aaf-bcf8-bd7c96384766/Batalha-2000-Towards%20the%20formalization%20of%20the%20information%20system.pdf

    • NLM

      Tavares JJ-PZ de S, Batalha GF, Silva JR. Towards the formatization of the information system of material management in manufacturing process [Internet]. Proceedings. 2000 ;[citado 2024 abr. 19 ] Available from: https://repositorio.usp.br/directbitstream/84a27342-4e01-4aaf-bcf8-bd7c96384766/Batalha-2000-Towards%20the%20formalization%20of%20the%20information%20system.pdf

    • Vancouver

      Tavares JJ-PZ de S, Batalha GF, Silva JR. Towards the formatization of the information system of material management in manufacturing process [Internet]. Proceedings. 2000 ;[citado 2024 abr. 19 ] Available from: https://repositorio.usp.br/directbitstream/84a27342-4e01-4aaf-bcf8-bd7c96384766/Batalha-2000-Towards%20the%20formalization%20of%20the%20information%20system.pdf

  • Trabalho de evento

    Towards a unified view of petri nets and object oriented modeling (2003)

    González Del Foyo, Pedro Manuel; Silva, José Reinaldo

    Source: COBEM 2003 : proceedings. Conference titles: International Congress of Mechanical Engineering. Unidade: EP

    Subjects: COMPUTAÇÃO APLICADA, MODELAGEM DE DADOS, REDES DE PETRI, PROGRAMAÇÃO ORIENTADA A OBJETOS

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

    • ABNT

      GONZÁLEZ DEL FOYO, Pedro Manuel e SILVA, José Reinaldo. Towards a unified view of petri nets and object oriented modeling. 2003, Anais.. São Paulo: ABCM, 2003. Disponível em: https://repositorio.usp.br/directbitstream/2f19a3c9-547c-45a4-ba81-eb07bc170c7d/Silva-2003-TOWARDS%20A%20UNIFIED%20VIEW%20OF%20%20PETRI%20NETS%20ok.pdf. Acesso em: 19 abr. 2024.

    • APA

      González Del Foyo, P. M., & Silva, J. R. (2003). Towards a unified view of petri nets and object oriented modeling. In COBEM 2003 : proceedings. São Paulo: ABCM. Recuperado de https://repositorio.usp.br/directbitstream/2f19a3c9-547c-45a4-ba81-eb07bc170c7d/Silva-2003-TOWARDS%20A%20UNIFIED%20VIEW%20OF%20%20PETRI%20NETS%20ok.pdf

    • NLM

      González Del Foyo PM, Silva JR. Towards a unified view of petri nets and object oriented modeling [Internet]. COBEM 2003 : proceedings. 2003 ;[citado 2024 abr. 19 ] Available from: https://repositorio.usp.br/directbitstream/2f19a3c9-547c-45a4-ba81-eb07bc170c7d/Silva-2003-TOWARDS%20A%20UNIFIED%20VIEW%20OF%20%20PETRI%20NETS%20ok.pdf

    • Vancouver

      González Del Foyo PM, Silva JR. Towards a unified view of petri nets and object oriented modeling [Internet]. COBEM 2003 : proceedings. 2003 ;[citado 2024 abr. 19 ] Available from: https://repositorio.usp.br/directbitstream/2f19a3c9-547c-45a4-ba81-eb07bc170c7d/Silva-2003-TOWARDS%20A%20UNIFIED%20VIEW%20OF%20%20PETRI%20NETS%20ok.pdf

  • Parte de monografia/livro

    Towards a unified view of Petri nets and object oriented modeling (2004)

    González Del Foyo, Pedro Manuel; Silva, José Reinaldo

    Source: Mechatronics. Unidade: EP

    Subjects: PROGRAMAÇÃO ORIENTADA A OBJETOS (MODELAGEM), SISTEMAS DISCRETOS, REDES DE PETRI

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

    • ABNT

      GONZÁLEZ DEL FOYO, Pedro Manuel e SILVA, José Reinaldo. Towards a unified view of Petri nets and object oriented modeling. Mechatronics. Tradução . Rio de Janeiro: ABCM, 2004. . Disponível em: http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_02.pdf. Acesso em: 19 abr. 2024.

    • APA

      González Del Foyo, P. M., & Silva, J. R. (2004). Towards a unified view of Petri nets and object oriented modeling. In Mechatronics. Rio de Janeiro: ABCM. Recuperado de http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_02.pdf

    • NLM

      González Del Foyo PM, Silva JR. Towards a unified view of Petri nets and object oriented modeling [Internet]. In: Mechatronics. Rio de Janeiro: ABCM; 2004. [citado 2024 abr. 19 ] Available from: http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_02.pdf

    • Vancouver

      González Del Foyo PM, Silva JR. Towards a unified view of Petri nets and object oriented modeling [Internet]. In: Mechatronics. Rio de Janeiro: ABCM; 2004. [citado 2024 abr. 19 ] Available from: http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_02.pdf

  • Parte de monografia/livro

    Towards a modeling discipline for building and residence automation (2004)

    Silva, José Reinaldo ; Poli Júnior, Marco Antonio; Angel Restrepo, Pedro Luis

    Source: Mechatronics. Unidade: EP

    Subjects: AUTOMAÇÃO PREDIAL, MODELAGEM DE DADOS, SISTEMAS DISCRETOS

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

    • ABNT

      SILVA, José Reinaldo e POLI JÚNIOR, Marco Antonio e ANGEL RESTREPO, Pedro Luis. Towards a modeling discipline for building and residence automation. Mechatronics. Tradução . Rio de Janeiro: ABCM, 2004. . Disponível em: http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_07.pdf. Acesso em: 19 abr. 2024.

    • APA

      Silva, J. R., Poli Júnior, M. A., & Angel Restrepo, P. L. (2004). Towards a modeling discipline for building and residence automation. In Mechatronics. Rio de Janeiro: ABCM. Recuperado de http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_07.pdf

    • NLM

      Silva JR, Poli Júnior MA, Angel Restrepo PL. Towards a modeling discipline for building and residence automation [Internet]. In: Mechatronics. Rio de Janeiro: ABCM; 2004. [citado 2024 abr. 19 ] Available from: http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_07.pdf

    • Vancouver

      Silva JR, Poli Júnior MA, Angel Restrepo PL. Towards a modeling discipline for building and residence automation [Internet]. In: Mechatronics. Rio de Janeiro: ABCM; 2004. [citado 2024 abr. 19 ] Available from: http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_07.pdf

  • Trabalho de evento

    Towards a modeling discipline for building an residence automation (2003)

    Silva, José Reinaldo ; Poli Júnior, Marco Antonio; Angel Restrepo, Pedro Luis

    Source: COBEM 2003 : proceedings. Conference titles: International Congress of Mechanical Engineering. Unidade: EP

    Subjects: AUTOMAÇÃO PREDIAL, MODELAGEM DE DADOS, SISTEMAS DISCRETOS

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

    • ABNT

      SILVA, José Reinaldo e POLI JÚNIOR, Marco Antonio e ANGEL RESTREPO, Pedro Luis. Towards a modeling discipline for building an residence automation. 2003, Anais.. São Paulo: ABCM, 2003. Disponível em: https://repositorio.usp.br/directbitstream/85c780fc-9137-456f-a17c-01511c88dc46/Silva_JR-2003-TOWARDS%20A%20MODELING%20DISCIPLINE%20FOR%20BUILDING%20AND.pdf. Acesso em: 19 abr. 2024.

    • APA

      Silva, J. R., Poli Júnior, M. A., & Angel Restrepo, P. L. (2003). Towards a modeling discipline for building an residence automation. In COBEM 2003 : proceedings. São Paulo: ABCM. Recuperado de https://repositorio.usp.br/directbitstream/85c780fc-9137-456f-a17c-01511c88dc46/Silva_JR-2003-TOWARDS%20A%20MODELING%20DISCIPLINE%20FOR%20BUILDING%20AND.pdf

    • NLM

      Silva JR, Poli Júnior MA, Angel Restrepo PL. Towards a modeling discipline for building an residence automation [Internet]. COBEM 2003 : proceedings. 2003 ;[citado 2024 abr. 19 ] Available from: https://repositorio.usp.br/directbitstream/85c780fc-9137-456f-a17c-01511c88dc46/Silva_JR-2003-TOWARDS%20A%20MODELING%20DISCIPLINE%20FOR%20BUILDING%20AND.pdf

    • Vancouver

      Silva JR, Poli Júnior MA, Angel Restrepo PL. Towards a modeling discipline for building an residence automation [Internet]. COBEM 2003 : proceedings. 2003 ;[citado 2024 abr. 19 ] Available from: https://repositorio.usp.br/directbitstream/85c780fc-9137-456f-a17c-01511c88dc46/Silva_JR-2003-TOWARDS%20A%20MODELING%20DISCIPLINE%20FOR%20BUILDING%20AND.pdf

  • Artigo de periodico

    Towards I4.0: a comprehensive analysis of evolution from I3.0 (2020)

    Nakayama, Ruy Somei ; Spínola, Mauro ; Silva, José Reinaldo

    Source: Computers & Industrial Engineering. Unidade: EP

    Subjects: INDÚSTRIA 4.0, TECNOLOGIA DA INFORMAÇÃO, INTERNET DAS COISAS

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

    • ABNT

      NAKAYAMA, Ruy Somei e SPÍNOLA, Mauro e SILVA, José Reinaldo. Towards I4.0: a comprehensive analysis of evolution from I3.0. Computers & Industrial Engineering, v. 144, p. Article 106453 com 13 on-line, 2020Tradução . . Disponível em: https://doi.org/10.1016/j.cie.2020.106453. Acesso em: 19 abr. 2024.

    • APA

      Nakayama, R. S., Spínola, M., & Silva, J. R. (2020). Towards I4.0: a comprehensive analysis of evolution from I3.0. Computers & Industrial Engineering, 144, Article 106453 com 13 on-line. doi:10.1016/j.cie.2020.106453

    • NLM

      Nakayama RS, Spínola M, Silva JR. Towards I4.0: a comprehensive analysis of evolution from I3.0 [Internet]. Computers & Industrial Engineering. 2020 ; 144 Article 106453 com 13 on-line.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1016/j.cie.2020.106453

    • Vancouver

      Nakayama RS, Spínola M, Silva JR. Towards I4.0: a comprehensive analysis of evolution from I3.0 [Internet]. Computers & Industrial Engineering. 2020 ; 144 Article 106453 com 13 on-line.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1016/j.cie.2020.106453

  • Artigo de periodico

    Toward a multi-agent manager to a set of agv's (1993)

    Silva, José Reinaldo

    Source: Flexnews. Unidade: EP

    Subjects: PROCESSOS DE FABRICAÇÃO (ENGENHARIA MECÂNICA), COMPUTAÇÃO APLICADA, CIÊNCIAS EXATAS

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

    • ABNT

      SILVA, José Reinaldo. Toward a multi-agent manager to a set of agv's. Flexnews, v. 1 , n. 1 , p. Se 1993, 1993Tradução . . Acesso em: 19 abr. 2024.

    • APA

      Silva, J. R. (1993). Toward a multi-agent manager to a set of agv's. Flexnews, 1 ( 1 ), Se 1993.

    • NLM

      Silva JR. Toward a multi-agent manager to a set of agv's. Flexnews. 1993 ; 1 ( 1 ): Se 1993.[citado 2024 abr. 19 ]

    • Vancouver

      Silva JR. Toward a multi-agent manager to a set of agv's. Flexnews. 1993 ; 1 ( 1 ): Se 1993.[citado 2024 abr. 19 ]

  • Trabalho de evento

    Toward a formal approach to functionality in the design of discrete flexible systems (1996)

    Silva, José Reinaldo ; Miyagi, Paulo Eigi

    Source: ASI'96 : proceedings. Conference titles: Annual Conference of ICMMS-NDE. Unidade: EP

    Assunto: INTELIGÊNCIA ARTIFICIAL

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

    • ABNT

      SILVA, José Reinaldo e MIYAGI, Paulo Eigi. Toward a formal approach to functionality in the design of discrete flexible systems. 1996, Anais.. Amsterdam: Elsevier, 1996. Disponível em: https://repositorio.usp.br/directbitstream/0fc637a4-0f80-46c8-981b-5f39bd6f25f4/Silva_JR-1996-toward%20a%20formal%20approach%20to%20functionality.pdf. Acesso em: 19 abr. 2024.

    • APA

      Silva, J. R., & Miyagi, P. E. (1996). Toward a formal approach to functionality in the design of discrete flexible systems. In ASI'96 : proceedings. Amsterdam: Elsevier. Recuperado de https://repositorio.usp.br/directbitstream/0fc637a4-0f80-46c8-981b-5f39bd6f25f4/Silva_JR-1996-toward%20a%20formal%20approach%20to%20functionality.pdf

    • NLM

      Silva JR, Miyagi PE. Toward a formal approach to functionality in the design of discrete flexible systems [Internet]. ASI'96 : proceedings. 1996 ;[citado 2024 abr. 19 ] Available from: https://repositorio.usp.br/directbitstream/0fc637a4-0f80-46c8-981b-5f39bd6f25f4/Silva_JR-1996-toward%20a%20formal%20approach%20to%20functionality.pdf

    • Vancouver

      Silva JR, Miyagi PE. Toward a formal approach to functionality in the design of discrete flexible systems [Internet]. ASI'96 : proceedings. 1996 ;[citado 2024 abr. 19 ] Available from: https://repositorio.usp.br/directbitstream/0fc637a4-0f80-46c8-981b-5f39bd6f25f4/Silva_JR-1996-toward%20a%20formal%20approach%20to%20functionality.pdf

  • Parte de monografia/livro

    Timed Petri nets (2012)

    Silva, José Reinaldo ; Del Foyo, Pedro Manuel Gonzalez

    Source: Petri Nets - Manufacturing and Computer Science. Unidade: EP

    Subjects: REDES DE PETRI, SISTEMAS DISCRETOS, SISTEMAS DE MANUFATURAS

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

    • ABNT

      SILVA, José Reinaldo e DEL FOYO, Pedro Manuel Gonzalez. Timed Petri nets. Petri Nets - Manufacturing and Computer Science. Tradução . Rijeka: Intech, 2012. . Disponível em: http://cdn.intechopen.com/pdfs-wm/38516.pdf. Acesso em: 19 abr. 2024.

    • APA

      Silva, J. R., & Del Foyo, P. M. G. (2012). Timed Petri nets. In Petri Nets - Manufacturing and Computer Science. Rijeka: Intech. Recuperado de http://cdn.intechopen.com/pdfs-wm/38516.pdf

    • NLM

      Silva JR, Del Foyo PMG. Timed Petri nets [Internet]. In: Petri Nets - Manufacturing and Computer Science. Rijeka: Intech; 2012. [citado 2024 abr. 19 ] Available from: http://cdn.intechopen.com/pdfs-wm/38516.pdf

    • Vancouver

      Silva JR, Del Foyo PMG. Timed Petri nets [Internet]. In: Petri Nets - Manufacturing and Computer Science. Rijeka: Intech; 2012. [citado 2024 abr. 19 ] Available from: http://cdn.intechopen.com/pdfs-wm/38516.pdf

  • Artigo de periodico

    The Era of Engineering Grand Challenges (2018)

    Silva, José Reinaldo ; Justo Filho, João Francisco ; John, Vanderley Moacyr ; Silva, Emílio Carlos Nelli

    Source: Polytechnica. Unidade: EP

    Assunto: ENGENHARIA

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

    • ABNT

      SILVA, José Reinaldo et al. The Era of Engineering Grand Challenges. Polytechnica, 2018Tradução . . Disponível em: https://doi.org/10.1007/s41050-018-0001-5. Acesso em: 19 abr. 2024.

    • APA

      Silva, J. R., Justo Filho, J. F., John, V. M., & Silva, E. C. N. (2018). The Era of Engineering Grand Challenges. Polytechnica. doi:10.1007/s41050-018-0001-5

    • NLM

      Silva JR, Justo Filho JF, John VM, Silva ECN. The Era of Engineering Grand Challenges [Internet]. Polytechnica. 2018 ;[citado 2024 abr. 19 ] Available from: https://doi.org/10.1007/s41050-018-0001-5

    • Vancouver

      Silva JR, Justo Filho JF, John VM, Silva ECN. The Era of Engineering Grand Challenges [Internet]. Polytechnica. 2018 ;[citado 2024 abr. 19 ] Available from: https://doi.org/10.1007/s41050-018-0001-5

  • Trabalho de evento

    Supervisory control of integrated building systems: a balanced approach (1996)

    Silva, José Reinaldo ; Ramos, R. L. C. B.; Miyagi, Paulo Eigi

    Source: Proceedings. Conference titles: IEEE/ECLA/IFIP International Conference on Architectures and Design Methods for Balanced Automation Systems. Unidade: EP

    Subjects: INTELIGÊNCIA ARTIFICIAL, REDES DE PETRI

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

    • ABNT

      SILVA, José Reinaldo e RAMOS, R. L. C. B. e MIYAGI, Paulo Eigi. Supervisory control of integrated building systems: a balanced approach. 1996, Anais.. London: Chapman & Hall, 1996. Disponível em: https://repositorio.usp.br/directbitstream/474f0f67-e2c7-4ba7-9f0b-615191e9e3c0/Miyagi-1996-Supervisory%20control%20of%20integrated%20building%20systems%20%20a%20balanced%20approach.pdf. Acesso em: 19 abr. 2024.

    • APA

      Silva, J. R., Ramos, R. L. C. B., & Miyagi, P. E. (1996). Supervisory control of integrated building systems: a balanced approach. In Proceedings. London: Chapman & Hall. Recuperado de https://repositorio.usp.br/directbitstream/474f0f67-e2c7-4ba7-9f0b-615191e9e3c0/Miyagi-1996-Supervisory%20control%20of%20integrated%20building%20systems%20%20a%20balanced%20approach.pdf

    • NLM

      Silva JR, Ramos RLCB, Miyagi PE. Supervisory control of integrated building systems: a balanced approach [Internet]. Proceedings. 1996 ;[citado 2024 abr. 19 ] Available from: https://repositorio.usp.br/directbitstream/474f0f67-e2c7-4ba7-9f0b-615191e9e3c0/Miyagi-1996-Supervisory%20control%20of%20integrated%20building%20systems%20%20a%20balanced%20approach.pdf

    • Vancouver

      Silva JR, Ramos RLCB, Miyagi PE. Supervisory control of integrated building systems: a balanced approach [Internet]. Proceedings. 1996 ;[citado 2024 abr. 19 ] Available from: https://repositorio.usp.br/directbitstream/474f0f67-e2c7-4ba7-9f0b-615191e9e3c0/Miyagi-1996-Supervisory%20control%20of%20integrated%20building%20systems%20%20a%20balanced%20approach.pdf

1 - 20 (147 records)

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