Uma arquitetura flexível e dinâmica para objetos distribuídos aplicada ao software de controle de satélites

by Maurício Gonçalves Vieira Ferreira
Published 2001

Automated Planning With Invalid States Prediction

by Caio Gustavo Rodrigues da Cruz, Rodrigo Rocha Silva, Mauricio Goncalves Vieira Ferreira, Jorge Bernardino
Published 2021-01-01

KPlanOO: um meta-modelo orientado a objetos para descrição de domínios e problemas de planejamento

by Rodrigo Rocha Silva
Published 2010

Uma ferramenta para avaliação de planos de voo de satélites usando modelos de estados

by André Aparecido de Souza Ivo
Published 2013

Proposta de um sistema de avaliação e testes para processadores do sistema brasileiro de coleta de dados

by Marcus Vinícius Cisotto
Published 2012

Uma arquitetura de software embarcado no segmento espacial para habilitar a operação de missões baseada em objetivos

by Fabrício de Novaes Kucinskis
Published 2012

VVTESTE: ambiente de geração e gerenciamento de testes e de defeitos de software como apoio a processos de verificação e validação

by Marcos Flávio de Souza Reis
Published 2012

Processo de desenvolvimento de planos automáticos para operação de satélites baseado na UML

by Charles-Edouard Winandy
Published 2011

Uma estratégia baseada em algoritmos de mineração de dados para validar plano de operação de voo a partir de predições de estados dos satélites do INPE

by Primavera Botelho de Souza
Published 2011

Uma arquitetura para uso da linguagem pluto em procedimentos de testes aplicados a um computador de bordo para satélites

by Thiago Duarte Pereira
Published 2012

Proposta de procedimentos de gestão do conhecimento para o Centro de Rastreio e Controle de Satélites do INPE

by Andréa Nogueira Peña Durán
Published 2018

Hybrid fuml: a hybrid synchronous language

by Alessandro Gerlinger Romero
Published 2014

Uma abordagem para o processo de desenvolvimento de sistema embarcado que atende ao nível 2 de maturidade do CMMI-DEV

by Magda Aparecida Silverio Miyashiro
Published 2015

Framework de integração de dados ambientais, baseado em metadados

by Jose Luiz Moreira
Published 2017

An autonomous and dynamical approach to small satellite ground stations networks

by Jorge Enrique Espíndola Diaz
Published 2017

Aquisição de dados de carga útil de plataformas orbitais com o auxílio de técnicas de inteligência artificial

by Ivan Márcio Barbosa
Published 2016

Uma arquitetura de agente de replanejamento em tempo real para plano de voo em missões espaciais

by Edson Alves Ribeiro
Published 2015

Alocação dinâmica de recursos computacionais para experimentos científicos com replanejamento automatizado a bordo de satélites

by Fabrício de Novaes Kucinskis
Published 2007

Uma abordagem para a persistência dos modelos de objetos de sistemas configuráveis e adaptáveis

by Warley Rodrigues de Almeida
Published 2005

Uma ferramenta de apoio ao diagnóstico do nível de maturidade utilizando um modelo de rede neural

by Magda Aparecida Silvério Miyashiro
Published 2007