Sequencias basicas de maquinas de estado finito: aspectos teoricos e de implementacao (1994)
- Authors:
- USP affiliated authors: MASIERO, PAULO CESAR - ICMC ; MALDONADO, JOSE CARLOS - ICMC
- Unidade: ICMC
- Assunto: ENGENHARIA DE SOFTWARE
- Language: Português
- Imprenta:
- Publisher: Icmsc-Usp
- Publisher place: Sao Carlos
- Date published: 1994
-
ABNT
NAKAZATO, K K et al. Sequencias basicas de maquinas de estado finito: aspectos teoricos e de implementacao. . Sao Carlos: Icmsc-Usp. Disponível em: https://repositorio.usp.br/directbitstream/39777db2-c4fc-4f5e-bb3d-259698739f98/Relatorio%20Tecnico_28_1994.pdf. Acesso em: 23 abr. 2024. , 1994 -
APA
Nakazato, K. K., Maldonado, J. C., Fabbri, S. C. P. F., & Masiero, P. C. (1994). Sequencias basicas de maquinas de estado finito: aspectos teoricos e de implementacao. Sao Carlos: Icmsc-Usp. Recuperado de https://repositorio.usp.br/directbitstream/39777db2-c4fc-4f5e-bb3d-259698739f98/Relatorio%20Tecnico_28_1994.pdf -
NLM
Nakazato KK, Maldonado JC, Fabbri SCPF, Masiero PC. Sequencias basicas de maquinas de estado finito: aspectos teoricos e de implementacao [Internet]. 1994 ;[citado 2024 abr. 23 ] Available from: https://repositorio.usp.br/directbitstream/39777db2-c4fc-4f5e-bb3d-259698739f98/Relatorio%20Tecnico_28_1994.pdf -
Vancouver
Nakazato KK, Maldonado JC, Fabbri SCPF, Masiero PC. Sequencias basicas de maquinas de estado finito: aspectos teoricos e de implementacao [Internet]. 1994 ;[citado 2024 abr. 23 ] Available from: https://repositorio.usp.br/directbitstream/39777db2-c4fc-4f5e-bb3d-259698739f98/Relatorio%20Tecnico_28_1994.pdf - Execucao programada de statecharts
- Mutation testing applied to validate specifications based on statecharts
- Proteum/ST: a tool support statecharts validation based on mutation testing
- Teste de software orientado a objetos e a aspectos: teoria e prática
- Evaluation studies of software testing research in the brazilian symposium on software engineering
- Aplicacao da analise de mutantes na validacao de especificacoes baseadas em redes de petri
- Object and systems life cycles reviseted: their use in object-oriented analysis and design methods
- Aplicação do critério análise de mutantes na validação de especificações baseadas em statecharts
- Validação de especificações formais com a aplicação do critério análise de mutantes
- Teste de unidade de programas orientados a aspectos
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 | Relatorio Tecnico_28_1994... | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
