Daniela da Cruz

Language Processing

PUBLICATIONS

(imported from ORCID)

1) Fonte, D., Boas, I.V., Oliveira, N., Da Cruz, D., Gançarski, A.L., Henriques, P.R., Partial correctness and continuous integration in computer supported education, in CSEDU 2014 - Proceedings of the 6th International Conference on Computer Supported Education, Volume 2 Pages 205-212, conference-paper 2014

2) Martins, V.T., Fonte, D., Henriques, P.R., Da Cruz, D., Plagiarism detection: A tool survey and comparison, in OpenAccess Series in Informatics, Volume 38 Pages 143-158, conference-paper 2014

3) Fonte, D., Da Cruz, D., Gançarski, A.L., Henriques, P.R., A flexible dynamic system for automatic grading of programming exercises, in OpenAccess Series in Informatics, Volume 29 Pages 129-144, conference-paper 2013

4) Pereira, M.J.V., Oliveira, N., Da Cruz, D., Henriques, P.R., Choosing grammars to support Language Processing courses, in OpenAccess Series in Informatics, Volume 29 Pages 155-168, conference-paper 2013

5) Da Cruz, D., Henriques, P.R., Pinto, J.S., Interactive verification of safety-critical software, in Proceedings - International Computer Software and Applications Conference, Pages 519-528, conference-paper 2013

6) Harrison, R., Mernik, M., Greenspan, S., Henriques, P., Da Cruz, D., Menzies, T., Rodriguez, D., 2nd International workshop on realizing artificial intelligence synergies in software engineering (RAISE 2013), in Proceedings - International Conference on Software Engineering, Pages 1543-1544, conference-paper 2013

7) Freitas, J.L., Da Cruz, D., Henriques, P.R., A comment analysis approach for program comprehension, in Proceedings of the 2012 IEEE 35th Software Engineering Workshop, SEW 2012, Pages 11-20, conference-paper 2012

8) Barros, Jose Bernardo, da Cruz, Daniela, Henriques, Pedro Rangel, Pinto, Jorge Sousa, Assertion-based slicing and slice graphs, in Formal Aspects of Computing, Volume 24 Number 2 Pages 217-248, journal-article 2012

9) Barros, J.B., Da Cruz, D., Henriques, P.R., Pinto, J.S., Assertion-based slicing and slice graphs, in Formal Aspects of Computing, Volume 24 Number 2 Pages 217-248, journal-article 2012

10) Fonte, D.M., da Cruz, D., Henriques, P.R., Gancarski, A.L., Guess XQ: A query-by-example approach for XML querying, in Innovations in XML Applications and Metadata Management: Advancing Technologies, Pages 57-76, book 2012

11) Fonte, D., Boas, I.V., Da Cruz, D., Gancarski, A.L., Henriques, P.R., Program analysis and evaluation using QUIMERA, in ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2 ISAS Number SAIC/- Pages 209-219, conference-paper 2012

12) Da Cruz, D., Frade, M.J., Pinto, J.S., Verification conditions for single-assignment programs, in Proceedings of the ACM Symposium on Applied Computing, Pages 1264-1270, conference-paper 2012

13) Lukovic, I., Pereira, M.J.V., Oliveira, N., da Cruz, D., Henriques, P.R., A DSL for PIM specifications: Design and attribute grammar based implementation, in Computer Science and Information Systems, Volume 8 Number 2 Pages 379-403, journal-article 2011

14) Areias, S., da Cruz, D., Henriques, P.R., Pinto, J.S., GammaPolarSlicer, in Computer Science and Information Systems, Volume 8 Number 2 Pages 477-499, journal-article 2011

15) Areias, Sergio, da Cruz, Daniela, Henriques, Pedro Rangel, Pinto, Jorge Sousa, GammaPolarSlicer, in Computer Science and Information Systems, Volume 8 Number 2 Pages 477-499, journal-article 2011

16) da Cruz, D., Henriques, P.R., Visualizing and analyzing the quality of XML documents, in Journal of Universal Computer Science, Volume 17 Number 1 Pages 126-150, journal-article 2011

17) Lukovic, I., Pereira, M.J.V., Oliveira, N., Da Cruz, D., Henriques, P.R., An attribute grammar specification of IIS*case PIM concepts, in CEUR Workshop Proceedings, Volume 639 Pages 110-124, conference-paper 2010

18) Barros, J.B., Da Cruz, D., Henriques, P.R., Pinto, J.S., Assertion-based slicing and slice graphs, in Proceedings - Software Engineering and Formal Methods, SEFM 2010, Pages 93-102, conference-paper 2010

