Daniela da Cruz

Publications

• Assertion-based slicing and slice graphs (extended version)
  Daniela da Cruz, Pedro Rangel Henriques, and Jorge Sousa Pinto.
  Formal Aspects of Computing. (to appear)
  
• Visualizing and analyzing the quality of XML documents [PDF] [BibTeX]
  Daniela Carneiro da Cruz and Pedro Rangel Henriques.
  Journal of Universal Computer Science, 17(1):126–150, 2011
• GamaPolarSlicer.
  Sérgio Areias, Daniela da Cruz, Pedro Rangel Henriques, and Jorge Sousa Pinto.
  ComSIS – Computer Science an Information Systems Journal, Special Issue on Compilers, Related Technologies and Applications, 8(2):477-499, 2011
• A DSL for PIM Specifications: Design and Attribute Grammar based Implementation
  Ivan Lukovic, Maria João Varanda Pereira, Nuno Oliveira, Daniela da Cruz, Pedro R. Henriques
  Computer Science and Information Systems, Vol. 8, No. 2. (May 2011), pp. 379-403.
• Comparing general-purpose and domain-specific languages: An empirical study.
  Marjan Mernik Maria João Varanda Pereira Matej Crepinsek Daniela da Cruz Pedro Rangel Henriques Tomaz Kosar, Nuno Oliveira.
  ComSIS – Computer Science an Information Systems Journal, Special Issue on Compilers, Related Technologies and Applications, 7(2):247-264, 2010
• Code Inspection approaches for Program Visualization" | Acta Electrotechnica et Informatica, Vol. 9, p. 32-42, | September, 2009
• Program Comprehension for Domain-Specific Languages | (invited paper) Maria João Varanda Pereira, Marjan Mernik, Daniela da Cruz, and Pedro Rangel Henriques | Journal on Computer Science and Information Systems | December 2008, Volume 2.


• Integration of the ST Language in a Model-Based Engineering Environment for Control Systems - An Approach for Compiler Implementation | Elisabete Ferreira, Rogério Paulo, Daniela da Cruz, and Pedro Rangel Henriques | Journal on Computer Science and Information Systems | December 2008, Volume 2.


• ALMA versus DDD | Daniela da Cruz, Pedro Rangel Henriques and Maria João Varanda Pereira | Journal on Computer Science and Information Systems | December 2008, Volume 2.


• Constructing Program Animations Using A Pattern-Based Approach | Daniela da Cruz, Maria João Varanda Pereira, Pedro Rangel Henriques | Journal on Computer Science and Information Systems | December, 2007.


• Specifying Languages Using Aspect-oriented Approach: AspectLISA | Damijan Rebernak, Marjan Mernik, Pedro Rangel Henriques, Daniela da Cruz and Maria Joao Varanda Pereira | Journal of Computing and Information Technology, Pages (343-350), Volume 14, Number 4 | December, 2006.

• Contract-based slicing.
  Daniela da Cruz, Pedro Rangel Henriques, and Jorge Sousa Pinto
  In B. Steffen, editor, Proceedings of the 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'10). Springer Verlag
