ReP USP - Resultado da busca

Tese (Doutorado)
Uma abordagem para representação de resultados formais na UML (2017)
Pereira, Vinícius; Delamaro, Márcio Eduardo (Orientador)
Unidade: ICMC
Subjects: UML, SEMÂNTICA FORMAL, PROGRAMAÇÃO ORIENTADA A OBJETOS, DESENVOLVIMENTO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, Vinícius. Uma abordagem para representação de resultados formais na UML. 2017. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2017. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-26092017-160607/. Acesso em: 03 out. 2024.
APA
Pereira, V. (2017). Uma abordagem para representação de resultados formais na UML (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-26092017-160607/
NLM
Pereira V. Uma abordagem para representação de resultados formais na UML [Internet]. 2017 ;[citado 2024 out. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-26092017-160607/
Vancouver
Pereira V. Uma abordagem para representação de resultados formais na UML [Internet]. 2017 ;[citado 2024 out. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-26092017-160607/
Dissertação (Mestrado)
Projeto e implementação de um gerador automático de serviços web a partir de diagramas de classes (2016)
Schettini Filho, Domenico; Braga, Rosana Teresinha Vaccare (Orientador)
Unidade: ICMC
Subjects: ARQUITETURA ORIENTADA A SERVIÇOS, UML, REÚSO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SCHETTINI FILHO, Domenico. Projeto e implementação de um gerador automático de serviços web a partir de diagramas de classes. 2016. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2016. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-12122016-163007/. Acesso em: 03 out. 2024.
APA
Schettini Filho, D. (2016). Projeto e implementação de um gerador automático de serviços web a partir de diagramas de classes (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-12122016-163007/
NLM
Schettini Filho D. Projeto e implementação de um gerador automático de serviços web a partir de diagramas de classes [Internet]. 2016 ;[citado 2024 out. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-12122016-163007/
Vancouver
Schettini Filho D. Projeto e implementação de um gerador automático de serviços web a partir de diagramas de classes [Internet]. 2016 ;[citado 2024 out. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-12122016-163007/
Dissertação (Mestrado)
Teste baseado em modelos para serviços RESTful usando máquinas de estados de protocolos UML (2014)
Pinheiro, Pedro Victor Pontes; Simão, Adenilso da Silva (Orientador)
Unidade: ICMC
Subjects: TESTE E AVALIAÇÃO DE SOFTWARE, ARQUITETURA ORIENTADA A SERVIÇOS, UML, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PINHEIRO, Pedro Victor Pontes. Teste baseado em modelos para serviços RESTful usando máquinas de estados de protocolos UML. 2014. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2014. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-14072014-165410/. Acesso em: 03 out. 2024.
APA
Pinheiro, P. V. P. (2014). Teste baseado em modelos para serviços RESTful usando máquinas de estados de protocolos UML (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-14072014-165410/
NLM
Pinheiro PVP. Teste baseado em modelos para serviços RESTful usando máquinas de estados de protocolos UML [Internet]. 2014 ;[citado 2024 out. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-14072014-165410/
Vancouver
Pinheiro PVP. Teste baseado em modelos para serviços RESTful usando máquinas de estados de protocolos UML [Internet]. 2014 ;[citado 2024 out. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-14072014-165410/
Dissertação (Mestrado)
Uma ferramenta geradora de código Bluespec SystemVerilog a partir de máquina de estados finitos descrita em UML e C (2012)
Durand, Sergio Henrique Moraes; Bonato, Vanderlei (Orientador)
Unidade: ICMC
Subjects: SISTEMAS EMBUTIDOS, UML, HARDWARE (ARQUITETURA), VISÃO COMPUTACIONAL, ROBÔS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DURAND, Sergio Henrique Moraes. Uma ferramenta geradora de código Bluespec SystemVerilog a partir de máquina de estados finitos descrita em UML e C. 2012. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2012. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-15042013-102159/. Acesso em: 03 out. 2024.
APA
Durand, S. H. M. (2012). Uma ferramenta geradora de código Bluespec SystemVerilog a partir de máquina de estados finitos descrita em UML e C (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-15042013-102159/
NLM
Durand SHM. Uma ferramenta geradora de código Bluespec SystemVerilog a partir de máquina de estados finitos descrita em UML e C [Internet]. 2012 ;[citado 2024 out. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-15042013-102159/
Vancouver
Durand SHM. Uma ferramenta geradora de código Bluespec SystemVerilog a partir de máquina de estados finitos descrita em UML e C [Internet]. 2012 ;[citado 2024 out. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-15042013-102159/

USP Schools

ReP

Filtros

Authors

Subjects