ReP USP - Resultado da busca

Tese (Doutorado)
Modelagem e análise de requisitos de sistemas automatizados usando UML e Redes de Petri (2017)
Salmon, Arianna Zoila Olivera; Silva, José Reinaldo (Orientador)
Unidade: EP
Assuntos: ANÁLISE DE REQUISITOS, REDES DE PETRI, UML
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SALMON, Arianna Zoila Olivera. Modelagem e análise de requisitos de sistemas automatizados usando UML e Redes de Petri. 2017. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2017. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-11072017-143010/. Acesso em: 01 nov. 2024.
APA
Salmon, A. Z. O. (2017). Modelagem e análise de requisitos de sistemas automatizados usando UML e Redes de Petri (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3152/tde-11072017-143010/
NLM
Salmon AZO. Modelagem e análise de requisitos de sistemas automatizados usando UML e Redes de Petri [Internet]. 2017 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-11072017-143010/
Vancouver
Salmon AZO. Modelagem e análise de requisitos de sistemas automatizados usando UML e Redes de Petri [Internet]. 2017 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-11072017-143010/
Tese (Doutorado)
Modelagem hierárquica e análise de requisitos de problemas reais em planejamento automático (2015)
Tonaco-Basbaum, Rosimarci Pacheco; Silva, José Reinaldo (Orientador)
Unidade: EP
Assuntos: INTELIGÊNCIA ARTIFICIAL (PLANEJAMENTO;AUTOMAÇÃO), GESTÃO DE PROJETOS, ANÁLISE DE REQUISITOS, REDES DE PETRI
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
TONACO-BASBAUM, Rosimarci Pacheco. Modelagem hierárquica e análise de requisitos de problemas reais em planejamento automático. 2015. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2015. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-22072016-091845/. Acesso em: 01 nov. 2024.
APA
Tonaco-Basbaum, R. P. (2015). Modelagem hierárquica e análise de requisitos de problemas reais em planejamento automático (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3152/tde-22072016-091845/
NLM
Tonaco-Basbaum RP. Modelagem hierárquica e análise de requisitos de problemas reais em planejamento automático [Internet]. 2015 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-22072016-091845/
Vancouver
Tonaco-Basbaum RP. Modelagem hierárquica e análise de requisitos de problemas reais em planejamento automático [Internet]. 2015 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-22072016-091845/
Trabalho de evento
Verification of automated systems using invariants (2014)
Salmon, Arianna Zoila Oliveira; Del Foyo, Pedro Manuel Gonzalez; Silva, José Reinaldo
Fonte: Anais. Nome do evento: Congresso Brasileiro de Automática - CBA. Unidade: EP
Assuntos: REDES DE PETRI, ANÁLISE DE REQUISITOS, ALGORITMOS
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: 01 nov. 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 nov. 01 ] 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 nov. 01 ] Available from: http://www.swge.inf.br/CBA2014/anais/PDF/1569935123.pdf
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
Fonte: The Knowledge Engineering Review. Unidade: EP
Assuntos: INTELIGÊNCIA ARTIFICIAL, ENGENHARIA DE REQUISITOS, ANÁLISE DE REQUISITOS
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: 01 nov. 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 nov. 01 ] 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 nov. 01 ] Available from: https://doi.org/10.1017/s0269888912000434
Trabalho de evento
Usando invariantes na análise dos requisitos (2012)
Salmon, Arianna Zoila Oliveira; Silva, José Reinaldo
Fonte: Anais. Nome do evento: Congresso Brasileiro de Automática - CBA. Unidade: EP
Assuntos: REDES DE PETRI, ANÁLISE DE REQUISITOS, INVARIANTES
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: 01 nov. 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 nov. 01 ] 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 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/8694c2a5-c238-41b6-9e6f-a4a6f08d26a1/Silva_JR-2012-usando%20invariantes%20na%20analise%20dos%20requisitos.pdf
Dissertação (Mestrado)
Proposta de método para análise técnica de rede para implantação de serviços IPTV (2011)
Barros, Jorge Luiz Silva; Andrade, Marco Túlio Carvalho de (Orientador)
Unidade: EP
Assuntos: REDES DE COMPUTADORES, REDES MULTIMÍDIA, ANÁLISE DE REQUISITOS, CONVERGÊNCIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BARROS, Jorge Luiz Silva. Proposta de método para análise técnica de rede para implantação de serviços IPTV. 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-02042012-152954/. Acesso em: 01 nov. 2024.
APA
Barros, J. L. S. (2011). Proposta de método para análise técnica de rede para implantação de serviços IPTV (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-02042012-152954/
NLM
Barros JLS. Proposta de método para análise técnica de rede para implantação de serviços IPTV [Internet]. 2011 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-02042012-152954/
Vancouver
Barros JLS. Proposta de método para análise técnica de rede para implantação de serviços IPTV [Internet]. 2011 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-02042012-152954/
Artigo de periodico
Automatic analysis of requirements consistency with the B method (2010)
Sousa, Thiago Carvalho de; Almeida Junior, Jorge Rady de ; Viana, Sidney; Pavón, Judith
Fonte: Software engineering notes. Unidade: EP
Assunto: ANÁLISE DE REQUISITOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUSA, Thiago Carvalho de et al. Automatic analysis of requirements consistency with the B method. Software engineering notes, v. 35, n. 2, p. 1-4, 2010Tradução . . Disponível em: https://doi.org/10.1145/1734103.1734114. Acesso em: 01 nov. 2024.
APA
Sousa, T. C. de, Almeida Junior, J. R. de, Viana, S., & Pavón, J. (2010). Automatic analysis of requirements consistency with the B method. Software engineering notes, 35( 2), 1-4. doi:10.1145/1734103.1734114
NLM
Sousa TC de, Almeida Junior JR de, Viana S, Pavón J. Automatic analysis of requirements consistency with the B method [Internet]. Software engineering notes. 2010 ;35( 2): 1-4.[citado 2024 nov. 01 ] Available from: https://doi.org/10.1145/1734103.1734114
Vancouver
Sousa TC de, Almeida Junior JR de, Viana S, Pavón J. Automatic analysis of requirements consistency with the B method [Internet]. Software engineering notes. 2010 ;35( 2): 1-4.[citado 2024 nov. 01 ] Available from: https://doi.org/10.1145/1734103.1734114
Trabalho de evento
Mobility in digital learning ecosystems (2008)
Ficheman, Irene Karaguilla ; Lopes, Roseli de Deus
Fonte: Proceedings. Nome do evento: IADIS International Conference Mobile Learning. Unidade: EP
Assuntos: ANÁLISE DE REQUISITOS, SOFTWARES (MODELAGEM COMPUTACIONAL), SISTEMAS BASEADOS EM CONHECIMENTO, TECNOLOGIA EDUCACIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FICHEMAN, Irene Karaguilla e LOPES, Roseli de Deus. Mobility in digital learning ecosystems. 2008, Anais.. Algarve: IADIS, 2008. . Acesso em: 01 nov. 2024.
APA
Ficheman, I. K., & Lopes, R. de D. (2008). Mobility in digital learning ecosystems. In Proceedings. Algarve: IADIS.
NLM
Ficheman IK, Lopes R de D. Mobility in digital learning ecosystems. Proceedings. 2008 ;[citado 2024 nov. 01 ]
Vancouver
Ficheman IK, Lopes R de D. Mobility in digital learning ecosystems. Proceedings. 2008 ;[citado 2024 nov. 01 ]
Tese (Doutorado)
Ecossistemas digitais de aprendizagem: autoria, colaboração, imersão e mobilidade (2008)
Ficheman, Irene Karaguilla ; Lopes, Roseli de Deus (Orientador)
Unidade: EP
Assuntos: ANÁLISE DE REQUISITOS, SOFTWARES (MODELAGEM COMPUTACIONAL)
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FICHEMAN, Irene Karaguilla. Ecossistemas digitais de aprendizagem: autoria, colaboração, imersão e mobilidade. 2008. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2008. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3142/tde-02022009-164226/. Acesso em: 01 nov. 2024.
APA
Ficheman, I. K. (2008). Ecossistemas digitais de aprendizagem: autoria, colaboração, imersão e mobilidade (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3142/tde-02022009-164226/
NLM
Ficheman IK. Ecossistemas digitais de aprendizagem: autoria, colaboração, imersão e mobilidade [Internet]. 2008 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3142/tde-02022009-164226/
Vancouver
Ficheman IK. Ecossistemas digitais de aprendizagem: autoria, colaboração, imersão e mobilidade [Internet]. 2008 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3142/tde-02022009-164226/
Dissertação (Mestrado)
Arquitetura de software aviônico de um VANT com requisitos de homologação (2008)
Amianti, Giovani; Barros, Ettore Apolônio de (Orientador)
Unidade: EP
Assuntos: AERONAVES NÃO TRIPULADAS, ARQUITETURA DE SOFTWARE, ANÁLISE DE REQUISITOS, FILTROS DE KALMAN, SISTEMAS DE TEMPO-REAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
AMIANTI, Giovani. Arquitetura de software aviônico de um VANT com requisitos de homologação. 2008. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2008. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-30052008-125557/. Acesso em: 01 nov. 2024.
APA
Amianti, G. (2008). Arquitetura de software aviônico de um VANT com requisitos de homologação (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3152/tde-30052008-125557/
NLM
Amianti G. Arquitetura de software aviônico de um VANT com requisitos de homologação [Internet]. 2008 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-30052008-125557/
Vancouver
Amianti G. Arquitetura de software aviônico de um VANT com requisitos de homologação [Internet]. 2008 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-30052008-125557/

Unidades USP

ReP

Filtros

Autores

Autores USP

Ano de publicação

Assuntos