Seguir
Daniela da Cruz
Daniela da Cruz
Checkmarx
Email confirmado em checkmarx.com
Título
Citado por
Citado por
Ano
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
2142010
Plagiarism detection: A tool survey and comparison
VT Martins, D Fonte, PR Henriques, D Cruz
Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2014
742014
Program comprehension for domain-specific languages
MJV Pereira, M Mernik, PR Henriques
Computer Science and Information Systems 5 (2), 1-17, 2008
562008
A flexible dynamic system for automatic grading of programming exercises
D Fonte, D Cruz, AL Gançarski, PR Henriques
2nd Symposium on Languages, Applications and Technologies (2013), 2013
462013
Assertion-based slicing and slice graphs
JB Barros, D Da Cruz, PR Henriques, JS Pinto
Formal Aspects of Computing 24, 217-248, 2012
292012
A DSL for PIM specifications: Design and attribute grammar based implementation
I Luković, MJ Varanda Pereira, N Oliveira, D da Cruz, PR Henriques
Computer Science and Information Systems/ComSIS 8 (2), 379-403, 2011
262011
A comment analysis approach for program comprehension
JL Freitas, D da Cruz, PR Henriques
2012 35th Annual IEEE Software Engineering Workshop, 11-20, 2012
232012
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
222010
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
Code analysis: Past and present
D Cruz, PR Henriques, JS Pinto
162009
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
152009
Constructing program animations using a pattern based approach
D Cruz, RP Henriques, JM Varanda
Computer Science and Information Systems 4 (2), 97-114, 2007
122007
Program analysis and evaluation using quimera
D Fonte, I Vilas Boas, D Cruz, AL Gançarski, PR Henriques
112012
Comparing generators for language-based tools
D Cruz, MJ Pereira, M Berón, R Fonseca, PR Henriques
Universidade da Beira Interior, 2007
112007
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
102012
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
Partial correctness and continuous integration in computer supported education
D Fonte, IV Boas, N Oliveira, D da Cruz, AL Gançarski, PR Henriques
International Conference on Computer Supported Education 2, 205-212, 2014
72014
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
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20