19) Kosar, T., Oliveira, N., Mernik, M., Pereira, M.J.V., Crepinšek, M., da Cruz, D., Henriques, P.R., Comparing general-purpose and domain-specific languages: An empirical study, in Computer Science and Information Systems, Volume 7 Number 2 Pages 247-264, journal-article 2010

20) Da Cruz, D., Henriques, P.R., Sousa Pinto, J., Contract-based slicing, in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Volume 6415 LNCS Number PART 1 Pages 106-120, book 2010

21) Areias, S., Da Cruz, D., Pinto, J.S., Contract-based slicing helps on safety reuse, in IEEE International Conference on Program Comprehension, Pages 62-63, conference-paper 2010

22) Da Cruz, D., Henriques, P.R., Exploring, visualizing and slicing the soul of XML documents, in Proceedings of the ACM Symposium on Applied Computing, Pages 40-46, conference-paper 2010

23) Da Cruz, D., Henriques, P.R., Pinto, J.S., GamaSlicer: An online laboratory for program verification and analysis, in Proceedings of the 10th Workshop on Language Descriptions, Tools and Applications, LDTA 2010,, conference-paper 2010

24) Oliveira, N., Pereira, M.J.V., Da Cruz, D., Berón, M., Influence of synchronized domain visualizations on program comprehension, in IEEE International Conference on Program Comprehension, Pages 192-195, conference-paper 2010

25) Berón, M.M., Pereira, M.J.V., Oliveira, N., Da Cruz, D., SVS, BORS, SVSi: Three strategies to relate problem and program domains, in IEEE International Conference on Program Comprehension, Pages 60-61, conference-paper 2010

26) Oliveira, N., Pereira, M.J.V., Henriques, P.R., da Cruz, D., Cramer, B., Visuallisa: A visual environment to develop attribute grammars, in Computer Science and Information Systems, Volume 7 Number 2 Pages 265-290, journal-article 2010

27) Oliveira, N., Henriques, P.R., Da Cruz, D., Pereira, M.J.V., Mernik, M., Kosar, T., Crepinšek, M., Applying program comprehension techniques to Karel robot programs, in Proceedings of the International Multiconference on Computer Science and Information Technology, IMCSIT 09, Volume 4 Pages 699-706, conference-paper 2009

28) Da Cruz, D., Henriques, P.R., Assessing databases in .NET: Comparing approaches, in ICEIS 2009 - 11th International Conference on Enterprise Information Systems, Proceedings, Volume DISI Pages 278-282, conference-paper 2009

29) Kosar, T., Mernik, M., Crepinšek, M., Henriques, P.R., Da Cruz, D., Pereira, M.J.V., Oliveira, N., Influence of domain-specific notation to program Understanding, in Proceedings of the International Multiconference on Computer Science and Information Technology, IMCSIT 09, Volume 4 Pages 675-682, conference-paper 2009

30) Oliveira, N., Pereira, M.J.V., Henriques, P.R., Da Cruz, D., Visualization of domain-speci c programs behavior, in Proceedings of VISSOFT 2009 - 5th IEEE International Workshop on Visualizing Software for Understanding and Analysis, Pages 37-40, conference-paper 2009

31) Oliveira, N., Henriques, P.R., Da Cruz, D., Pereira, M.J.V., VisualLISA: Visual programming environment for attribute grammars specification, in Proceedings of the International Multiconference on Computer Science and Information Technology, IMCSIT 09, Volume 4 Pages 691-698, conference-paper 2009

32) da Cruz, D., Henriques, P.R., João, M.V.P., ALMA versus DDD, in Computer Science and Information Systems, Volume 5 Number 2 Pages 119-136, journal-article 2008

33) Fonseca, R., Da Cruz, D., Henriques, P.R., Pereira, M.J.V., How to interconnect operational and behavioral views of web applications, in IEEE International Conference on Program Comprehension, Pages 263-267, conference-paper 2008

34) Ferreira, E., Paulo, R., da Cruz, D., Henriques, P., Integration of the ST language in a model-based engineering environment for control systems - An approach for compiler implementation, in Computer Science and Information Systems, Volume 5 Number 2 Pages 87-101, journal-article 2008

35) Pereira, M.J.V., Mernik, M., da Cruz, D., Henriques, P.R., Program comprehension for domain-specific languages, in Computer Science and Information Systems, Volume 5 Number 2 Pages 1-17, journal-article 2008

36) Rebernak, D., Mernik, M., Henriques, P.R., Da Cruz, D., Pereira, M.J.V., Specifying languages using aspect-oriented approach: AspectLISA, in Proceedings of the International Conference on Information Technology Interfaces, ITI, Pages 695-700, conference-paper 2006