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: Journal of Systems and Software
- ISSN: 0164-1212
- Volume/Número/Paginação/Ano: v. 131, p. 475-490, 2017
- Status:
- Artigo possui versão em acesso aberto em repositório (Green Open Access)
- Versão do Documento:
- Versão submetida (Pré-print)
- Acessar versão aberta:
-
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: 07 maio 2026. -
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 2026 maio 07 ] 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 2026 maio 07 ] Available from: https://doi.org/10.1016/j.jss.2016.07.033 - 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 a disponibilidade de versões do artigo em acesso aberto coletadas automaticamente via oaDOI API (Unpaywall).
Por se tratar de integração com serviço externo, podem existir diferentes versões do trabalho (como preprints ou postprints), que podem diferir da versão publicada.
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
