Ana Cristina Vieira de Melo

Pós-doutorado

Idiomas

Áreas de atuação

Organização de eventos

Participação em eventos

Participação em bancas

Comissão julgadora das bancas

Orientou

Foi orientado por

Produções bibliográficas

• HANAZUMI, SIMONE ; de Melo, Ana C.V. . A Formal Approach to implement java exceptions in cooperative systems. JOURNAL OF SYSTEMS AND SOFTWARE , v. 131, p. 475-490, 2017.

• HANAZUMI, SIMONE ; de Melo, Ana C.V. ; P'S'REANU, CORINA S. . From Test Purposes to Formal JPF Properties. Software Engineering Notes , v. 40, p. 1-5, 2015.

• DA SILVA, P. S. ; DE MELO, A. C. V. . On-the-fly verification of discrete event simulations by means of simulation purposes: Extended version. Simulation (San Diego, Calif.) , v. 89, p. 977-1008, 2013.

• de Melo, Ana C.V. ; SILVEIRA, Paulo . Improving data perturbation testing techniques for Web services. Information Sciences , v. 181, p. 600-619, 2011.

• Pereira, David P. ; de Melo, Ana C.V. . Formalization of an architectural model for exception handling coordination based on CA action concepts. Science of Computer Programming (Print) , v. 75, p. 333-349, 2010.

• da Silva, Paulo Salem ; de Melo, Ana C.V. . Model Checking Merged Program Traces. Electronic Notes in Theoretical Computer Science , v. 240, p. 97-112, 2009.

• MELO, Ana C. V. de ; SANCHEZ, Adilson de Jesus . Software Maintenance Project Delays Prediction using Bayesian Networks. Expert Systems with Applications , v. 34, p. 908-919, 2008.

• de Melo, Ana C.V. . From Active Names to - Rewriting Rules. Electronic Notes in Theoretical Computer Science , Amsterdam, v. 130, p. 169-185, 2005.

• de Melo, Ana C.V. ; MOUTINHO, Bruno M . On the composition of Java frameworks control-flows. Information and Software Technology , v. 46, n.5, p. 301-307, 2004.

• de Melo, Ana C.V. . A Study On The Potential Active Names of $pi;-Agents. Electronic Notes in Theoretical Computer Science , v. 95, n.C, p. 269-286, 2004.

• CORREADASILVA, F ; VASCONCELOS, W ; ROBERTSON, D ; BRILHANTE, V ; de Melo, Ana C.V. ; FINGER, M ; AGUSTI, J . On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions. Knowledge-Based Systems , v. 15, n.3, p. 147-167, 2002.

• de Melo, Ana C.V. ; Barringer, H. . A foundation for Formal Reuse of Hardware. Lecture Notes in Computer Science , v. 987, p. 124-145, 1995.

• MELO, Ana C. V. de ; Moreira, Alvaro (Org.) ; Lucília Camarão (Org.) ; Eliane Pimentel (Org.) . SBMF 2007 - Brazilian Symposium on Formal Methods. Porto Alegre: SBC, 2007. v. 1. 184p .

• SILVA, F. S. C. ; FINGER, Marcelo ; MELO, Ana C. V. de . Lógica para Computação. São Paulo: Thomson Learning, 2006. 244p .

• SILVA, F. S. C. ; MELO, Ana C. V. de . Modelos Clássicos de Computação. São Paulo: Thomson Learning, 2006. 82p .

• MELO, Ana C. V. de ; SILVA, Flávio Soares Corrêa da . Princípios de Linguagens de Programação. 1. ed. São Paulo: Edgard Blücher, 2003. v. 1. 211p .

• MELO, Ana C. V. de ; HAEUSLER, e H (Org.) . Proceedings of IV Workshop on Formal Methods. Rio de Janeiro: , 2001. 150p .

• MELO, Ana C. V. de ; MOREIRA, Anamaria M (Org.) . Proceedings of the Workshop on Formal Methods. , 1999. v. 1. 107p .

• SILVA, Paulo Salem da ; MELO, Ana C. V. de . Towards the Use of Planning Techniques to assemble Component-based Systems. In: Ari D. Klein. (Org.). Computer Software Engineering Research. NY: Nova Science Publishers, 2007, v. , p. 111-141.

• JESUS, JANDISSON SOARES DE ; MELO, ANA CRISTINA VIEIRA DE . Technical Debt and the Software Project Characteristics. A Repository-Based Exploratory Analysis. In: 2017 IEEE 19th Conference on Business Informatics (CBI), 2017, Thessaloniki. 2017 IEEE 19th Conference on Business Informatics (CBI), 2017. p. 444-453.

• de Melo, Ana C. V. ; Corina S. Pasareanu ; HANAZUMI, S. . Towards MC/DC Coverage of Properties Specification Patterns. In: International Colloquium on Theoretical Aspects of Computing, 2016, Cham. Theoretical Aspects of Computing -- ICTAC 2016 - LNCS, 2016. v. 9965. p. 158-175.

• MARTINS, ALEXANDRE L. ; de Melo, Ana C. V. . Can you certify your software to MC/DC?. In: the 1st Brazilian Symposium, 2016, Maringa. Proceedings of the 1st Brazilian Symposium on Systematic and Automated Software Testing - SAST. New York: ACM Press, 2016. p. 1.

• Coelho, F. ; Zemp, R. J. ; de Melo, Ana C. V. . Modelagem de Processos Químicos e Sistemas de Controle como Máquinas de Estados Finitos. In: XXI Congresso Brasileiro de Engenharia Química, 2016, Fortaleza. Anais do COBEQ 2016. São Paulo: ABEQ, 2016.

• HANAZUMI, S. ; de Melo, Ana C. V. . A Classification of Test Purposes Based on Testable Properties. In: Computational Science and Its Applications - {ICCSA} 2015, 2015, Banff. Computational Science and Its Applications - {ICCSA} 2015 - 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings (LNCS), 2015. v. 9155. p. 418-430.

• HANAZUMI, S. ; de Melo, Ana C. V. . On the Testability of Properties Patterns. In: 13th International Conference Software Engineering and Formal Methods, 2015, York. Software Engineering and Formal Methods - 13th International Conference, {SEFM} 2015, York, UK, September 7-11, 2015. Proceedings (LNCS), 2015. v. 9276. p. 148-155.

• JESUS, JANDISSON S. DE ; MELO, ANA C.V. DE . An Architectural Pattern to Implement Business Rules in Information Systems. In: 2015 IEEE 17th Conference on Business Informatics (CBI), 2015, Lisbon. 2015 IEEE 17th Conference on Business Informatics, 2015. v. 2. p. 80-87.

• MARTINS, ALEXANDRE L. ; HANAZUMI, SIMONE ; MELO, ANA C.V. DE . Testing Java Exceptions: An Instrumentation Technique. In: 2014 IEEE 38th International Computer Software and Applications Conference Workshops (COMPSACW), 2014, Vasteras. 2014 IEEE 38th International Computer Software and Applications Conference Workshops, 2014. p. 626-631.

