publicações selecionadas
-
artigo académico
- The role of best practices to Appraise open source software. Electronic Communications of the EASST. 2012
- Verification conditions for single-assignment programs. Proceedings of the ACM Symposium on Applied Computing. 2012
- Visualizing and analyzing the quality of XML documents. Journal of Universal Computer Science. 2011
- ALMA versus DDD. Computer Science and Information Systems. 2008
- Integration of the ST language in a model-based engineering environment for control systems - An approach for compiler implementation. Computer Science and Information Systems. 2008
- Program comprehension for domain-specific languages. Computer Science and Information Systems. 2008
- Specifying languages using aspect-oriented approach: Aspect LISA. Journal of Computing and Information Technology. 2006
-
artigo de conferência
- Determining Programming Languages Complexity and Its Impact on Processing 2022
- Partial correctness and continuous integration in computer supported education 2014
- Plagiarism detection: A tool survey and comparison. OASIcs: OpenAccess Series in Informatics. 2014
- 2nd International workshop on realizing artificial intelligence synergies in software engineering (RAISE 2013) 2013
- A flexible dynamic system for automatic grading of programming exercises. OASIcs: OpenAccess Series in Informatics. 2013
- Choosing grammars to support Language Processing courses. OASIcs: OpenAccess Series in Informatics. 2013
- Interactive verification of safety-critical software. Proceedings International Computer Software and Applications Conference. 2013
- Automatic Test Generation for Space 2012
- Problem Domain Oriented Approach for Program Comprehension 2012
- Program analysis and evaluation using QUIMERA 2012
- An attribute grammar specification of IIS*case PIM concepts 2010
- Exploring, visualizing and slicing the soul of XML documents 2010
- GamaSlicer: An online laboratory for program verification and analysis 2010
- A query by example approach for XML querying 2009
- Applying program comprehension techniques to Karel robot programs 2009
- Assessing databases in .NET: Comparing approaches 2009
- Influence of domain-specific notation to program Understanding 2009
- VisualLISA: Visual programming environment for attribute grammars specification 2009
-
artigo de revista
- Assertion-based slicing and slice graphs. Formal Aspects of Computing. 2012
- Safe integration of annotated components in open source projects. Electronic Communications of the EASST. 2010
-
livro
- An AST-based tool, spector, for plagiarism detection: The approach, functionality, and implementation 2015
- Assessing attribute grammars’ quality: Metrics and a tool 2015
- An effective way to teach language processing courses 2014
- Guess XQ: A query-by-example approach for XML querying 2012
- Contract-based slicing 2010