A formal approach to implement java exceptions in cooperative systems (2017)
- Authors:
- Autor USP: MELO, ANA CRISTINA VIEIRA DE - IME
- Unidade: IME
- DOI: 10.1016/j.jss.2016.07.033
- Subjects: DESENVOLVIMENTO DE SOFTWARE; JAVA
- Keywords: coordinated atomic actions model; concurrent exception handling; java framework; program verification
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título do periódico: Journal of Systems and Software
- ISSN: 0164-1212
- Volume/Número/Paginação/Ano: v. 131, p. 475-490, 2017
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
ABNT
HANAZUMI, Simone e MELO, Ana Cristina Vieira de. A formal approach to implement java exceptions in cooperative systems. Journal of Systems and Software, v. 131, p. 475-490, 2017Tradução . . Disponível em: https://doi.org/10.1016/j.jss.2016.07.033. Acesso em: 19 abr. 2024. -
APA
Hanazumi, S., & Melo, A. C. V. de. (2017). A formal approach to implement java exceptions in cooperative systems. Journal of Systems and Software, 131, 475-490. doi:10.1016/j.jss.2016.07.033 -
NLM
Hanazumi S, Melo ACV de. A formal approach to implement java exceptions in cooperative systems [Internet]. Journal of Systems and Software. 2017 ; 131 475-490.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1016/j.jss.2016.07.033 -
Vancouver
Hanazumi S, Melo ACV de. A formal approach to implement java exceptions in cooperative systems [Internet]. Journal of Systems and Software. 2017 ; 131 475-490.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1016/j.jss.2016.07.033 - 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.jss.2016.07.033 (Fonte: oaDOI API)
Download do texto completo
Tipo | Nome | Link | |
---|---|---|---|
2864424.pdf |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas