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: 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 acesso aberto
- Este artigo NÃO é de acesso aberto
-
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: 28 fev. 2026. -
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 2026 fev. 28 ] 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 2026 fev. 28 ] Available from: https://doi.org/10.1016/j.scico.2009.12.006 - 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
- On the algebraic reuse of hardware design
- 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
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
