Verificação e Validação na terceirização de software embarcado em aplicações espaciais.
Maria de Fátima Mattiello-FranciscoValdivino Alexandre de Santiago JúniorAna Maria AmbrosioRicardo CostaLeise JogaibPublished in: SBQS (2006)
Keyphrases
- software systems
- software development
- software architecture
- software package
- expectation maximization
- maximum likelihood
- user interface
- multi class
- real time
- software maintenance
- generative model
- source code
- hidden markov models
- decision trees
- data sets
- open source
- image segmentation
- information systems
- artificial intelligence
- genetic algorithm
- test cases
- real world
- neural network
- embedded systems
- modeling language
- database
- hardware design
- software platform