Ana Cristina Vieira de Melo

Publication Activity (10 Years)

Years Active: 1988-2022
Publications (10 Years): 2

Top Topics

Business Analysts

Information Systems

Top Venues

COMPSAC Workshops

Publications

Alexandre Garcia de Oliveira, Mauro Jaskelioff, Ana Cristina Vieira de Melo
On Structuring Functional Programs with Monoidal Profunctors. MSFP@ETAPS (2022)
Jandisson Soares de Jesus, Ana Cristina Vieira de Melo
Technical Debt and the Software Project Characteristics. A Repository-Based Exploratory Analysis. CBI (1) (2017)
Simone Hanazumi, Ana Cristina Vieira de Melo, Corina S. Pasareanu
From Test Purposes to Formal JPF Properties. ACM SIGSOFT Softw. Eng. Notes 40 (1) (2015)
Simone Hanazumi, Ana Cristina Vieira de Melo
On the Testability of Properties Patterns. SEFM (2015)
Simone Hanazumi, Ana Cristina Vieira de Melo
A Classification of Test Purposes Based on Testable Properties. ICCSA (1) (2015)
Alexandre Locci Martins, Simone Hanazumi, Ana Cristina Vieira de Melo
Testing Java Exceptions: An Instrumentation Technique. COMPSAC Workshops (2014)
Alexandre Locci Martins, Simone Hanazumi, Ana Cristina Vieira de Melo
Exercising Java Exceptions Using Java Pathfinder and Program Instrumentation. ICCSA (1) (2014)
Jandisson Soares de Jesus, Ana Cristina Vieira de Melo
Business Rules: From SBVR to Information Systems. Business Process Management Workshops (2014)
Paulo Salem da Silva, Ana Cristina Vieira de Melo
On-the-fly verification of discrete event simulations by means of simulation purposes: Extended version. Simul. 89 (8) (2013)
Paulo Salem da Silva, Ana Cristina Vieira de Melo
An Approach for the Verification of Multi-agent Systems by Formally Guided Simulations. IAT (2013)
Simone Hanazumi, Ana Cristina Vieira de Melo
Generation of Java programs properties from test purposes. ISSTA (2013)
Paulo Salem da Silva, Ana Cristina Vieira de Melo
Behaviorist Agent Architecture. IAT (2013)
Paulo R. F. Nunes, Ana Cristina Vieira de Melo
Testing the Adherence of Enterprise Web Applications to Transactional Patterns. QUATIC (2012)
Hamilton Fernandes de-Moraes Junior, Fabia Lika Nishida, Ana Cristina Vieira de Melo
Modelling Websites Navigation Elements According to Usability Aspects. QUATIC (2012)
Simone Hanazumi, Ana Cristina Vieira de Melo
Coordinating Exceptions of Java Systems: Implementation and Formal Verification. QUATIC (2012)
Pedro Matiello, Ana Cristina Vieira de Melo
PiStache: Implementing π-Calculus in Scala. SBMF (2011)
Paulo Salem da Silva, Ana Cristina Vieira de Melo
On-the-fly verification of discrete event simulations by means of simulation purposes. SpringSim (TMS-DEVS) (2011)
Ana Cristina Vieira de Melo, Paulo Silveira
Improving data perturbation testing techniques for Web services. Inf. Sci. 181 (3) (2011)
David P. Pereira, Ana Cristina Vieira de Melo
Formalization of an architectural model for exception handling coordination based on CA action concepts. Sci. Comput. Program. 75 (5) (2010)
Paulo Salem da Silva, Ana Cristina Vieira de Melo
A Formal Environment Model for Multi-Agent Systems. SBMF (2010)
Paulo Salem da Silva, Ana Cristina Vieira de Melo
Model Checking Merged Program Traces. Electron. Notes Theor. Comput. Sci. 240 (2009)
Paulo R. F. Nunes, Simone Hanazumi, Ana Cristina Vieira de Melo
OConGraX - Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems. TestCom/FATES (2009)
Paulo Silveira, Ana Cristina Vieira de Melo
Exploring XML Perturbation Techniques for Web Services Testing. ICWE (2009)
Kleber S. Xavier, Simone Hanazumi, Ana Cristina Vieira de Melo
Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs. SEFM (2008)
Ana Cristina Vieira de Melo, Paulo R. F. Nunes, Kleber S. Xavier
Towards verification and testing of Java programs. SAC (2008)
David P. Pereira, Ana Cristina Vieira de Melo
A formal architectural model for exception handling coordination. SAC (2008)
Paulo Salem da Silva, Ana Cristina Vieira de Melo
Reusing models in multi-agent simulation with software components. AAMAS (2) (2008)
Ana Cristina Vieira de Melo, Adilson de J. Sanchez
Software maintenance project delays prediction using Bayesian Networks. Expert Syst. Appl. 34 (2) (2008)
Paulo Salem da Silva, Ana Cristina Vieira de Melo
A Simulation-Oriented Formalization for a Psychological Theory. FASE (2007)
Flávio S. Corrêa da Silva, Renata Wassermann, Ana Cristina Vieira de Melo, Leliane Nunes de Barros, Marcelo Finger
Intelligent mobile multi-robotic systems: some challenges and possible solutions. ICINCO (2005)
Ana Cristina Vieira de Melo
From Active Names to pi-calculus Rewriting Rules. Electron. Notes Theor. Comput. Sci. 130 (2005)
Paulo Salem da Silva, Ana Cristina Vieira de Melo
An Ontology for Mobile Agents in the Context of Formal Verification. OTM Conferences (2) (2005)
Ana Cristina Vieira de Melo, Adilson de J. Sanchez
Bayesian Networks in Software Maintenance Management. SOFSEM (2005)
Walter Mesquita, Augusto Sampaio, Ana Cristina Vieira de Melo
A Strategy for the Formal Composition of Frameworks. SEFM (2005)
Ana Cristina Vieira de Melo, Bruno M. Moutinho
On the composition of Java frameworks control-flows. Inf. Softw. Technol. 46 (5) (2004)
Ana Cristina Vieira de Melo
A Study On The Potential Active Names of pi-Agents. Electron. Notes Theor. Comput. Sci. 95 (2004)
Ana Cristina Vieira de Melo, Bruno M. Moutinho
On the Composition of Java Frameworks Control-flows. SAC (2003)
Flávio S. Corrêa da Silva, Wamberto Weber Vasconcelos, David Stuart Robertson, Virgínia V. B. Biris Brilhante, Ana Cristina Vieira de Melo, Marcelo Finger, Jaume Agustí-Cullell
On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions. Knowl. Based Syst. 15 (3) (2002)
Bruno Martins Moutinho, Ana Cristina Vieira de Melo
Composição de Fluxo de Controle em Frameworks Java. SBES Companion (2000)
David Stuart Robertson, Flávio S. Corrêa da Silva, Wamberto Weber Vasconcelos, Ana Cristina Vieira de Melo
A Lightweight Capability Communication Mechanism. IEA/AIE (2000)
Lucy Mari Tabuti, Ana Cristina Vieira de Melo
Especificação de um Protocolo de Comunicação Comercial em Join-Calculus. SBES Companion (2000)
Flávio S. Corrêa da Silva, Jaume Agustí-Cullell, Ana Cristina Vieira de Melo, Wamberto Weber Vasconcelos, David Stuart Robertson
Why Ontologies Are Not Enough for Knowledge Sharing. IEA/AIE (1999)
Ana Cristina Vieira de Melo, Howard Barringer
A foundation for formal reuse of hardware. CHARME (1995)
Alexandre M. L. de Vasconcelos, Ana Cristina Vieira de Melo, Silvio Romero Lemos de Meira
Links em um Sistema de Hipertexto. SBES (1988)