Resultado da Pesquisa
A expressão de busca foi <related:sid.inpe.br/mtc-m21c/2018/11.09.12.46.35-0:en:title:2:model development based checking:integrating model checking model based testing industrial software development:>.
12 referências similares foram encontradas(inclusive a original) buscando em 17 dentre 17 Arquivos
(este total pode incluir algumas duplicatas - para ver a conta certa clique no botão Mostrar Todas).
As 10 mais recentes estão listadas abaixo.
Data e hora local de busca: 24/04/2024 19:41.

Integrating model checking and model based testing for industrial software development
Villani, E.; Pontes, R. P.; Coracini, G. K.; Ambrósio, A. M.
Artigo em Revista Científica - Qualis: 8.6 - 2019 - Acesso restrito - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 1.00 		 
  

Contributions of model checking and CoFI methodology to the development of space embedded software
Pontes, R. P.; Véras, P. C.; Ambrosio, A. M.; Villani, E.
Artigo em Revista Científica - Qualis: 10.0 - 2014 - Acesso restrito - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.40 		 
  

Architectural Model for Generating User Interfaces Based on Class Metadata. In: Tools and Techniques in Software Development Processes
Azevedo, L.; Fernades, C.; Guerra, E. M.
Artigo em Evento - sem Qualis - 2013 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.35 		 
  

Methodologies for model-based systems engineering to leverage ground segment development
Julio Filho, A. C.; Ferreira, M. G. V.; Ambrosio, A. M.
Filme ou Vídeo - sem Qualis - 2021 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.34 		 
  

Methodologies for model-based systems engineering to leverage ground segment development
Júlio Filho, A. C.; Ferreira, M. G. V.; Ambrósio, A. M.
Artigo em Evento - sem Qualis - 2021 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.34 		 
  

Model-Based System Engineering to leverage Ground Segment Development of Space Missions
Julio Filho, A. C.; Ferreira, M. G. V.; Maria Ambrosio, A.; Cunha, J. B. S.; Souza, L.
Artigo em Evento - sem Qualis - 2023 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.33 		 
  

Use of SysML and model-based system engineering in the development of the Brazilian Satellite VCUB1
Conto, A. M.; Mattei, A. P.; Saquis-Sannes, P.; Carvalho, H.; Miranda, D. J. F.; Balbino, F.
Artigo em Evento - sem Qualis - 2018 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.33 		 
  

Development of an agent-based model to simulate the dynamics of forests with long-lived pioneer specie
Buurman, M.; Valeriano, D. D. B.; Amaral, S.
Relatório - sem Qualis - 2013 - Como citar? - BibTeX - acessar - Similaridade: 0.31 		 
  

Designing a ground support equipment for sattelite subsystem based on a product development reference model
Pazelli, H.; Barbalho, S.; Roda, V. O.
Artigo em Evento - sem Qualis - 2007 - Acesso restrito - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.31 		 
  

Model-Based System Engineering (MBSE) applied to ground segment development of space missions: new challenges
Julio Filho, A. C.; Ferreira, M. G. V.; Ambrosio, A. M.; Grostner, I.
Artigo em Evento - sem Qualis - 2021 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.29