• Assertion-based slicing and slice graphs. [BiBTex]
  José Barros, Daniela da Cruz, Pedro Rangel Henriques, and Jorge Sousa Pinto.
  In J. L. Fiadeiro and S. Gnesi, editors, Proceedings of the eighth IEEE International Conference on Software Engineering and Formal Methods (SEFM'10). IEEE
• An attribute grammar specification of IIS*case PIM concepts.
  Ian Lukovicc, Maria João Varanda Pereira, Nuno Oliveira, Daniela da Cruz, and Pedro Rangel Henriques.
  In Mirjana Ivanovic, Bernhard Thalheim, Barbara Catania, and Zoran Budimac, editors, Local Proceedings of the Fourteenth East-European Conference on Advances in Databases and Information Systems (ADBIS2010), Novi Sad, Serbia
• Contract-based slicing helps on safety reuse.
  Sérgio Areias, Daniela da Cruz, and Jorge Sousa Pinto.
  In ICPC ’10: Proceedings of the 2010 IEEE 18th International Conference on Program Comprehension, pages 62–63, Washington, DC, USA, 2010. IEEE Computer Society
• Influence of synchronized domain visualizations on program comprehension.
  Nuno Oliveira, Maria João Varanda Pereira, Daniela Carneiro da Cruz, and Mario M. Beron.
  Proceedings of International Conference on Program Comprehension (ICPC'2010), pages 192–195, 2010
• Svs, bors, svsi: Three strategies to relate problem and program domains.
  Mario M. Beron, Maria João Varanda Pereira, Nuno Oliveira, and Daniela Carneiro da Cruz.
  Proceedings of International Conference on Program Comprehension (ICPC'2010), pages 60–61, 2010
• GamaSlicer, an online laboratory for program verification and analysis
  Daniela da Cruz, Pedro Rangel Henriques, and Jorge Sousa Pinto.
  In Proceedings of Language Descriptions Tools and Applications - LDTA, pages 1-8, 2010
• Exploring, Visualizing and Slicing the Soul of XML Documents
  Daniela da Cruz, Pedro Rangel Henriques
  to be published | Sierre, Switzerland, March 22-26, 2010.
  
• Applying Program Comprehension Techniques to Karel Robot Programs
  Nuno Oliveira, Pedro Rangel Henriques, Daniela da Cruz, Maria João Varanda Pereira, Marjan Mernik, Tomaz Kosar, Matej Crepinsek
  In Proceedings of the 2nd Workshop on Advances in Programming Languages (WAPL'2009) | Mragowo --- Poland, October 12-14, 2009.
  
• Influence of domain-specific notation to program understanding
  Tomaz Kosar, Marjan Mernik, Matej Crepinsek, Pedro Rangel Henriques, Daniela da Cruz, Maria João Varanda Pereira, Nuno Oliveira
  In Proceedings of the 2nd Workshop on Advances in Programming Languages (WAPL'2009) | Mragowo --- Poland, October 12-14, 2009.
  
• VisualLISA: Visual Programming Environment for Attribute Grammars Specification (PDF)
  Nuno Oliveira, Pedro Rangel Henriques, Daniela da Cruz, Maria João Varanda Pereira
  In Proceedings of the 2nd Workshop on Advances in Programming Languages (WAPL'2009) | Mragowo --- Poland, October 12-14, 2009.
  
• Visualization of Domain-Specific Programs’ Behavior (PDF)
  Nuno Oliveira, Maria João Varanda Pereira, Daniela da Cruz and Pedro Henriques
  5th IEEE International Workshop on Visualizing Software for Understanding and Analysis | Edmonton - Canada, September 25-26, 2009.
  
• Domain Specific Languages: A Theoretical Survey (PDF)
  Nuno Oliveira, Maria João Varanda Pereira, Pedro Rangel Henriques, Daniela da Cruz
  In Proceedings of the 3rd Compilers, Programming Languages, Related Technologies and Applications (CoRTA'2009) | Lisbon --- Portugal, September 10-11, 2009.
  
• VisualLISA: A Domain Specific Visual Language for Attribute Grammars (PDF)
  Nuno Oliveira, Maria João Varanda Pereira, Pedro Rangel Henriques, Daniela da Cruz, Bastian Cramer
  In Proceedings of the 3rd Compilers, Programming Languages, Related Technologies and Applications (CoRTA'2009) | Lisbon --- Portugal, September 10-11, 2009.
  
• Comparison of XAML and C\# Frorms using Cognitive Dimensions Framework (PDF)
  Marjan Mernik, Tomaz Kosar, Matej Crepinsek, Pedro Rangel Henriques, Daniela da Cruz, Maria João Varanda Pereira, Nuno Oliveira
  In Proceedings of the 3rd Compilers, Programming Languages, Related Technologies and Applications (CoRTA'2009) | Lisbon --- Portugal, September 10-11, 2009.


• GuessXQ, an inference Web-engine for querying XML documents (PDF)
  Daniela da Cruz, Flávio Xavier Ferreira, Pedro Rangel Henriques, Alda Lopes Gancarski, Bruno Defude
  In Proceedings of the 7th XML: Aplicações e Tecnologias Associadas (XATA'2009) | Lisbon --- Portugal, September 10-11, 2009.


• XAGra - An XML dialect for Attribute Grammars (PDF)
  Nuno Oliveira, Pedro Rangel Henriques, Daniela da Cruz and Maria João Varanda Pereira
  In Proceedings of the 7th XML: Aplicações e Tecnologias Associadas (XATA'2009) | Lisbon --- Portugal, September 10-11, 2009.


• A query-by-example for XML querying (PDF)
  Flávio Xavier Ferreira, Daniela da Cruz, Pedro Rangel Henriques, Alda Lopes Gançarski, Bruno Defude
  4ª Conferência Ibérica de Sistemas e Tecnologias de Informação | Póvoa de Varzim - Portugal, June 17-20, 2009.


• Assessing Databases in .Net: comparing approaches (PDF)
  Daniela da Cruz and Pedro Henriques
  ICEIS --- 11th International Conference on Enterprise Information Systems | Milan - Italy, May 6-10, 2009.


• Code Analysis: Past and Present (PDF)
  Daniela da Cruz, Pedro Henriques and Jorge Sousa Pinto
  OpenCert --- Open Source Software Certification (Satellite Event of ETAPS 2009) | York - United Kingdom, March 28, 2009.


• Evaluation Criteria of Software Visualization Systems used for Program Comprehension | Mario Berón, Daniela Carneiro da Cruz, Maria João Varanda Pereira, Pedro Henriques and Roberto Uzal | Interacção 2008 ---- 3ª Conferência Nacional em Interacção Pessoa-Máquina | Évora - Portugal, October 15-17, 2008.


• Strategies for Program Inspection and Visualization | Daniela da Cruz, Mário Beron, Pedro Rangel Henriques and Maria João Varanda Pereira | CSE ---- International Scientific Conference on Computer Science and Engineering | High Tatras - Stará Lesná- Slovakia, September 24-26, 2008.


• Alma vs DDD | Daniela da Cruz, Pedro Rangel Henriques and Maria João Varanda Pereira | CoRTA --- Compilers, Related Technologies and Applications | Bragança - Portugal, July 11, 2008.


• Properties Preservation during Transformation (short paper) | Daniela da Cruz, Jorge Sousa Pinto and Pedro Rangel Henriques | CoRTA --- Compilers, Related Technologies and Applications | Bragança - Portugal, July 11, 2008.


• Integration of the ST Language in a Model-Based Engineering Environment for Control Systems - An Approach for Compiler Implementation | Elisabete Ferreira, Rogério Paulo, Daniela da Cruz and Pedro Rangel Henriques | CoRTA --- Compilers, Related Technologies and Applications | Bragança - Portugal, July 11, 2008.


• VisualLISA: a Visual Interface for an Attribute Grammar based Compiler-Compiler | Maria João Varanda Pereira, Marjan Mernik, Daniela da Cruz and Pedro Rangel Henriques | CoRTA --- Compilers, Related Technologies and Applications | Bragança - Portugal, July 11, 2008.


• Program Comprehension for Domain-Specific Languages | Maria João Varanda Pereira, Marjan Mernik, Daniela da Cruz and Pedro Rangel Henriques | CoRTA --- Compilers, Related Technologies and Applications | Bragança - Portugal, July 11, 2008.


• How to interconnect operational and behavioral views of web applications | Ruben Fonseca, Daniela da Cruz, Pedro Rangel Henriques and Maria João Varanda Pereira | ICPC --- the sixteenth IEEE International Conference on Program Comprehension | Amsterdam - Netherlands, June 2008.


• Exploring and Visualizing the "alma" of XML Documents | Daniela da Cruz, Pedro Rangel Henriques and Maria João Varanda Pereira | XATA --- XML : Aplicações e Tecnologias Associadas | Évora - Portugal, February 2008.


• Pattern-based programa visualization | Daniela da Cruz, Maria João Varanda Pereira and Pedro Rangel Henriques | WAPL'07 | Wisla, October 2007.


• XLS --- XTDL Laboratory Site (poster) | Daniela da Cruz and Pedro Rangel Henriques | Extreme Markup Languages'07 | Montreal - Canada, August 2007.


• Slicing wxHaskell modules to derive the User Interface Abstract Model (short paper) and poster | Daniela da Cruz and Pedro Rangel Henriques | WAPL'07 | Wisla, October 2007.


• Comparing Generators for Language-based Tools | Daniela da Cruz, Rúben Fonseca, Maria João Varanda Pereira, Mário Béron, Pedro Rangel Henriques | CoRTA'07 | Covilhã - Portugal, July 2007.


• LISS - The Language and the Compiler | Daniela da Cruz, Pedro Rangel Henriques | CoRTA'07 | Covilhã - Portugal, July 2007.


• Como ensinar com mapas de conceitos: duas abordagens complementares | Daniela da Cruz, Sandra Lopes, Pedro Rangel Henriques | Challenges'07 | Braga - Portugal, May 2007.


• XTDL, XML Tool Definition Language | Daniela da Cruz, Pedro Rangel Henriques | XATA - XML: Aplicações e Tecnologias Associadas | Lisboa - Portugal, February 2007.


• Specifying Languages Using Aspect-oriented Approach: AspectLISA | Damijan Rebernak, Marjan Mernik, Pedro Rangel Henriques, Daniela da Cruz and Maria Joao Varanda Pereira | 28th International Conference Information Technology Interfaces | Dubrovnik - Croatia, June 2006.