Algoritmi | User | Daniela Carneiro da Cruz


Daniela Carneiro da Cruz

Daniela Carneiro da Cruz
At Algoritmi
Collaborating Researcher with PhD
Member of the CST R&D Group
Academic Degree
PhD
Current Position
Adjunct Professor at Escola Superior de Tecnologia do Instituto Politécnico do Cavado e do Ave
Personal Webpage
Personal Email
danieladacruz@gmail.comOrcid
0000-0002-3672-7119Researcher ID
N-2588-2013FCT Public Key
J090251U757
Ciência ID
8183893861341990Google Scholar
Publications (35)
Partial correctness and continuous integration in computer supported education
2014 | conference-paper
Plagiarism detection: A tool survey and comparison
2014 | conference-paper
2nd International workshop on realizing artificial intelligence synergies in software engineering (RAISE 2013)
2013 | conference-paper
A flexible dynamic system for automatic grading of programming exercises
2013 | conference-paper
Choosing grammars to support Language Processing courses
2013 | conference-paper
Interactive verification of safety-critical software
2013 | conference-paper
A Comment Analysis approach for Program Comprehension
Proceedings of the 2012 Ieee 35th Software Engineering Workshop (Sew 2012)
2012 | journal-article
Assertion-based slicing and slice graphs
Formal Aspects of Computing
2012 | journal-article
Guess XQ: A query-by-example approach for XML querying
2012 | book
Program analysis and evaluation using QUIMERA
2012 | conference-paper
Verification conditions for single-assignment programs
2012 | conference-paper
A DSL for PIM Specifications: Design and Attribute Grammar based Implementation
Computer Science and Information Systems
2011 | journal-article
GammaPolarSlicer
Computer Science and Information Systems
2011 | journal-article
Visualizing and analyzing the quality of XML documents
2011 | journal-article
An attribute grammar specification of IIS*case PIM concepts
2010 | conference-paper
Assertion-based slicing and slice graphs
2010 | conference-paper
Comparing General-Purpose and Domain-Specific Languages: An Empirical Study
Computer Science and Information Systems
2010 | journal-article
Contract-Based Slicing
Leveraging Applications of Formal Methods, Verification, and Validation, Pt I
2010 | journal-article
Contract-based slicing
2010 | book
Contract-based slicing helps on safety reuse
2010 | conference-paper
Exploring, visualizing and slicing the soul of XML documents
2010 | conference-paper
GamaSlicer: An online laboratory for program verification and analysis
2010 | conference-paper
Influence of synchronized domain visualizations on program comprehension
2010 | conference-paper
SVS, BORS, SVSi: Three strategies to relate problem and program domains
2010 | conference-paper
VisualLISA: A Visual Environment to Develop Attribute Grammars
Computer Science and Information Systems
2010 | journal-article
Applying program comprehension techniques to Karel robot programs
2009 | conference-paper
Assessing databases in .NET: Comparing approaches
2009 | conference-paper
Influence of domain-specific notation to program Understanding
2009 | conference-paper
VisualLISA: Visual programming environment for attribute grammars specification
2009 | conference-paper
Visualization of Domain-Specific Programs' Behavior
2009 5th Ieee International Workshop on Visualizing Software For Understanding and Analysis
2009 | journal-article
ALMA versus DDD
2008 | journal-article
How to interconnect operational and behavioral views of web applications
2008 | conference-paper
Integration of the ST language in a model-based engineering environment for control systems - An approach for compiler implementation
2008 | journal-article
Program comprehension for domain-specific languages
2008 | journal-article
Specifying languages using aspect-oriented approach: AspectLISA
2006 | conference-paper
History
Init | End | Change | Value |
---|
Partial correctness and continuous integration in computer supported education
2014 | conference-paper
Plagiarism detection: A tool survey and comparison
2014 | conference-paper
2nd International workshop on realizing artificial intelligence synergies in software engineering (RAISE 2013)
2013 | conference-paper
A flexible dynamic system for automatic grading of programming exercises
2013 | conference-paper
Choosing grammars to support Language Processing courses
2013 | conference-paper
Interactive verification of safety-critical software
2013 | conference-paper
A Comment Analysis approach for Program Comprehension
Proceedings of the 2012 Ieee 35th Software Engineering Workshop (Sew 2012)
2012 | journal-article
Assertion-based slicing and slice graphs
Formal Aspects of Computing
2012 | journal-article
Guess XQ: A query-by-example approach for XML querying
2012 | book
Program analysis and evaluation using QUIMERA
2012 | conference-paper
Verification conditions for single-assignment programs
2012 | conference-paper
A DSL for PIM Specifications: Design and Attribute Grammar based Implementation
Computer Science and Information Systems
2011 | journal-article
GammaPolarSlicer
Computer Science and Information Systems
2011 | journal-article
Visualizing and analyzing the quality of XML documents
2011 | journal-article
An attribute grammar specification of IIS*case PIM concepts
2010 | conference-paper
Assertion-based slicing and slice graphs
2010 | conference-paper
Comparing General-Purpose and Domain-Specific Languages: An Empirical Study
Computer Science and Information Systems
2010 | journal-article
Contract-Based Slicing
Leveraging Applications of Formal Methods, Verification, and Validation, Pt I
2010 | journal-article
Contract-based slicing
2010 | book
Contract-based slicing helps on safety reuse
2010 | conference-paper
Exploring, visualizing and slicing the soul of XML documents
2010 | conference-paper
GamaSlicer: An online laboratory for program verification and analysis
2010 | conference-paper
Influence of synchronized domain visualizations on program comprehension
2010 | conference-paper
SVS, BORS, SVSi: Three strategies to relate problem and program domains
2010 | conference-paper
VisualLISA: A Visual Environment to Develop Attribute Grammars
Computer Science and Information Systems
2010 | journal-article
Applying program comprehension techniques to Karel robot programs
2009 | conference-paper
Assessing databases in .NET: Comparing approaches
2009 | conference-paper
Influence of domain-specific notation to program Understanding
2009 | conference-paper
VisualLISA: Visual programming environment for attribute grammars specification
2009 | conference-paper
Visualization of Domain-Specific Programs' Behavior
2009 5th Ieee International Workshop on Visualizing Software For Understanding and Analysis
2009 | journal-article
ALMA versus DDD
2008 | journal-article
How to interconnect operational and behavioral views of web applications
2008 | conference-paper
Integration of the ST language in a model-based engineering environment for control systems - An approach for compiler implementation
2008 | journal-article
Program comprehension for domain-specific languages
2008 | journal-article
Specifying languages using aspect-oriented approach: AspectLISA
2006 | conference-paper
Start | End | Term | Value | |
---|---|---|---|---|