Maquinas De Estado Abstratas
Mostrando 1-3 de 3 artigos, teses e dissertações.
-
1. Software process model simulation using abstract state machines / Simulação de modelos de processo de software utilizando máquinas de estado abstratas
The definition of software process models in software devoloper organizations is a hard work. There are many decisions to be made and approaches used to decision support: what activities should be undertaken, their sequencing, what work products must be developed, among others. The first step is to obtain the process representation, that should be transforme
Publicado em: 2009
-
2. Informática educativa : uma atualização do plano educação
Alguns movimentos de atualização do plano educação se efetuam no funcionamento de máquinas abstratas. A partir de uma abordagem genealógica do processo de informatização das escolas públicas, ocorrido no Brasil, este trabalho de Dissertação marca alguns movimentos de desterritorialização e de territorialização no plano Informática Educativa.
Publicado em: 2007
-
3. Um arcabouço para otimizações em máquinas de estado abstratas
Máquinas de Estado Abstratas oferecem um mecanismo poderoso e de fácil utilização para a especificação formal da semântica de algoritmos. O arcabouço klar incrementa esta metodologia com a capacidade de otimização, permitindo que especificações ASM sejam traduzidas em programas eficientes, característica importante de programas a serem utilizado
Publicado em: 2006