Follow
Daniela da Cruz
Daniela da Cruz
Checkmarx
Verified email at checkmarx.com
Title
Cited by
Cited by
Year
Comparing general-purpose and domain-specific languages: An empirical study
T Kosar, N Oliveira, M Mernik, VJM Pereira, M Črepinšek, CD Da, ...
Computer Science and Information Systems 7 (2), 247-264, 2010
1902010
Plagiarism detection: A tool survey and comparison
VT Martins, D Fonte, PR Henriques, D Cruz
Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2014
632014
Program comprehension for domain-specific languages
MJV Pereira, M Mernik, PR Henriques
Computer Science and Information Systems 5 (2), 1-17, 2008
522008
A flexible dynamic system for automatic grading of programming exercises
D Fonte, D Cruz, AL Gançarski, PR Henriques
Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2013
402013
Assertion-based slicing and slice graphs
JB Barros, D Da Cruz, PR Henriques, JS Pinto
Formal Aspects of Computing 24 (2), 217-248, 2012
292012
A DSL for PIM specifications: Design and attribute grammar based implementation
I Luković, VJM Pereira, N Oliveira, RP Henriques
Computer Science and Information Systems 8 (2), 379-403, 2011
252011
VisualLISA: A visual environment to develop attribute grammars
N Oliveira, MJV Pereira, PR Henriques, D da Cruz, B Cramer
Computer Science and Information Systems, 265-289, 2010
212010
Gamaslicer: an online laboratory for program verification and analysis
D da Cruz, PR Henriques, JS Pinto
Proceedings of the Tenth Workshop on Language Descriptions, Tools and …, 2010
182010
A comment analysis approach for program comprehension
JL Freitas, D da Cruz, PR Henriques
2012 35th Annual IEEE Software Engineering Workshop, 11-20, 2012
152012
Code analysis: Past and present
D Cruz, PR Henriques, JS Pinto
152009
Influence of domain-specific notation to program understanding
T Kosar, M Mernik, M Črepinšek, PR Henriques, D da Cruz, MJV Pereira, ...
2009 International Multiconference on Computer Science and Information …, 2009
142009
Verification conditions for single-assignment programs
D da Cruz, MJ Frade, JS Pinto
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1264-1270, 2012
122012
Program analysis and evaluation using quimera
D Fonte, I Vilas Boas, D Cruz, AL Gançarski, PR Henriques
122012
Constructing program animations using a pattern based approach
D Cruz, RP Henriques, JM Varanda
Computer Science and Information Systems 4 (2), 97-114, 2007
112007
Comparing generators for language-based tools
D Cruz, MJ Pereira, M Berón, R Fonseca, PR Henriques
Universidade da Beira Interior, 2007
102007
Visualization of domain-specific programs' behavior
N Oliveira, MJV Pereira, PR Henriques, D da Cruz
2009 5th IEEE International Workshop on Visualizing Software for …, 2009
92009
VisualLISA
N Oliveira, MJV Pereira, D da Cruz, PR Henriques
Universidade do Minho, Tech. Rep, 2009
92009
The role of comments on program comprehension
JL Freitas, D da Cruz, PR Henriques
INForum, 2008
72008
Integration of the ST language in a model-based engineering environment for control systems: An approach for compiler implementation
E Ferreira, R Paulo, P Henriques
Computer Science and Information Systems 5 (2), 87-101, 2008
72008
Contract-based slicing
D Cruz, PR Henriques, J Sousa Pinto
International Symposium On Leveraging Applications of Formal Methods …, 2010
62010
The system can't perform the operation now. Try again later.
Articles 1–20