A strategy for the formal composition of frameworks (2005)
- Authors:
- Autor USP: MELO, ANA CRISTINA VIEIRA DE - IME
- Unidade: IME
- DOI: 10.1109/SEFM.2005.5
- Assunto: ENGENHARIA DE SOFTWARE
- Language: Inglês
- Imprenta:
- Publisher: IEEE
- Publisher place: Piscataway
- Date published: 2005
- Source:
- Título: Proceedings
- Conference titles: International Conference on Software Engineering and Formal Methods - SEFM
- Este periódico é de acesso aberto
- Este artigo NÃO é de acesso aberto
-
ABNT
MESQUITA, walter e SAMPAIO, Augusto e MELO, Ana Cristina Vieira de. A strategy for the formal composition of frameworks. 2005, Anais.. Piscataway: IEEE, 2005. Disponível em: https://doi.org/10.1109/SEFM.2005.5. Acesso em: 20 jan. 2026. -
APA
Mesquita, walter, Sampaio, A., & Melo, A. C. V. de. (2005). A strategy for the formal composition of frameworks. In Proceedings. Piscataway: IEEE. doi:10.1109/SEFM.2005.5 -
NLM
Mesquita walter, Sampaio A, Melo ACV de. A strategy for the formal composition of frameworks [Internet]. Proceedings. 2005 ;[citado 2026 jan. 20 ] Available from: https://doi.org/10.1109/SEFM.2005.5 -
Vancouver
Mesquita walter, Sampaio A, Melo ACV de. A strategy for the formal composition of frameworks [Internet]. Proceedings. 2005 ;[citado 2026 jan. 20 ] Available from: https://doi.org/10.1109/SEFM.2005.5 - From active names to π-calculus rewriting rules
- Testing the adherence of enterprise web applications to transactional patterns
- Formalization of an architectural model for exception handling coordination based on CA action concepts
- Proceedings of the II Workshop on Formal Methods, october 12-13, 1999, Florianópolis - SC - Brazil
- A formal environment model for multi-agent systems
- Bayesian networks in software maintenance management
- On the composition of Java frameworks control-flows
- Testing Java exceptions: an instrumentation technique
- Can you certify your software to MC/DC?: a static analysis approach to account for the number test cases
- Software maintenance project delays prediction using Bayesian networks
Informações sobre o DOI: 10.1109/SEFM.2005.5 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
