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: 24 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. 24 ] 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. 24 ] 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
- Dynamic properties of statecharts: a reachability tree and analysis of some properties
- Statecharts specifications: a family of coverage testing criteria. [CD ROM]
- Teste de software OO: uma abordagem para a organização e o planejamento da atividade de teste
- Comparison of maintainability improvement by segmentation and reengineering - a case study
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