• MARTINS, ALEXANDRE L. ; HANAZUMI, SIMONE ; de Melo, Ana C.V. . Exercising Java Exceptions Using Java Pathfinder and Program Instrumentation. In: Computational Science and Its Applications ? ICCSA 2014, 2014, Guimarães. Lecture Notes in Computer (DOI:10.1007/978-3-319-09144-0_46), 2014. v. 8579. p. 671-682.

• JESUS, J. S. ; de Melo, Ana C.V. . Business Rules: From SBVR to Information Systems. In: International Workshop on Decision Mining & Modeling for Business Processes (DeMiMoP?14), 2014, Eindhoven. Business Process Management Workshops 2014 - LNBIP, 2014. v. 202. p. 489-503.

• HANAZUMI, S. ; MELO, Ana C. V. de ; Corina S. Pasareanu . From Testing Purposes to Formal JPF Properties. In: Java Pathfinder Workshop 2014, 2014, Salt Lake City. Proceedings of Java Pathfinder Workshop 2014, 2014.

• SILVA, Paulo Salem da ; MELO, ANA C.V. DE . An Approach for the Verification of Multi-agent Systems by Formally Guided Simulations. In: 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT), 2013, Atlanta. 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT), 2013. p. 266-273.

• SILVA, Paulo Salem da ; MELO, ANA C.V. DE . Behaviorist Agent Architecture. In: 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT), 2013, Atlanta. 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT), 2013. p. 187.

• HANAZUMI, SIMONE ; DE MELO, ANA C. V. . Generation of Java programs properties from test purposes. In: the 2013 International Symposium, 2013, Lugano. Proceedings of the 2013 International Symposium on Software Testing and Analysis - ISSTA 2013, 2013. p. 362.

• HANAZUMI, S. ; de Melo, Ana C.V. . Coordinating Exceptions of Java Systems: Implementation and Formal Verification. In: 8th International Conference on the Quality of Information and Communications Technology, 2012, Lisboa. Quality Of Information And Communications Technology (QUATIC), 2012, 2012. p. 108-113.

• NUNES, Paulo Roberto de Araújo França ; de Melo, Ana C.V. . Testing the Adherence of Enterprise Web Applications to Transactional Patterns. In: 8th International Conference on the Quality of Information and Communications Technology, 2012, Lisboa. Quality of Information and Communications Technology (QUATC), 2012, 2012. p. 307-312.

• da Silva, Paulo Salem ; de Melo, Ana C.V. . On-The-Fly Verification of Discrete Event Simulations by Means of Simulation Purposes. In: Symposium On Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, 2011, Boston. Proceedings of the 2011 Spring Simulation Multiconference. New York: ACM, 2011. v. 1. p. 1-16.

• Pedro Matiello ; de Melo, Ana C.V. . PiStache: Implementing -Calculus in Scala. In: 14th Brazilian Symposium, SBMF 2011, 2011, São Paulo. Formal Methods: Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers. Berlin: LNCS - Springer, 2011. v. 7021. p. 76-91.

• SILVA, Paulo Salem da ; de Melo, Ana C.V. . A Formal Environment Model for Multi-Agent Systems. In: SBMF - Brazilian Symposium on Formal Methods, 2011, Natal. Formal Methods: Foundations and Applications - Revised Selected Papers. Berlin: LNCS - Springer, 2011. v. 6527. p. 64-79.

• MIYAZAWA, Alvaro Heiji ; SILVA, Paulo Salem da ; MELO, Ana C. V. de . From Z Specifications to Java Implementation and Back. In: Fifth European Conference on Model-Driven Architecture - Traceability Workshop (EMCDA-TW), 2009, Enschede. Fifth European Conference on Model-Driven Architecture - Traceability Workshop (EMCDA-TW). Enschede: ICTI, 2008. p. 49-58.

• SILVEIRA, Paulo ; MELO, Ana C. V. de . Exploring XML Perturbation Techniques for Web Services Testing. In: 9th International Conference on Web Engineering, 2009, San Sebastian. Proceedings of 9th International Conference on Web Engineering. Berlin: Lecture Notes in Computer Science - Springer, 2009. v. 5648. p. 355-369.

• NUNES, Paulo Roberto de Araújo França ; HANAZUMI, S. ; MELO, Ana C. V. de . OConGraX - automatically generating data-flow test cases for fault-tolerant systems. In: FMWeek - 21st IFIP Int. Conference on Testing of Communicating Systems, 2009, Eindhoven. Proceedings of 21st IFIP Int. Conference on Testing of Communicating Systems. Berlin: Lecture Notes in Computer Science - Springer Verlag, 2009. v. 5826. p. 1-12.

• PEREIRA, David Paulo ; MELO, Ana C. V. de . A Formal Architectural Model for Exception Handling Coordination. In: Annual ACM Symposium on Applied Computing, 2008, Fortaleza. Proceedings of the 23rd Annual ACM Symposium on Applied Computing, 2008. v. 1.

• MELO, Ana C. V. de ; NUNES, Paulo Roberto de Araújo França ; XAVIER, K. DA S. . Towards Verification and Testing of Java Programs. In: 23rd Annual ACM Symposium on Applied Computing, 2008, Fortaleza. Proceedings of the 23rd Annual ACM Symposium on Applied Computing. NY: ACM, 2008. v. 1. p. 730-734.

• PEREIRA, David Paulo ; MELO, Ana C. V. de . A formal architectural model for exception handling coordination. In: 23rd Annual ACM Symposium on Applied Computing, 2008, Fortaleza. Proceedings of the 23rd Annual ACM Symposium on Applied Computing. NY: ACM, 2008. v. 1. p. 114-118.

• SILVA, Paulo Salem da ; MELO, Ana C. V. de . Reusing models in multi-agent simulation with software components. In: 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008, Estoril. Proceedings of 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008). Richland: International Foundation for Autonomous Agents and Multiagent Systems, 2008. v. 2. p. 1137-1144.

• XAVIER, K. DA S. ; HANAZUMI, S. ; MELO, Ana C. V. de . Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs. In: SEFM 2008 - Software Engineering and Formal Methods, 2008, Cape Town. SEFM '08: Proceedings of the 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods. Washington: IEEE Computer Society, 2008. p. 181-190.

• SILVA, Paulo Salem da ; MELO, Ana C. V. de . Model Checking Merged Program Traces. In: 11th Brazilian Symposium on Formal Methods, 2008, Salvador. SBMF2008: 11th Brazilian Symposium on Formal Methods. Porto Alegre: SBC, 2008. p. 1-16.

• SILVA, Paulo Salem da ; MELO, Ana C. V. de . A Simulation-Oriented Formalization for a Psychological Theory. In: Fundamental Approaches to Software Engineering (FASE07), 2007, Braga. Lecture Notes in Computer Science, 2007. v. 4422.

