Ana C. V. de Melo

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 5

Top Topics

Static Analysis

Predicate Calculus

Top Venues

J. Syst. Softw.

Publications

Gisela M. Q. M. Archela, Ana C. V. de Melo, Vagner Luiz Gava
Technical Debt Management in Agile Context: A new framework and case study in a large financial institution. SAC (2024)
Rodrigo Stevaux, Ana C. V. de Melo
A Formal Model for Startups Financial Transactions. SBMF (2023)
Simone Hanazumi, Ana C. V. de Melo
A Formal Approach to implement java exceptions in cooperative systems. J. Syst. Softw. 131 (2017)
Alexandre Locci Martins, Ana C. V. de Melo
Can you certify your software to MC/DC?: A static analysis approach to account for the number test cases. SAST (2016)
Ana C. V. de Melo, Corina S. Pasareanu, Simone Hanazumi
Towards MC/DC Coverage of Properties Specification Patterns. ICTAC (2016)
Jandisson S. de Jesus, Ana C. V. de Melo
An Architectural Pattern to Implement Business Rules in Information Systems. CBI (2) (2015)
Ana C. V. de Melo
Minimising communications of synchronous hardware. ICECS (1999)
Silvio Meira, Judith Kelner, Carlos Eduardo Albuquerque da Cunha, José Martins, Ana C. V. de Melo, Alexandre M. L. de Vasconcelos
Hipertexto: O Projeto do Sistema H. SBES (1989)