Pesquisa

Publicações

BOUCHOU, Béatrice; HALFELD FERRARI, Mírian ; LIMA, Maria Adriana Vidigal. A Grammarware for the Incremental Validation of Integrity Constraints on XML Documents under Multiple Updates. Transactions on Large-Scale Data and Knowledge-Centered Systems Volume 6 (2012), LNCS 7600.


BOUCHOU, Béatrice; HALFELD FERRARI, Mírian ; LIMA, Maria Adriana Vidigal. Attribute Grammar for XML Integrity Constraint Validation. 22nd International Conference on Database and Expert Systems Applications - DEXA 2011.


BOUCHOU, Béatrice; HALFELD FERRARI, Mírian ; LIMA, Maria Adriana. Contraintes d'intégrité pour XML. Visite guidée par une syntaxe homogène. TSI. Technique et Science Informatiques, v. 28, p. 331-364, 2009.


BOUCHOU, Béatrice; CHERIAT Ahmed; ALVES, Mírian Halfeld Ferrari; LAURENT, Dominique; LIMA, Maria Adriana; MUSICANTE, Martin A. Efficient Constraint Validation for Updated XML Database. Informatica, v. 31, p. 285-310, 2007. (.pdf)


ABRAO, Maria Adriana; BOUCHOU, Béatrice; ALVES, Mírian Halfeld Ferrari; LAURENT, Dominique; MUSICANTE, Martin Alejandro. Vérification incrémentale des contraintes d'intégrité en XML. In: Premières Journées Informatique de la Région Centre, 2005 (JIRC'2005), Blois. (Slides)


ABRAO, Maria Adriana; BOUCHOU, Béatrice ; LAURENT, Dominique ; ALVES, Mírian Halfeld Ferrari ; MUSICANTE, Martin Alejandro . Incremental Constraint Checking for XML Documents. In: International XML Database Symposium - XSym04, 2004, Toronto. Lecture Notes in Computer Science LNCS. Berlin : Springer-Verlag, 2004. v. 3186. p. 112-127. (.pdf)


ABRAO, Maria Adriana; RAYEL, F.; Abrão, I. C. Questcomp: Ferramenta Para Avaliação De Aprendizado à Distância. In: World Congress on Engineering and Technology Education (WCETE), 2004, Santos - SP - Brasil.


ABRAO, Maria Adriana; ABRAO, I. C. ; RAYEL, F. Questcomp: Ferramenta Via Web Para Fixação E Avaliação Da Aprendizagem. In: II Workshop de Educação em Computação e Informática do Estado de Minas Gerais (WEIMIG), 2003, Poços de Caldas - MG - Brasil.


ABRAO, Maria Adriana ; RAYEL, F. ; ABRAO, I. C. Questcomp Ambiente Via Web Para Auxílio Na Avaliação De Ensino-aprendizagem à Distância. In: XXIX Conferencia Latinoamericana de Informática (CLEI), 2003, La Paz, Bolivia.


ABRAO, Maria Adriana V. L. ; BOUCHOU, Béatrice; LAURENT, Dominique; ALVES, Mírian Halfeld Ferrari. Updating XML Data: The Constraints Propagation. In: Sixth Annual Meeting on Health, Science, and Technology, 2002, Tours, France: Université de Tours.


ABRAO, Maria Adriana; ABRAO , I. C.; GONÇALVES, M. L.; BARRÉRE, E.; VILELA, M. S. C.; TEIXEIRA, C. Programa de apoio computacional ao ensino: aspectos computacionais. In: XXV Conferência Latino Americana de Informática, 1999, Assunção - Paraguai.


ABRAO, I. C.; ABRAO, Maria Adriana ; GONÇALVES, M. L.; BARRÉRE, E.; VILELA, M. S. C.; TEIXEIRA, C. Ferramenta para Elaboração e Composição de Material Didático Multimídia com Sincronização Intermídia. In: IX Simpósio Brasileiro de Informática na Educação, 1998, Fortaleza.


LIMA, Maria Adriana V.; BARRÉRE, T. S.; PRADO, A. F.; COUTO, A. C. Ambiente CASE com Múltiplas Visões dos Requisitos e Implementação Automática utilizando a Máquina Draco. In: XI Simpósio Brasileiro de Engenharia de Software, 1997, Fortaleza.


LIMA, Maria Adriana V.; BARRÉRE, T. S.; PRADO, A. F.; COUTO, A. C. Ferramenta CASE Orientada a Objetos com Múltiplas Visões e Implementação Automática. In: XXIII Conferência Latino Americana de Informática, 1997, Valparaíso.


COUTO, A. C.; PRADO, A. F.; LIMA, Maria Adriana V.; BARRÉRE, T. S. ToolRC: Ferramenta CASE Orientada a Objetos. In: Workshop de Ferramentas do XI Simpósio Brasileiro de Engenharia de Software, 1997, Fortaleza.


KIRNER, T. G.; PRADO, A. F.; LIMA, Maria Adriana V.; GRATÃO, R.C. Ambiente para Representação de Múltiplas Visões de Requisitos: O Metamodelo e uma Linguagem de Transformação. In: X Simpósio Brasileiro de Engenharia de Software, 1996, São Carlos.