Formalization of an architectural model for exception handling coordination based on CA action concepts (2010)
- Authors:
- Autor USP: MELO, ANA CRISTINA VIEIRA DE - IME
- Unidade: IME
- DOI: 10.1016/j.scico.2009.12.006
- Assunto: INTELIGÊNCIA ARTIFICIAL
- Language: Inglês
- Imprenta:
- Source:
- Título do periódico: Science of Computer Programming
- ISSN: 0167-6423
- Volume/Número/Paginação/Ano: v. 75, n. 5, p. 333-349, 2010
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
ABNT
PEREIRA, David Paulo e MELO, Ana Cristina Vieira de. Formalization of an architectural model for exception handling coordination based on CA action concepts. Science of Computer Programming, v. 75, n. 5, p. 333-349, 2010Tradução . . Disponível em: https://doi.org/10.1016/j.scico.2009.12.006. Acesso em: 01 maio 2024. -
APA
Pereira, D. P., & Melo, A. C. V. de. (2010). Formalization of an architectural model for exception handling coordination based on CA action concepts. Science of Computer Programming, 75( 5), 333-349. doi:10.1016/j.scico.2009.12.006 -
NLM
Pereira DP, Melo ACV de. Formalization of an architectural model for exception handling coordination based on CA action concepts [Internet]. Science of Computer Programming. 2010 ; 75( 5): 333-349.[citado 2024 maio 01 ] Available from: https://doi.org/10.1016/j.scico.2009.12.006 -
Vancouver
Pereira DP, Melo ACV de. Formalization of an architectural model for exception handling coordination based on CA action concepts [Internet]. Science of Computer Programming. 2010 ; 75( 5): 333-349.[citado 2024 maio 01 ] Available from: https://doi.org/10.1016/j.scico.2009.12.006 - Bayesian networks in software maintenance management
- Towards MC/DC coverage of properties specification patterns
- Reusing hardware components with single-state processes
- Proceedings of the II Workshop on Formal Methods, october 12-13, 1999, Florianópolis - SC - Brazil
- Testing the adherence of enterprise web applications to transactional patterns
- Can you certify your software to MC/DC?: a static analysis approach to account for the number test cases
- A classification of test purposes based on testable properties
- A study on the potential active names of π-agents
- A formal environment model for multi-agent systems
- Testing Java exceptions: an instrumentation technique
Informações sobre o DOI: 10.1016/j.scico.2009.12.006 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas