OCONGRA - ferramenta para criação de grafos de fluxo de controle de objetos (2004)
- Authors:
- Autor USP: MELO, ANA CRISTINA VIEIRA DE - IME
- Unidade: IME
- Assunto: MATEMÁTICA DA COMPUTAÇÃO
- Language: Português
- Imprenta:
- Source:
- Título: Atas
- Conference titles: Colóquio de Iniciação Científica
-
ABNT
NUNES, Paulo Roberto de Araújo França e MELO, Ana Cristina Vieira de. OCONGRA - ferramenta para criação de grafos de fluxo de controle de objetos. 2004, Anais.. São Paulo: IME-USP, 2004. . Acesso em: 23 jan. 2026. -
APA
Nunes, P. R. de A. F., & Melo, A. C. V. de. (2004). OCONGRA - ferramenta para criação de grafos de fluxo de controle de objetos. In Atas. São Paulo: IME-USP. -
NLM
Nunes PR de AF, Melo ACV de. OCONGRA - ferramenta para criação de grafos de fluxo de controle de objetos. Atas. 2004 ;[citado 2026 jan. 23 ] -
Vancouver
Nunes PR de AF, Melo ACV de. OCONGRA - ferramenta para criação de grafos de fluxo de controle de objetos. Atas. 2004 ;[citado 2026 jan. 23 ] - Testing Java exceptions: an instrumentation technique
- On the testability of properties patterns
- Can you certify your software to MC/DC?: a static analysis approach to account for the number test cases
- From active names to π-calculus rewriting rules
- Formalization of an architectural model for exception handling coordination based on CA action concepts
- Testing the adherence of enterprise web applications to transactional patterns
- A formal environment model for multi-agent systems
- Reusing hardware components with single-state processes
- Improving data perturbation testing techniques for web services
- A study on the potential active names of π-agents
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas