Ana Cristina Vieira de Melo

According to our database, Ana Cristina Vieira de Melo authored at least 50 papers between 1988 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

A Formal Model for Startups Financial Transactions.

Rodrigo Stevaux, Ana C. V. de Melo

Proceedings of the Formal Methods: Foundations and Applications - 26th Brazilian Symposium, 2023

2022

On Structuring Functional Programs with Monoidal Profunctors.

Alexandre Garcia de Oliveira, Mauro Jaskelioff, Ana Cristina Vieira de Melo

Proceedings of the Proceedings Ninth Workshop on Mathematically Structured Functional Programming, 2022

2017

A Formal Approach to implement java exceptions in cooperative systems.

Simone Hanazumi, Ana C. V. de Melo

J. Syst. Softw., 2017

Technical Debt and the Software Project Characteristics. A Repository-Based Exploratory Analysis.

Jandisson Soares de Jesus, Ana Cristina Vieira de Melo

Proceedings of the 19th IEEE Conference on Business Informatics, 2017

2016

Can you certify your software to MC/DC?: A static analysis approach to account for the number test cases.

Alexandre Locci Martins, Ana C. V. de Melo

Proceedings of the 1st Brazilian Symposium on Systematic and Automated Software Testing, 2016

Towards MC/DC Coverage of Properties Specification Patterns.

Ana C. V. de Melo, Corina S. Pasareanu, Simone Hanazumi

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

2015

From Test Purposes to Formal JPF Properties.

Simone Hanazumi, Ana Cristina Vieira de Melo, Corina S. Pasareanu

ACM SIGSOFT Softw. Eng. Notes, 2015

An Architectural Pattern to Implement Business Rules in Information Systems.

Jandisson S. de Jesus, Ana C. V. de Melo

Proceedings of the 17th IEEE Conference on Business Informatics, 2015

On the Testability of Properties Patterns.

Simone Hanazumi, Ana Cristina Vieira de Melo

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

A Classification of Test Purposes Based on Testable Properties.

Simone Hanazumi, Ana Cristina Vieira de Melo

Proceedings of the Computational Science and Its Applications - ICCSA 2015, 2015

2014

Exercising Java Exceptions Using Java Pathfinder and Program Instrumentation.

Alexandre Locci Martins, Simone Hanazumi, Ana Cristina Vieira de Melo

Proceedings of the Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30, 2014

Testing Java Exceptions: An Instrumentation Technique.

Alexandre Locci Martins, Simone Hanazumi, Ana Cristina Vieira de Melo

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

Business Rules: From SBVR to Information Systems.

Jandisson Soares de Jesus, Ana Cristina Vieira de Melo

Proceedings of the Business Process Management Workshops, 2014

2013

On-the-fly verification of discrete event simulations by means of simulation purposes: Extended version.

Paulo Salem da Silva, Ana Cristina Vieira de Melo

Simul., 2013

Generation of Java programs properties from test purposes.

Simone Hanazumi, Ana Cristina Vieira de Melo

Proceedings of the International Symposium on Software Testing and Analysis, 2013

An Approach for the Verification of Multi-agent Systems by Formally Guided Simulations.

Paulo Salem da Silva, Ana Cristina Vieira de Melo

Proceedings of the 2013 IEEE/WIC/ACM International Conferences on Intelligent Agent Technology, 2013

Behaviorist Agent Architecture.

Paulo Salem da Silva, Ana Cristina Vieira de Melo

Proceedings of the 2013 IEEE/WIC/ACM International Conferences on Intelligent Agent Technology, 2013

2012

Testing the Adherence of Enterprise Web Applications to Transactional Patterns.

Paulo R. F. Nunes, Ana Cristina Vieira de Melo

Proceedings of the 8th International Conference on the Quality of Information and Communications Technology, 2012

Modelling Websites Navigation Elements According to Usability Aspects.

Hamilton Fernandes de-Moraes Junior, Fabia Lika Nishida, Ana Cristina Vieira de Melo

Proceedings of the 8th International Conference on the Quality of Information and Communications Technology, 2012

Coordinating Exceptions of Java Systems: Implementation and Formal Verification.

Simone Hanazumi, Ana Cristina Vieira de Melo

Proceedings of the 8th International Conference on the Quality of Information and Communications Technology, 2012

2011

Improving data perturbation testing techniques for Web services.

Ana Cristina Vieira de Melo, Paulo Silveira

Inf. Sci., 2011

On-the-fly verification of discrete event simulations by means of simulation purposes.

Paulo Salem da Silva, Ana Cristina Vieira de Melo

Proceedings of the 2011 Spring Simulation Multi-conference, 2011

PiStache: Implementing π-Calculus in Scala.

Pedro Matiello, Ana Cristina Vieira de Melo

Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011

2010

Formalization of an architectural model for exception handling coordination based on CA action concepts.

David P. Pereira, Ana Cristina Vieira de Melo

Sci. Comput. Program., 2010

A Formal Environment Model for Multi-Agent Systems.

Paulo Salem da Silva, Ana Cristina Vieira de Melo

Proceedings of the Formal Methods: Foundations and Applications, 2010

2009

OConGraX - Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems.

Paulo R. F. Nunes, Simone Hanazumi, Ana Cristina Vieira de Melo

Proceedings of the Testing of Software and Communication Systems, 2009

Exploring XML Perturbation Techniques for Web Services Testing.

Paulo Silveira, Ana Cristina Vieira de Melo

Proceedings of the Web Engineering, 9th International Conference, 2009

2008

Software maintenance project delays prediction using Bayesian Networks.

Ana Cristina Vieira de Melo, Adilson de J. Sanchez

Expert Syst. Appl., 2008

Model Checking Merged Program Traces.

Paulo Salem da Silva, Ana Cristina Vieira de Melo

Proceedings of the Eleventh Brazilian Symposium on Formal Methods, 2008

Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs.

Kleber S. Xavier, Simone Hanazumi, Ana Cristina Vieira de Melo

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

A formal architectural model for exception handling coordination.

David P. Pereira, Ana Cristina Vieira de Melo

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Towards verification and testing of Java programs.

Ana Cristina Vieira de Melo, Paulo R. F. Nunes, Kleber S. Xavier

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Reusing models in multi-agent simulation with software components.

Paulo Salem da Silva, Ana Cristina Vieira de Melo

Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

2007

A Simulation-Oriented Formalization for a Psychological Theory.

Paulo Salem da Silva, Ana Cristina Vieira de Melo

Proceedings of the Fundamental Approaches to Software Engineering, 2007

2005

Bayesian Networks in Software Maintenance Management.

Ana Cristina Vieira de Melo, Adilson de J. Sanchez

Proceedings of the SOFSEM 2005: Theory and Practice of Computer Science, 2005

A Strategy for the Formal Composition of Frameworks.

Walter Mesquita, Augusto Sampaio, Ana Cristina Vieira de Melo

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

An Ontology for Mobile Agents in the Context of Formal Verification.

Paulo Salem da Silva, Ana Cristina Vieira de Melo

Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005

Intelligent mobile multi-robotic systems: some challenges and possible solutions.

Flávio S. Corrêa da Silva, Renata Wassermann, Ana Cristina Vieira de Melo, Leliane Nunes de Barros, Marcelo Finger

Proceedings of the ICINCO 2005, 2005

2004

On the composition of Java frameworks control-flows.

Ana Cristina Vieira de Melo, Bruno Martins Moutinho

Inf. Softw. Technol., 2004

From Active Names to pi-calculus Rewriting Rules.

Ana Cristina Vieira de Melo

Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004

2003

A Study On The Potential Active Names of pi-Agents.

Ana Cristina Vieira de Melo

Proceedings of the 6th Brazilian Workshop on Formal Methods, 2003

2002

On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions.

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

Knowl. Based Syst., 2002

2000

Especificação de um Protocolo de Comunicação Comercial em Join-Calculus.

Lucy Mari Tabuti, Ana Cristina Vieira de Melo

Proceedings of the Companion Proceedings of the 14th Brazilian Symposium on Software Engineering, 2000

Composição de Fluxo de Controle em Frameworks Java.

Bruno Martins Moutinho, Ana Cristina Vieira de Melo

Proceedings of the Companion Proceedings of the 14th Brazilian Symposium on Software Engineering, 2000

A Lightweight Capability Communication Mechanism.

David Stuart Robertson, Flávio S. Corrêa da Silva, Wamberto Weber Vasconcelos, Ana Cristina Vieira de Melo

Proceedings of the Intelligent Problem Solving, 2000

1999

Why Ontologies Are Not Enough for Knowledge Sharing.

Flávio S. Corrêa da Silva, Jaume Agustí-Cullell, Ana Cristina Vieira de Melo, Wamberto Weber Vasconcelos, David Stuart Robertson

Proceedings of the Multiple Approaches to Intelligent Systems, 1999

Minimising communications of synchronous hardware.

Ana C. V. de Melo

Proceedings of the 6th IEEE International Conference on Electronics, Circuits and Systems, 1999

1995

A foundation for formal reuse of hardware.

Ana Cristina Vieira de Melo, Howard Barringer

Proceedings of the Correct Hardware Design and Verification Methods, 1995

1989

Hipertexto: O Projeto do Sistema H.

Silvio Meira, Judith Kelner, Carlos Eduardo Albuquerque da Cunha, José Martins, Ana C. V. de Melo, Alexandre M. L. de Vasconcelos

Proceedings of the 3rd Brazilian Symposium on Software Engineering, 1989

1988

Links em um Sistema de Hipertexto.

Alexandre M. L. de Vasconcelos, Ana Cristina Vieira de Melo, Silvio Romero Lemos de Meira

Proceedings of the 2nd Brazilian Symposium on Software Engineering, 1988