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:>.
7 referências encontradas buscando em 15 dentre 15 sites.
Data e hora local de busca: 29/11/2020 23:51.
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
 
  

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 - 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
 
  

Development and optimization of a wildfire plume rise model based on remote sensing data inputs - Part 2
Paugam, R.; Wooster, M.; Atherton, J.; Freitas, S. R.; Schultz, M. G.; Kaiser, J. W.

Artigo em Revista Científica - Qualis: 0.0 - 2015 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.29