ReP USP - Resultado da busca

Filtros : "ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS" "Maruyama, Newton" Removido: "LÓGICA MATEMÁTICA" Limpar

Filtros

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: 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
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: 28 nov. 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 nov. 28 ] 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 nov. 28 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3132/tde-03082007-181907/

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