• PEREIRA, David Paulo ; MELO, Ana C. V. de . A CSP architectural model for fault-tolerant systems. In: Formal Aspects of Component Software (FACS'07), 2007, Sophia-Antipolis. ENTCS, 2007.

• SILVA, Paulo Salem da ; MELO, Ana C. V. de . Multi-Agent Simulation in Social Computing: Toward Analysis-Oriented Simulators (accepted). In: Engineering Societies in the Agent World (ESAW 2006), 2006, Dublin. Engineering Societies in the Agent World (ESAW 2006), 2006.

• MELO, Ana C. V. de ; SANCHEZ, Adilson de Jesus . Bayesian Networks to Software Maintenance Management. In: SOFSEM 2005: 31st Annual Conference on Current Trends in Theory and Practice of Informatics, 2005, Liptovsk Ján. SOFSEM 2005: Theory and Practice of Computer Science: 31st Conference on Current Trends in Theory and Practice of Computer Science, 2005. v. 3381.

• MESQUITA, Walter ; Augusto Sampaio ; MELO, Ana C. V. de . A Strategy for the Formal Composition of Frameworks. In: IEEE International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM2005), 2005, Koblenz. Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005. p. 404-413.

• SILVA, Paulo Salem da ; MELO, Ana C. V. de . An ontology for mobile agents in the context of formal verification. In: 4th International Conference on ONTOLOGIES, DATABASES, AND APPLICATIONS OF SEMANTICS (ODBASE), 2005, Agia Napa. On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE, 2005. v. 3761. p. 1500-1516.

• NUNES, Paulo Roberto de Araújo França ; MELO, Ana C. V. de . OConGra - Uma Ferramenta para Geração de Grafos de Controle de Fluxo de Objetos. In: 18 Simpósio Brasileiro de Engenharia de Software - Sessão de Ferramentas, 2004, Brasília. Anais do 18 Simpósio Brasileiro de Engenharia de Software, 2004.

• ANDRADE, André Gustavo de ; MELO, Ana C. V. de ; AMORIM, Marcelo M . Um ambiente para especificação e verificação de agentes móveis. In: CLEI - 30TH CONFERENCIA LATINOAMERICANA DE INFORMÁTICA, 2004, Arequipa. Anales da 30TH CONFERENCIA LATINOAMERICANA DE INFORMÁTICA, 2004.

• MELO, Ana C. V. de . Pi-Calculus Rewriting Rules Based on Active Names. In: SBMF2004: 7th Brazilian Symposium on Formal Methods, 2004, Recife. SBMF2004: 7th Brazilian Symposium on Formal Methods, 2004.

• MELO, Ana C. V. de ; MOUTINHO, Bruno M . On the Composition of Java Frameworks Control-flows. In: 18th Annual ACM Symposium on Applied Computing (SAC 2003)- Software Engineering Track, 2003, Melbourne. Proceedings of the 18th Annual ACM Symposium on Applied Computing - SAC 2003, 2003.

• MELO, Ana C. V. de ; SANCHEZ, Adilson de Jesus . Uso de Redes Bayesianas em um Processo de Manutenção de software (aceito). In: III Jornadas Iberoamericanas de Ingenieria de Software e Ingenieria de Conocimento, 2003, Valdivia. Anales de III Jornadas Iberoamericanas de Ingenieria de Software e Ingenieria de Conocimento, 2003.

• MELO, Ana C. V. de . A study on the Potential Active Names and Verification Techniques. In: VI Workshop de Métodos Formais, 2003, Campina Grande. Proceedings of the VI Workshop of Formal Methods, 2003.

• SILVA, Flávio Soares Corrêa da ; MENESES, Eudênia X ; MELO, Ana C. V. de . Capabilities in Formal Knowledge Coordination for Business Integration. In: 17th Annual ACM Conference on Object-oriented Programming, Systems, Languages and Applications (OOPSLA 2002)- Workshop Semantics of Entreprise II, 2002, Seatle. Proceedings of OOPSLA 2002 - Workshops, 2002.

