Coordinating exceptions of Java systems: implementation and formal verification (2012)
- Authors:
- USP affiliated authors: MELO, ANA CRISTINA VIEIRA DE - IME ; HANAZUMI, SIMONE - IME
- Unidade: IME
- DOI: 10.1109/QUATIC.2012.26
- Subjects: JAVA; DESENVOLVIMENTO DE SOFTWARE
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Publisher: IEEE
- Publisher place: Piscataway
- Date published: 2012
- Source:
- Título: Proceedings
- Conference titles: International Conference on the Quality of Information and Communications Technology - QUATIC
- Este periódico é de acesso aberto
- Este artigo NÃO é de acesso aberto
-
ABNT
HANAZUMI , Simone e MELO, Ana Cristina Vieira de. Coordinating exceptions of Java systems: implementation and formal verification. 2012, Anais.. Piscataway: IEEE, 2012. Disponível em: https://doi.org/10.1109/QUATIC.2012.26. Acesso em: 25 fev. 2026. -
APA
Hanazumi , S., & Melo, A. C. V. de. (2012). Coordinating exceptions of Java systems: implementation and formal verification. In Proceedings. Piscataway: IEEE. doi:10.1109/QUATIC.2012.26 -
NLM
Hanazumi S, Melo ACV de. Coordinating exceptions of Java systems: implementation and formal verification [Internet]. Proceedings. 2012 ;[citado 2026 fev. 25 ] Available from: https://doi.org/10.1109/QUATIC.2012.26 -
Vancouver
Hanazumi S, Melo ACV de. Coordinating exceptions of Java systems: implementation and formal verification [Internet]. Proceedings. 2012 ;[citado 2026 fev. 25 ] Available from: https://doi.org/10.1109/QUATIC.2012.26 - Generation of Java programs properties from test purposes
- OConGraX: automatically generating data-flow test cases for fault-tolerant systems
- Using formal verification to reduce test space of fault-tolerant programs
- Geração de propriedades sobre programas Java a partir de objetivos de teste
- Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas
- An architectural pattern to implement business rules in information systems
- An aproach for the verification of multi-agent systems by formally guided simulations
- Behaviorist agent architecture
- PiStache: implementing π-calculus in scala
- On the composition of Java frameworks control-flows
Informações sobre o DOI: 10.1109/QUATIC.2012.26 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
