A formal architectural model for exception handling coordination (2008)
- Authors:
- USP affiliated authors: MELO, ANA CRISTINA VIEIRA DE - IME ; PEREIRA, DAVID PAULO - IME
- Unidade: IME
- DOI: 10.1145/1363686.1363716
- Assunto: ARQUITETURA DE SOFTWARE
- Keywords: fault-tolerant architecture; exception handling coordination; CSP
- Language: Inglês
- Imprenta:
- Source:
- Título: Proceedings
- Conference titles: Symposium on Applied Computing - SAC
- Este periódico é de acesso aberto
- Este artigo NÃO é de acesso aberto
-
ABNT
PEREIRA, David Paulo e MELO, Ana Cristina Vieira de. A formal architectural model for exception handling coordination. 2008, Anais.. New York: ACM, 2008. Disponível em: https://doi.org/10.1145/1363686.1363716. Acesso em: 28 jan. 2026. -
APA
Pereira, D. P., & Melo, A. C. V. de. (2008). A formal architectural model for exception handling coordination. In Proceedings. New York: ACM. doi:10.1145/1363686.1363716 -
NLM
Pereira DP, Melo ACV de. A formal architectural model for exception handling coordination [Internet]. Proceedings. 2008 ;[citado 2026 jan. 28 ] Available from: https://doi.org/10.1145/1363686.1363716 -
Vancouver
Pereira DP, Melo ACV de. A formal architectural model for exception handling coordination [Internet]. Proceedings. 2008 ;[citado 2026 jan. 28 ] Available from: https://doi.org/10.1145/1363686.1363716 - Um framework para coordenação do tratamento de exceções em sistemas tolerantes a falhas
- 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
- OCONGRA - ferramenta para criação de grafos de fluxo de controle de objetos
Informações sobre o DOI: 10.1145/1363686.1363716 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