• MELO, Ana C. V. de ; AMORIM, Marcelo M . Utilizando Técnicas up-to bisimulation para veirifcação em pi-calculus. In: Workshop de métodos formais, 2001, Rio de Janeiro. Workshop de Métodos Formais (WMF'2001), 2001.

• MELO, Ana C. V. de ; TABUTI, Lucy Mari . Um Estudo de um Protocolo de Comunicação para Dispositivos Móveis usando Distributed Join-Calculus. In: Workshop de Métodos Formais, 2001, Rio de Janeiro, 2001.

• MELO, Ana C. V. de ; MENEZES, Paulo Blauth ; WEBER, R F ; HAEUSLER, e H ; CAMARGO, Murilo . Plano Pedagógico para Ciência da Computação (CC1). In: Curso de Qualidade - SBC, 2001, Fortaleza. Curso de Qualidade -SBC, 2001.

• SILVA, F. S. C. ; MELO, Ana C. V. de ; VASCONCELOS, W. W. ; AGUSTI, J. ; ROBERTSON, D. . A lightwight capability communication mechanism. In: International Conference on Industrial and Engineering Applications of Artificial Intelligence, 2000, New Orleans. Lecture Notes in Computer Science, 2000. v. 1821. p. 660-670.

• MELO, Ana C. V. de ; MOUTINHO, Bruno M . Composição de Fluxos de Controle em Fameworks Java. In: Simpósio Brasileiro de Engenharia de Software - Workshop de Teses, 2000, João Pessoa. Simpósio Brasileiro de Engenharia de Software - Workshops, 2000.

• MELO, Ana C. V. de ; TABUTI, Lucy Mari . Especificação de um protocolo de comunicação comercial em Join-Calculus. In: Simpósio Brasileiro de Engenharia de Software - Workshop de Teses, 2000, João Pessoa. Simpósio Brasileiro de Engenharia de Software - Workshops, 2000.

• SILVA, Fávio Soares Corrêa da ; MELO, Ana C. V. de ; ARAÚJO, Roberto C de ; AGUSTI, J. . Knowledge sharing between a probabilistic logic and bayesian network. In: Eighth International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems (IPMU 2000), 2000, Madrid. Proceedings of Eighth International Conference IPMU, 2000. v. 3.

• SILVA, F. S. C. ; VASCONCELOS, W. W. ; MELO, Ana C. V. de ; AGUSTI, J. ; ROBERTSON, D. . Why Ontologies are not Enough for Knowledge Sharing. In: 12th Int. Conference on Industrial and Engineering Applications on Artificial Intelligence and Expert Systems, 1999, Cairo. IEA/AIE '99. Cairo - Egito: Springer-Verlag, 1999.

• MELO, Ana C. V. de . Minimising Communications of Synchronous Hardware. In: 6th IEEE International Conference on Electronics, Circuits and Systems, 1999, Paphos. Proceedings os ICECS'99. Paphos - Cyprus: IEEE Computer Press, 1999.

• MELO, Ana C. V. de ; Barringer, H. . Reusing Hardware Components with Single-State Processes. In: XII Brazilian Symposium on Integrated Circuit Design, 1999, Natal. Proceedings of SBCCI'99, 1999.

• MELO, Ana C. V. de . On the algebraic reuse of hardware design. In: 1998 IEEE International Symposium on Circuits and Systems, 1998, Monterey. On the algebraic reuse of hardware design, 1998. v. 6. p. 306-310.

• MELO, Ana C. V. de . Process Algebras and Logic; a perspective on formal methods. In: I Workshop de Métodos Formais, 1998, Porto Alegre. Anais do I Wokshop de Métodos Formais. Porto Alegre - RS - Brasil: UFRGS, 1998.

• MELO, Ana C. V. de . Towards Formal Reuse of Hardware Components. In: International Conference on Modelling and Simulation, 1997, Pittsburgh. IASTED/ISMM - Int. Conf. Modeling and Simulation, 1997. p. 447-451.

• MELO, Ana C. V. de ; Barringer, H. . Minimization of Synchronous Processes preserving Bisimulation. In: X Brazilian Symposium on Integrated Circuit Design, 1997, Gramado. X Brazilian Symposium on Integrated Circuit Design. Gramado - RS - Brasil, 1997. p. 125-138.

• MELO, Ana C. V. de ; VASCONCELOS, A M L ; ALBUQUERQUE, e S ; MARTINS, J F ; KELNER, J ; MEIRA, Silvio . Hipertexto: O projeto do sistema H. In: III Simpósio Brasileiro de Engenharia de Software, 1989, Recife. Anais do III Simpósio Brasileiro de Engenharia de Software. Recife - PE, 1989.

• MELO, Ana C. V. de ; VASCONCELOS, A M L ; MEIRA, Silvio . Links em um sistema de Hipertexto. In: II Simpósio Brasileiro de Engenharia de Software, 1988, Gramado. Anais do II Simpósio Brasileiro de Engenharia de Software, 1988.

• MORAES JR, Hamilton F. ; NISHIDA, Fabia L. ; de Melo, Ana C.V. . Modelling websites elements according to usability aspects. In: 8th International Conference on the Quality of Information and Communications Technology, 2012, Lisbon. Quality of Information and Communications Technology (QUATIC), 2012, 2012. p. 299-302.

• MIYZAWA, Alvaro Heiji ; SILVA, Paulo Salem da ; MELO, Ana C. V. de . Towards Pragmatical Generation of Software from Z Specifications. In: 11th Brazilian Symposium on Formal Methods, 2008, Salvador. SBMF2008: 11th Brazilian Symposium on Formal Methods. Porto Alegre: SBC, 2008. p. 1-8.

• MELO, Ana C. V. de . Specification and Verification of Mobile Agents usign pi-calculus (tutorial). In: VI Workshop on Formal Methods, 2003, Campina Grande. Proceedings of the VI Workshop on Formal Methods, 2003.

• SILVA, Paulo Salem da ; de Melo, Ana C.V. . On-The-Fly Verification of Discrete Event Simulations by Means of Simulation Purposes. Society for Modeling and Simulation International. Transactions , 2013.

• HANAZUMI, S. ; de Melo, Ana C. V. . On the Testability of Properties Patterns. 2015. (Apresentação de Trabalho/Conferência ou palestra).

• MARTINS, ALEXANDRE L. ; HANAZUMI, SIMONE ; de Melo, Ana C.V. . Testing Java Exceptions: an instrumentation technique. 2014. (Apresentação de Trabalho/Congresso).

• de Melo, Ana C.V. . Software Confiável: como garantir a qualidade do software deenvolvido? (palestra convidada). 2012. (Apresentação de Trabalho/Conferência ou palestra).

• MELO, Ana C. V. de . FM Education and Research. 2008. (Apresentação de Trabalho/Simpósio).

• MELO, Ana C. V. de ; SILVA, Paulo Salem da . A Simulation-Oriented Formalization for a Psychological Theory. 2007. (Apresentação de Trabalho/Conferência ou palestra).

• MELO, Ana C. V. de . Brazilian Research on Computer Science. 2007. (Apresentação de Trabalho/Conferência ou palestra).

• MELO, Ana C. V. de . Mobile Agents: Formal Development. 2005. (Apresentação de Trabalho/Seminário).

• MELO, Ana C. V. de . Comitê de Programa do IXX Simpósio Brasileiro de Engenharia de Software. 2005. (Apresentação de Trabalho/Congresso).

• MELO, Ana C. V. de ; SILVA, Paulo Salem da . An Ontology for Mobile Agents in the Context of Formal Verification. 2005. (Apresentação de Trabalho/Conferência ou palestra).

• MELO, Ana C. V. de . Pi-Calculus Rewriting Rules Based on Active Names. 2004. (Apresentação de Trabalho/Congresso).

• MELO, Ana C. V. de . Reutilização de sofware. 2003. (Apresentação de Trabalho/Congresso).

• MELO, Ana C. V. de . Pesquisa em Engenharia de Software. 2003. (Apresentação de Trabalho/Seminário).

• MELO, Ana C. V. de . Projetos de Pesquisa em Desenvolviemnto Formal de Software. 2003. (Apresentação de Trabalho/Seminário).

• MELO, Ana C. V. de . A study on the potential active names of pi-calculus. 2003. (Apresentação de Trabalho/Congresso).

• MELO, Ana C. V. de ; ANDRADE, André Gustavo de ; AMORIM, Marcelo M . Um ambiente para especificação e verificação de agentes móveis (Poster). 2003. (Apresentação de Trabalho/Congresso).

• MELO, Ana C. V. de . On the formal specification and verification of mobile agents. 2000. (Apresentação de Trabalho/Conferência ou palestra).

• MELO, Ana C. V. de . Álgebra de processos e lógica: desenvolvimento formal de sistemas reativos. 1999. (Apresentação de Trabalho/Conferência ou palestra).

• MELO, Ana C. V. de . On the algebraic reuse of hardware design. 1998. (Apresentação de Trabalho/Congresso).

• MELO, Ana C. V. de . Process algebras and logic; a perspective on formal methods. 1998. (Apresentação de Trabalho/Congresso).

• MELO, Ana C. V. de . Towards Formal reuse of hardware components. 1997. (Apresentação de Trabalho/Congresso).

• MELO, Ana C. V. de . Minimisation of Synchronous Processes Preserving Bisimulation. 1997. (Apresentação de Trabalho/Congresso).

• MELO, Ana C. V. de . A foundation for formal reuse of hardware. 1995. (Apresentação de Trabalho/Congresso).

• MELO, Ana C. V. de . Reutilização formal de procesos concorrentes. 1995. (Apresentação de Trabalho/Conferência ou palestra).

• MELO, Ana C. V. de . Reutilização formal de processos concorrentes. 1995. (Apresentação de Trabalho/Conferência ou palestra).

• MELO, Ana C. V. de . Reutilização formal de processos. 1995. (Apresentação de Trabalho/Conferência ou palestra).

• MELO, Ana C. V. de . Reutilização formal de processos. 1995. (Apresentação de Trabalho/Conferência ou palestra).

• SILVA, Flávio Soares Corrêa da ; MELO, Ana C. V. de ; CARNEIRO, M. R. F. . Comunicação entre Computadores e Tecnologias de Redes. São Paulo: Thomson Pioneira, 2002 (tradução).

• SILVA, Flávio Soares Corrêa da ; MELO, Ana C. V. de ; CARNEIRO, M. R. F. . Comunicação entre Computadores e Tecnologias de Redes. São Paulo: Thomson, 2002. (Tradução/Livro).

• SILVA, Fávio Soares Corrêa da ; MELO, Ana C. V. de ; AGUSTI, J. ; ARAÚJO, Roberto C de . Knowledge Sharing between a Probabilistic Logic and Bayesian Network. Sã Paulo: Unversidade de São Paulo - IME, 1999 (relatório técnico - universidade).

• MELO, Ana C. V. de ; SILVA, Fávio Soares Corrêa da ; VASCONCELOS, Wamberto W ; AGUSTI, J. ; ROBERTSON, D. . Why Ontologies are not enough for Knowledge Sharing. São Paulo: Universidade de São Paulo - IME, 1998 (relatório técnico - universidade).

• MELO, Ana C. V. de . Formal Reuse of Hardware Design. Manchester - UK: University of Manchester, 1995 (relatório técnico - universidade).

Outras produções

Projetos de pesquisa

• 2014 - 2015

  Generation of Java PathFinder Properties from Test Purposes (FAPESP: 2013/22317-6), Descrição: This Research Internship Abroad (BEPE) project is part of the Ph.D work under the São Paulo Research Foundation (FAPESP) process: 2011/01928-1. The main objective of the Ph.D work is to help software developers in applying formal verification in practice. To do this, we propose an approach that generates the corresponding source code of the system properties that should be verified to assure the software quality. This code generation will be guided by the test purposes derived from the system specification. The main challenge of the Ph.D research is to synchronize the test purposes at implementation and specification levels in order to automate the properties code generation. To solve this problem, we have decided to make a theoretical work over this synchronization and then apply its results in practice using the Java PathFinder (JPF), a virtual machine that can be used as a model checker to verify Java programs. In this BEPE project, we will focus on the application of the theoretical results in practice: we are going to proceed to the implementation of general properties templates in JPF. These templates will be used to automate the generation of properties code that a system must satisfy to guarantee its quality. And the generated property code will be registered in JPF so that it will be able to check whether the system satisfies this property or not. To validate the implementation of those JPF general properties templates, a set of tests for each property template must be created and executed.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Ana Cristina Vieira de Melo - Coordenador / Simone Hanazumi - Integrante / Corina Pasareanu - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.

• 2013 - Atual

  VVTrans - um Método para Teste e Verificação Formal Transversal ao Desenvolvimento de Sistemas Críticos (FAPESP: 2012/23767-2), Descrição: Para que haja uma garantia de que o software desenvolvido é confiável, atividades de testes e verificação formal devem ser realizadas. Contudo, a viabilidade prática de execução dessas atividades depende de métodos de desenvolvimento que explorem o uso conjunto das técnicas, bem como de ferramentas que auxiliem sua realização, uma vez que a execução de ambas constitui um alto custo para o desenvolvimento do software. Tendo em vista a necessidade de facilitar a realização de testes e verificação formal nos sistemas de software de missão crítica, este projeto se propõe a desenvolver uma metodologia integrada, com apoio de ferramentas computacionais, para a verificação formal e testes desses sistemas, levando em conta a redução dos custos das atividades de Verificação & Validação (V&V). Os principais objetos de estudo que constituem um desafio científico ao projeto é a exploração da complementariedade das duas atividades de forma transversal ao desenvolvimento de sistemas críticos para possibilitar o uso conjunto dessas atividades e avaliar o custo de sua aplicação.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (3) / Doutorado: (3) . , Integrantes: Ana Cristina Vieira de Melo - Coordenador / Nandamudi Lankalapalli Vijaykumar - Integrante / Valdivino Alexandre de Santiago Júnior - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.

• 2011 - 2015

  Geração de Propriedades sobre Programas Java a partir de Casos de Teste, Descrição: Com a presença cada vez maior de sistemas computacionais e novas tecnologias no cotidiano das pessoas, garantir que eles não falhem e funcionem corretamente tornou-se algo de extrema importância. Além de indicar a qualidade do sistema, assegurar seu bom funcionamento é essencial para se evitar perdas, desde financeiras até de vidas. Uma das técnicas utilizadas para esta finalidade é a chamada verificação formal de programas. A partir da especificação do sistema, descrita numa linguagem formal, são definidas propriedades a serem satisfeitas e que certificariam a qualidade do software. Estas propriedades devem então ser implementadas para uso num verificador, que é a ferramenta responsável por executar a verificação e informar quais propriedades foram satisfeitas e quais não foram, indicando aos desenvolvedores os possíveis locais com código incorreto no sistema. A desvantagem do uso da verificação formal é, além do seu alto custo, a necessidade de haver pessoas com treinamento em linguagens e métodos formais. Ademais, a implementação de propriedades relativas a um sistema em particular para uso num verificador é uma tarefa bastante complexa e de alto custo. Para auxiliar os desenvolvedores na utilização da verificação formal em programas escritos em Java, este trabalho propõe a geração de código de propriedades para uso direto no verificador, a partir de casos de testes derivados dos requisitos formais de sistemas.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Ana Cristina Vieira de Melo - Coordenador / Simone Hanazumi - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.

• 2010 - 2015

  Convênio Acadêmico Internacional - Engenharia de Software e Métodos Formais, Descrição: Este convênio tem como objeto a cooperação acadêmica através do intercâmbio de docentes e pesquisadores, bem como de estudantes de pós-graduação entre o grupo de Engenharia de Software e Métodos Formais da USP (São Paulo) e o Laboratoire de Recherche en Informatique (LRI) da Université Paris-Sud 11. A colaboração proposta tem como objetivo principal o desenvolvimento conjunto de pesquisas científicas em tópicos relacionados ao desenvolvimento formal de sistemas de software, dentre os quais teste e verificação formal de sistemas. Dentro desta área de pesquisa, em particular, definimos como projeto inicial: ?Verificação de sistemas distribuídos e móveis orientado por informação de simulação e escolha estatística de testes?. No âmbito deste projeto, o grupo de Engenharia de Software e Métodos Formais da USP (São Paulo) tem desenvolvido técnicas de verificação e simulação de sistemas distribuídos e móveis, enquanto o Laboratoire de Recherche en Informatique (LRI) da Université Paris-Sud 11 tem aplicado métodos estatísticos para a escolha de conjuntos de testes relevantes. Desta forma, a colaboração propiciará o desenvolvimento de métodos estatísticos para a escolha de informação de simulação dos sistemas distribuídos e móveis que sejam relevantes à verificação de propriedades sobre tais sistemas. (Proc. 08.1.01153.45.4). , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Ana Cristina Vieira de Melo - Coordenador / Marie-Claude Gaudel - Integrante., Financiador(es): Université Paris-Sud XI - Cooperação / Universidade de São Paulo - Cooperação., Número de produções C, T & A: 2 / Número de orientações: 1

• 2010 - 2011

  Avaliação da Usabilidade de Sistemas Web, Descrição: A cada dia a internet vem sendo mais utilizada pelas empresas para divulgar seus produtos, conhecer melhor ou conquistar mais clientes. Com o surgimento da WEB 2.0 bem como a facilidade de acesso a banda larga, cada vez mais usuários colaboram gerando conteúdo na web. O sucesso de um projeto web depende muito da aceitação dos usuários que o utilizam. Métodos de avaliação de usabilidade têm sido empregados para garantir uma boa qualidade desses produtos. Esse trabalho de pesquisa propõe um estudo e comparação dos métodos para avaliação de usabilidade para a WEB 2.0.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Ana Cristina Vieira de Melo - Coordenador / Hamilton Fernandes de Moraes Junior - Integrante., Financiador(es): Serasa-Experian Fundação de Apoio à Pesquisa - Bolsa.

• 2009 - 2011

  A methodology and related technology for multi-agent simulation, Descrição: Multi-agent systems are useful to model complex systems in which the entities to be studied can be decomposed into several interacting pieces called agents. Human societies, computer networks, neural tissue and cell biology are examples of systems that can be seen from this perspective. There are a number of ways that such modelling can be done, ranging from purely formal approaches to entirely experimental ones. Our work, which is situated between these two extremes, focuses on employing simulation in order to study such multi-agent models. That is, we specify the agents as computer programs and run interesting scenarios in a simulator, hoping to learn something about the model after several simulations. As one would expect, simple simulation approaches of this kind are already in use nowadays. However, they are also rather naive with respect to automated analysis of simulation results. Typically, one merely runs the simulation several times and collect statistics about some variables. Clearly, though, as the simulation runs in a computer and is specified as a program, it must be possible to perform many kinds of automated analyses beyond such simple statistics compilation. Our work, thus, focuses on this issue: what kind of algorithms, theories and software infrastructure are required in order to have a simulator capable of helping an experimenter discover useful information about a simulation model. We believe that many ideas and techniques from the Formal Methods and Software Testing communities can be successfully adapted to this context. The crucial insight here is that simulations can be seen as incomplete explorations of state-spaces, and as such we can hope, for example, to apply approximate versions of Model Checking and other techniques of automated reasoning. To fulfill this vision, we intend to develop both the necessary theory and its implementation as a simulator. We expect, thus, to create a technology that can signific. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Ana Cristina Vieira de Melo - Coordenador / Paulo Salem da Silva - Integrante / Marie-Claude Gaudel - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa.Número de orientações: 1

• 2009 - 2010

  Web Services confiáveis - Um estudo sobre os problemas atuais, Descrição: Aplicativos Web Services oferecem serviços através de uma rede e são cada vez mais utilizados para integrarem sistemas e soluções das mais variadas complexidades. Os Web Services estão sendo cada vez mais usados em sistemas altamente complexos, principalmente com a chegada da web 2.0. Em alguns cenários com maior criticidade, a confiança no Web Service passa a ser um fator de fundamental importância. Atualmente, uma das suas principais características é o fato de que sua comunicação é feita em um ambiente com baixa confiabilidade, como a Internet, cujos protocolos de comunicação nem sempre provêm as garantias necessárias de funcionamento correto. De fato, isso é uma barreira que impede que empresas invistam em aplicativos críticos que dependam de integração com Web services. Com o objetivo de garantir um serviço de qualidade, a comunidade acadêmica e até mesmo a indústria têm despendido um grande esforço para definir modelos de Qualidade de Serviço especificamente para Web Services, e estudar alternativas para o problema de forma a aumentar a confiabilidade nos serviços oferecidos por eles. Estudar a fundo uma possível solução requer conhecimento sobre as diversas alternativas já pesquisadas e sobre as tendências tecnológicas que prometem ajudar a suprir as atuais necessidades. Assim, a proposta do presente estudo é analisar os principais problemas relacionados à confiabilidade de Web Services, com o objetivo de obter as informações necessárias para prover subsídios de como implementar soluções adequadas a situações específicas. Além disso, o estudo pode servir como referência para que sejam pesquisadas novas soluções.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Ana Cristina Vieira de Melo - Coordenador / Paulo Roberto de Araújo França Nunes - Integrante., Financiador(es): Serasa-Experian Fundação de Apoio à Pesquisa - Bolsa.Número de orientações: 1

• 2008 - 2010

  Ambiente Integrado para Verificação e Teste da Coordenação de Componentes Tolerantes a Falhas, Descrição: Com o crescimento e popularização do mercado de componentes, muitos fornecedores de software têm se especializado no desenvolvimento e comercialização de componentes que atendam às necessidades específicas dos desenvolvedores de sistemas. Estes componentes são mais conhecidos como Commercial-Off-The-Shelf . Entretanto, a montagem de sistemas corporativos que sejam confiáveis e tolerantes a falhas, a partir da integração de componentes comerciais, tem-se mostrado uma atividade relativamente complexa. Garantir que esta integração não falhe passou a ser algo imprescindível. Com o objetivo de definir quais requisitos são necessários para estabelecer um bom teste do software, definem-se os critérios de teste. Mesmo considerando o direcionamento da escolha de conjuntos de testes a serem realizados a partir dos critérios, tais conjuntos são, na sua maioria, ainda muito complexos. Uma outra abordagem para garantir o funcionamento do software como inicialmente especificado, são as técnicas de verificação formal de programas, as quais garantem que os programas funcionam de acordo com a especificação ou atendem a um conjunto de propriedades relevantes. A viabilidade prática de testes de software depende de mecanismos e ferramentas que auxiliem esta atividade, de forma a automatizar a geração de casos e dados de testes a serem aplicados. Por outro lado, a aplicação prática de verificadores formais em linguagens de programação depende da predefinição de propriedades, já que os "desenvolvedores" de software, em geral, não possuem treinamento adequado para definir novas propriedades. Além disso, faz-se necessário o uso conjunto de ferramentas de ambas as atividades para que sejam exploradas suas complementariedades. Este projeto de Mestrado se propõe a desenvolver um ambiente integrado para a verificação e teste de protocolos para a coordenação do comportamento execepcional de componentes.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Ana Cristina Vieira de Melo - Coordenador / Simone Hanazumi - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.Número de orientações: 1

• 2008 - 2009

  Construção de Componentes Concorrentes na Abordagem de Desenvolvimento Baseado em Modelos Formais, Descrição: Component-based software is one of the reuse approaches successfully used. The task of developing software components can be seen from two different perspectives. One that would take care of building components useful in many different situations, and another that would develop the final software using these reusable components. Naturally, technology alone does not guarantee the creation of reusable components. Truly component-oriented approaches require methods that can define what kind of entities the components must represent, how they are composed and how such compositions are to be employed. Having all this together to end up with a set of components easily built and that can be reused in an appropriate way is not very straightforward. To make components construction more cost-effective and of a better quality, the model-driven development can be adopted. In this case, a design model language is required for components design, together with a code generation mechanism. Booster is a design language developed at the University of Oxford (UK) for components construction via code generation. It is an object-oriented language based on formal methods, namely B and Z, that is actually able to generate components under the contexts of sequential composition. In practice, however, component-based software naturally encompass contexts in which components are concurrently composed instead of purely sequential. This project is about a study on how to improve the model-driven components development with concurrent composition. From a theoretical point-of-view, a study on the abstraction level for specifying, through formal means, the required and provided interfaces of components must be carried on to end up with a model from which programs code can be generated. Also, mechanisms for components orchestration in the context of concurrent composition must be developed in order to provide an architecture and a corresponding protocol to coordi. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Ana Cristina Vieira de Melo - Coordenador / Jim Davies - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa.

• 2007 - 2009

  Formalização da Orquestração de Componentes Tolerantes a Falhas, Descrição: Com a popularização das redes de computadores e dos gerenciadores de banco de dados, os sistemas de informação tornaram-se elementos essenciais de suporte a processos de negócio de empresas fornecedoras de serviços indispensáveis à sociedade, tais como automação bancária e telefonia. Esses sistemas modernos são também considerados de missão crítica pois qualquer falha pode provocar, além de prejuízos financeiros, desgastes na imagem e reputação da empresa envolvida. A utilização de componentes na estruturação desses sistemas promove maior qualidade, confiabilidade e flexibilidade ao produto e agiliza o processo de desenvolvimento. Entretanto, para que estes benefícios sejam totalmente observados, é fundamental que os provedores de componentes projetem-nos com especificações precisas, completas e consistentes. Uma estratégia para a especificação de componentes tolerantes a falhas é informar a ocorrência de erros através de exceções e realizar a recuperação dos mesmos por rotinas de tratamento correspondentes. Contudo, o uso de notações precisas para representar os componentes tolerantes a falhas contribuem mas não são o suficiente para obtermos sistemas confiáveis. A falta de mecanismos adequados para a integração de componentes pode gerar comportamentos inesperados em sistemas construídos a partir da composição de componentes. Da mesma forma, a integração dos comportamentos referentes ao tratamento de falhas dos componentes também podem proporcionar comportamentos inesperados se não forem coordenados adequadamente. Este projeto tem como objetivo principal aprofundar os estudos e desenvolver mecanismos para a integração adequada (através de métodos formais) de componentes, tanto para o comportamento normal quanto para o associado ao tratamento de falhas. CNPq - Edital MCT/CNPq/CT-INFO no 07/2007 (Proc. 551038/2007-1). , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (3) . , Integrantes: Ana Cristina Vieira de Melo - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2005 - 2007

  Um Método de Desenvolvimento e Testes para Sistemas Baseados em Componentes com Tratamento de Exceções, Descrição: A disseminação de sistemas computacionais em atividades críticas tornou a confiabilidade uma característica indispensável a esses sistemas. Essa confiabilidade é obtida através de técnicas de tolerância a falhas, que aumentam a complexidade do desenvolvimento. Para auxiliar a construção de sistemas tolerantes a falhas, esse projeto de pesquisa propõe um método de desenvolvimento baseado em componentes que guiará tanto as fases de desenvolvimento quanto os testes, paralelizando essas atividades. Número FAPESP: 04/10663-8. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Ana Cristina Vieira de Melo - Integrante / Eliane Martins - Integrante / Cecília M F Rubira - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.

• 2003 - 2005

  CCC-AHIA Cooperação e Compartilhamento de Conhecimento entre Agentes Heterogêneos Inteligentes e Autônomos, Descrição: Estudo sobre cooperação entre agentes autônomos híbridos.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Ana Cristina Vieira de Melo - Integrante / Flávio Soares Correa da Silva - Coordenador / Leliane Barros - Integrante / Renata Wasserman - Integrante / Marcelo Finger - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.

• 2002 - 2006

  CooPiTools - Cooperation among Pi-calculus Tools, Descrição: Pi-calculus é uma das teorias pioneiras sobre agentes móveis. Além do esforço na construção das teorias, foram desenvolvidas também ferramentas de suporte ao uso das mesmas. Existem atualmente algumas ferramentas para verificação formal de processos concorrentes e agentes móveis, tanto para pi-calculus quanto para algumas outras teorias. Cada uma dessas ferramentas fornece serviços específicos para os quais elas foram concebidas. Algumas verificam se um dado modelo concorrente preserva algumas propriedades, enquanto outras verificam a equivalência entre modelos distintos. Apesar de todos os esforços, vários desafios ainda persistem na construção de ferramentas: o desenvolvimento de técnicas eficientes para a verificação de agentes móveis, construir ferramentas de suporte à especificação e verificação que sejam de fácil uso por usuários comuns, diminuição do esforço na construção de ferramentas e desenvolvimento de novas técnicas que abranjam classes de problemas não tratados atualmente. Considerando a diminuição do esforço de construção de novas ferramentas, um dos objetivos atuais na área de verificação formal é o compartilhamento de serviços entre ferramentas distintas através da sua integração. Este projeto de pesquisa tem como objetivo a integração das ferramentas de verificação para agentes móveis descritos em pi-calculus. Dessa forma, não há a necessidade de reimplementar todos os serviços requisitados em um único verificador, mas estabelecer comunicação entre verificadores capazes de fornecer os requisitos desejados.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (3) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Ana Cristina Vieira de Melo - Coordenador., Número de orientações: 3

• 1999 - 2000

  MAC Multimídia - Material Didático para Dsiciplinas de Introdução à Computação, Descrição: CAPES - Proin Produção de material didático para ensino à distância da disciplina introdutória de computação. O objetivo principal do projeto é a produção de um software básico de auxílio ao estudo de exercícios introdutórios de programação. Este auxilia o entendimento e direciona a soluções de problemas propostos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Ana Cristina Vieira de Melo - Integrante / Alan M Durham - Integrante / Dilma M da Silva - Integrante / Fávio Soares Corrêa da Silva - Integrante / Carlos Eduardo Ferreira - Integrante / Cristina G Fernandes - Integrante / José Augusto Soares - Integrante / José Coelho P Júnior - Integrante / Routo Terada - Coordenador., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.

• 1998 - 2002

  DECaFf-KB - Distributed Environment for Cooperation among Formalisms for Knowledge Bases, Descrição: Vários sistemas baseados em conhecimento foram desenvolvidos até o presente momento. Cada um deles é especializado para responder a um conjunto de questões dados a informação e mecanismos de construção de conhecimento inerentes aos mesmos. Contudo, para responder a questões mais elaboradas, precisams muitas vezes da ação conjunta de vários desses sistemas especialistas. Este projeto é um estudo de como integrar sistemas baseados em conhecimento para que questões que envolvam conhecimentos provenientes de mais de um sistema sejam respondidas. Este estudo é de caráter teórico e prático.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Ana Cristina Vieira de Melo - Coordenador / JAUME AGUSTI - Integrante / DAVID ROBERTSON - Integrante / Flávio Soares Corrêa da Silva - Integrante / Marcelo Finger - Integrante / Wamberto W Vasconcelos - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro / British Council Uk - Auxílio financeiro.

• 1998 - 2001

  SIDAM - Sistema de Informações Distribuídas de Agentes Móveis, Descrição: Os sistemas de agentes móveis têm-se expandido no mercado, dado o uso extensivo de dispositivos móveis, tais como: telefones celulares, PDAs e Notebooks. Os sistemas computacionais para a troca de informações entre tais dispositivos é aind um objeto de estudo. O projeto SIDAM (Sistema de Informações Distribuídas de Agentes Móveis) está centrado no desenvolvimento de técnicas e ferramentas de suporte a sistemas de informação com agentes móveis. Uma das preocupações principais é o fornecimento de serviços aos dispositivos móveis de forma segura e que atendam às necessidades da nova tecnologia. Com o objetivo de fornecer serviços confiáveis aos agentes móveis, este projeto estuda técnicas formais para agentes móveis. Estes estudos vão desde o estudo de teorias e linguagens que dêem suporte à especificação, quanto ao desenvolvimento de novas técnicas de verificação formal de agentes móveis.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Ana Cristina Vieira de Melo - Integrante / Flávio Soares Corrêa da Silva - Integrante / Marcelo Finger - Integrante / Siang Song - Coordenador / Markus Endler - Integrante / Alan M Durham - Integrante / Alfredo G vel Lejbman - Integrante / Francisco R Reverbel - Integrante / Dilma M da Silva - Integrante / Hernan E Astudillo - Integrante / Kunio Okuda - Integrante / Marco Dimas Gubitoso - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.

• 1998 - Atual

  Ambiente Java baseado em Reutilização, Descrição: A abordagem de desenvolvimento de sistemas computacionais orientado a objetos tem reutilização como princípio, desde projeto à codificação. Este projeto de pesquisa tem como objetivo principal dar suporte à reutilização de projetos e código de sistemas desenvolvidos na linguagem Java. Na reutilização de projeto, a pesquisa está centrada no desenvolvimento de técnicas de suporte à reutilização de "frameworks" Java. Estas técnicas vão desde classificação de busca de framewors, até a composição de frameworks existentes para a construção de novos frameworks. Como os frameworks são componentes que embutem tanto design quanto código, a reutilização dos mesmos proporciona também a reutilização de código. Contudo, aém das técnicas de para a reutilização de frameworks, este projeto também desenvolve técnicas de classificação e busca de classes Java. Outro problema fundamental no desenvolvimento e reutilização de sistemas orientados a objetos diz respeito ao teste, dada a dificuldade de sua execução. Este projeto propõe ainda um estudo da viabilidade do uso de verificação formal de alguma propriedades de sistemas desenvolvidos na linguagem Java para diminuir o esforço de teste do sistema.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (4) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Ana Cristina Vieira de Melo - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.Número de orientações: 2

Projetos de desenvolvimento

• 2014 - 2015

  De finiçãoo de novas abordagens de an álise de e ficiênncia de suites de teste, Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Ana Cristina Vieira de Melo - Coordenador / Valdivino Alexandre de Santiago Júnior - Integrante / Alander Pereira dos Santos - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.Número de orientações: 1

• 2014 - 2014

  Geração de requisitos de teste para sistemas espaciais (FAPESP: 2013/25309-4), Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Ana Cristina Vieira de Melo - Coordenador / Martins, Alexandre Locci - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa., Número de produções C, T & A: 4 / Número de orientações: 1

• 2013 - 2015

  Estudo comparativo entre modelos de teste e verificação, Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Ana Cristina Vieira de Melo - Coordenador / da Silva, Paulo Salem - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.Número de orientações: 1

• 2014 - 2015

  De finiçãoo de novas abordagens de an álise de e ficiênncia de suites de teste, Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Ana Cristina Vieira de Melo - Coordenador / Valdivino Alexandre de Santiago Júnior - Integrante / Alander Pereira dos Santos - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.Número de orientações: 1

• 2014 - 2014

  Geração de requisitos de teste para sistemas espaciais (FAPESP: 2013/25309-4), Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Ana Cristina Vieira de Melo - Coordenador / Martins, Alexandre Locci - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa., Número de produções C, T & A: 4 / Número de orientações: 1

• 2013 - 2015

  Estudo comparativo entre modelos de teste e verificação, Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Ana Cristina Vieira de Melo - Coordenador / da Silva, Paulo Salem - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.Número de orientações: 1

• 2014 - 2015

  De finiçãoo de novas abordagens de an álise de e ficiênncia de suites de teste, Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Ana Cristina Vieira de Melo - Coordenador / Valdivino Alexandre de Santiago Júnior - Integrante / Alander Pereira dos Santos - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.Número de orientações: 1

• 2014 - 2014

  Geração de requisitos de teste para sistemas espaciais (FAPESP: 2013/25309-4), Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Ana Cristina Vieira de Melo - Coordenador / Martins, Alexandre Locci - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa., Número de produções C, T & A: 4 / Número de orientações: 1

• 2013 - 2015

  Estudo comparativo entre modelos de teste e verificação, Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Ana Cristina Vieira de Melo - Coordenador / da Silva, Paulo Salem - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.Número de orientações: 1

• 2014 - 2015

  De finiçãoo de novas abordagens de an álise de e ficiênncia de suites de teste, Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Ana Cristina Vieira de Melo - Coordenador / Valdivino Alexandre de Santiago Júnior - Integrante / Alander Pereira dos Santos - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.Número de orientações: 1

• 2014 - 2014

  Geração de requisitos de teste para sistemas espaciais (FAPESP: 2013/25309-4), Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Ana Cristina Vieira de Melo - Coordenador / Martins, Alexandre Locci - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa., Número de produções C, T & A: 4 / Número de orientações: 1

• 2013 - 2015

  Estudo comparativo entre modelos de teste e verificação, Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Ana Cristina Vieira de Melo - Coordenador / da Silva, Paulo Salem - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.Número de orientações: 1

Prêmios