APSEE-StaticPolicy: Verificação de Políticas Estáticas em Modelos de Processos de Software.
Rodrigo Quites ReisCarla Alessandra Lima ReisDaltro José NunesPublished in: SBES (2001)
Keyphrases
- software development
- software systems
- expectation maximization
- software tools
- source code
- software architecture
- em algorithm
- data sets
- software design
- software maintenance
- embedded systems
- development process
- unsupervised learning
- artificial intelligence
- genetic algorithm
- real time
- mixture model
- parameter estimation
- computer systems
- probabilistic model
- multi agent systems
- personal computer
- software platform