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 da Cruz
3rd Symposium on Languages, Applications and Technologies (2014), 2014
762014
Program comprehension for domain-specific languages
MJV Pereira, M Mernik, PR Henriques
Computer Science and Information Systems 5 (2), 1-17, 2008
572008
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
472013
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ć, VJM Pereira, N Oliveira, RP Henriques
Computer Science and Information Systems 8 (2), 379-403, 2011
272011
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
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
Code analysis: Past and present
D da Cruz, PR Henriques, JS Pinto
Proc. OpenCert 2, 10, 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, IV Boas, DC da Cruz, AL Gançarski, PR Henriques
ICEIS (2), 209-219, 2012
112012
Comparing generators for language-based tools
D Cruz, MJ Pereira, M Berón, R Fonseca, PR Henriques
Universidade da Beira Interior, 2007
112007
VisualLISA
N Oliveira, MJV Pereira, D da Cruz, PR Henriques
Universidade do Minho, Tech. Rep, 2009
92009
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
82012
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
82009
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
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
Specifying languages using aspect-oriented approach: AspectLISA
D da Cruz, MJ Varanda Pereira, P Rangel Henriques, M Mernik, ...
Journal of computing and information technology 14 (4), 343-350, 2006
72006
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20