Research Activity
Language Specification and Processing Group (GEPL)
Centro de Ciências e Tecnologia da Computação (CCTC)
Research Subjects
Visual Programming Languages
Compiler Generators
Program Animation
Program Comprehension
Aspect Oriented Programming
Domain Specific Languages
Projects
Visualization /Animation System ALMA
Program Comprehension by Visual Inspection and Animation (2005-2007)(PCVIA)
Language-based Tools (2000-2003)
Grammar-based Systems (2004 -2006)(VODA)
Program Comprehension of Domain Specific Languages (2008-2009)(DSLpc)
VisualLISA (2008)(VisualLISA Homepage)
Publications
- Concepção, especificação e implementação de Processadores de Linguagens Visuais,
Varanda M. J., Henriques P. e Rocha J., II Simpósio Brasileiro de Linguagens de
Programação, 1997.
- Animação de algoritmos tornada sistemática, Varanda M.
J.e Henriques P., Workshop Computação Gráfica, Multimédia e Ensino, Leiria,
1999.
- Visualização Sistemática de Programas, Varanda M. J. e
Henriques P., IV Simpósio Brasileiro de Linguagens de Programação, 2000.
- Visualization/Animation of Programs based on Abstract Representation and Formal Mappings,
Varanda M. J. e Henriques P., IEEE Symposia on Human-Centric Computing Languages and
Environments (HCC’01),
Stresa, Itália, 2001.
- Automatic Generation of Language-based Tools, Henriques P., Varanda M. J., Mernik M., Lenic M.,
LDTA – Workshop on Language Description, Tools and Applications in ETAPS’02, Grenoble, França.( http://www.elsevier.com/locate/entcs/volume65.html)
- Grammatical Approach to Problem Solving, Henriques P., Kosar T., Mernik M., Varanda
M.J., Zumer V., ITI’2003, Croacia.
- Visualization/Animation of Programs in Alma: obtaining different results, Varanda M. J. e Henriques P., IEEE
Symposia on Human-Centric Computing Languages and Environments (HCC’03), Auckland, Nova Zelândia.
- Software Development with Grammatical Approach, Tomaz Kosar, Marjan Mernik, Pedro Henriques, Maria
João Varanda, Viljem Zumer, Informatica Journal, vol 28, pag. 393-404, 2004.
- Automatic Generation of Language-based Tools using LISA System, Pedro Henriques,
Maria João Varanda, Marjan Mernik, Mitja Lenic, Jeff Gray and Hui Wu, IEE
Software Journal , pp. 54-70, vol 152, Issue 2 April 2005.
- Executable Graphics for PBNM, Rui Lopes, Nuno Raimundo, Maria João Varanda, José Oliveira
e Victor Roque, The 5th IEEE International Workshop on IP
Operations&Management, October 26-28, 2005, Barcelona, Espanha.
- Compreensão de Aplicações Web: o processo e as
ferramentas, 6ªConferência da APSI (CAPSI), 26 a 28 de Outubro, Estig
Bragança.
- AspectLISA:
na aspect-oriented compiler construction system based on attribute grammars,
LDTA’06, Workshop on Language Descriptions, Tools and Applications (ETAPS’06),
Viena, Áustria.
- AspectLISA:
an aspect-oriented compiler construction system based on attribute grammars,
Damijan Rebernak, Marjan Mernik, Pedro Rangel Henriques, Maria João Varanda
Pereira, Electronic Notes inTheoretical Computer Science, 2006.
- Herramientas
para la compresión de programas, Pedro Henriques, Mário Béron, Maria João
Varanda, Roberto Uzal, VIII Workshop de Investigadores en Ciencias de la Computacón, 2006,
Universidade de Morón, Argentina.
- Specifying
Languages using Aspect-oriented Approach: AspectLISA, Damijan Rebernak, Marjan
Mernik, Pedro Rangel Henriques, Maria João Varanda Pereira, Daniela Cruz, 28th
International Conference Information Technology Interfaces, 2006, Dubrovnik,
Croácia.
- Henriques
P., Béron M., Varanda M.J., Uzal R., Comprensión de Algoritmos de Ruteo, XXXII
Conferencia Latinoamericana de Informática (CLEI 2006), Santiago de Chile.
- Béron
M., Henriques P., Varanda M.J., Uzal R., Montejano G., A Language Processing
Tool for Program Comprehension , CACIC'06 - XII Argentine Congress on Computer
Science, Universidad Nacional de San Luis, Argentina.
- Béron M., Henriques P., Varanda M.J., A System
for Evaluate and Understand Routing Algorithms, Interacção'06, Universidade do
Minho.
- Rebernak
D., Mernik M., Henriques P., Varanda M.J., AspectLISA: an aspect-oriented
compiler construction system based on attribute grammars, Electronic Notes in
Theoretical Computer Science, Pages 37-53, Volume 164, Issue 2, (24 October
2006).
- Damijan
Rebernak, Marjan Mernik, Pedro Rangel Henriques, Daniela da Cruz and Maria Joao
Varanda Pereira, Specifying Languages Using Aspect-oriented Approach:
AspectLISA, Journal of Computing and Information Technology, Pages (343-350),
Volume 14, Number 4 (December, 2006).
- Eva Oliveira, Pedro Henriques, Maria João
Varanda, Proposta de um Sistema para Compreensão de Aplicações Web, Conferência
da Associação Portuguesa de Sistemas de Informação 2006, Janeiro 2007, Aveiro,
Portugal.
- Béron
M., Henriques P., Pereira M.J.,Uzal R., Static and Dynamic Strategies to
Understand C Programs by Code Annotation , OpenCert 2007 - 1st International
Workshop on Fondations and Techniques for Open Source Software Certification
(integrado no ETAPS-European Joint Conferences on Theory and Practice of
Software), Braga, 2007.
- Béron
M., Uzal R., Henriques P., Pereira M.J., Compreensión de Programas por
Inspección Visual y Animación, IX Workshop de Investigadores en Ciencias de la Computación (WICC
2007), Chubut, Argentina, 2007.
- Cruz
D., Pereira M.J., Berón M., Fonseca R. and Henriques P., Comparing Generators
for Language-based Tools, CORTA'07 - Compiler, Related Technologies and
Applications, Universidade da Beira Interior, Julho 2007.
- Berón M., Henriques P., Pereira M.J., Uzal R.,
Técnicas de Inspecção de Programas para Inter-Relacionar as Vistas
Comportamental e Operacional, Encontro Português de Inteligência Artificial,
Guimarães, 2007.
- Cruz
D., Henriques P., Pereira M.J.,
Pattern-based Program Visualization, WAPL'07 - 1st Workshop on Advances
in Programming Languages integrado no International Multiconference on Computer
Science and Information Technology, Wisla, Polónia, Outubro de 2007.
- Béron
M., Henriques P., Pereira M.J., Uzal R.,
PICS un Sistema de Comprensión e Inspección de Programas , CACIC'07 -
XIII Argentine Congress on Computer Science, RedUNCI - Red de Universidades con
Carreras en Informática, Universidad Nacional de San Luis, Argentina, 2007.
- Berón M., Henriques P., Pereira M.J.,
Uzal R., Program Inspection to Interconnect Behavioral and Operational View for
Program Comprehension, York Doctoral Symposium
on Computing on Computing, University
of York, UK,
2007.
- Cruz
D., Henriques P., Pereira M.J.,
Constructing program animations using a pattern-based approach, Journal
ComSIS -- Computer Science and Information Systems Journal, Special Issue on Advances
in Programming Languages, Faculty of Technical Sciences, Novi Sad, Serbia,
volume 4, number 2, pp 99-116, Dec 2007. (ISSN: 1820-0214) (DBLP).
- Cruz D., Henriques P., Pereira M.J., Exploring
and Visualizing the "Alma" of XML Documents, XATA 2008 - XML:
Aplicações e Tecnologias Associadas, Universidade de Évora, 2008.
- Fonseca
R., Cruz D.,Henriques P., Pereira M.J., How to interconnect operational and
behavioral views of web applications, ICPC'08 - IEEE International Conference
on Program Comprehension, June 2008.
- Berón
M., Henriques P., Pereira M.J., Uzal R., Inspección de Código para relacionar
los Dominios del Problema y Programa para la Comprensión de
Programas, X Workshop de Investigadores en Ciencias de la Computación (WICC
2008), La Pampa,
Argentina, 2007.
- Pereira M.J., Mernik M., Cruz D., Henriques P., Program Comprehension for
Domain-Specific Languages, CoRTA'08 - Compilers, Related Technologies and
Applications, Julho 2008.
- Pereira M.J., Mernik M., Cruz D., Henriques P., VisualLISA: a Visual Interface for an
Attribute Grammar based Compiler-Compiler, CoRTA'08 - Compilers, Related
Technologies and Applications, Julho 2008.
- Cruz D., Henriques P., Pereira M.J., Alma versus DDD, CoRTA'08 - Compilers,
Related Technologies and Applications, Julho 2008.
- Cruz D., Henriques P.,Pereira M.J.,
Strategies for Program Inspection and Visualization, CSE'08 -
International Scientific Conference on Computer Science and Engineering,
September 2008.
- Béron M., Cruz d., Pereira M. J., Henriques P.,
Uzal R., Evaluation Criteria of Software Visualization Systems used for Program
Comprehension, Interacção'08 -- 3ª Conferência Interacção Pessoa-Máquina, Universidade
de Évora, Outubro 2008.
- Béron M., Pereira M. J., Henriques P., Uzal R, Simplificando la Comprensión
de Programas a través de la Interconnexión de Dominios, CACIC'08 - XIV Argentine Congress
on Computer Science, Universidad Nacional de Chilecito, La Rioja, Argentina, Outubro
2008.
- Pereira M. J., Mernik M., Cruz D., Henriques P.,
Program Comprehension for Domain-Specific Languages,
ComSIS -- Computer Science an Information Systems Journal,
Special Issue on Compilers, Related Technologies and Applications,
Volume 5, Number 2, pp 1-17, December 2008,
Editors:Ivan Lukovic and Simão Sousa (Guest Ed.),
Faculty of Technical Sciences, Trg Dositeja Obradovica 6, 21000 Novi Sad, Serbia.
- Cruz D., Henriques P., Pereira M.J.,
Alma versus DDD,
ComSIS -- Computer Science an Information Systems Journal,
Special Issue on Compilers, Related Technologies and Applications,
Volume 5, Number 2, pp 119-136, December 2008,
Editors:Ivan Lukovic and Simão Sousa (Guest Ed.),
Faculty of Technical Sciences, Trg Dositeja Obradovica 6, 21000 Novi Sad, Serbia.
- Oliveira N., Pereira M.J., Henriques P., Cruz D.,
Domain Specific Languages: A Theoretical Survey,
INForum'09 --- Simpósio de Informática,
Faculdade de Ciências da Universidade de Lisboa, 35 --- 46, Setembro 2009.
- Oliveira N. and Pereira M.J., Henriques P., Cruz D., Cramer B.,
VisualLISA: A Domain Specific Visual Language for Attribute Grammars,
INForum'09 --- Simpósio de Informática,
Faculdade de Ciências da Universidade de Lisboa, 155 --- 167, Setembro 2009.
- Mernik M., Kosar T., Crepinsek M., Henriques P., Cruz D., Pereira M.J., Oliveira N.,
Comparison of XAML and C# Frorms using Cognitive Dimensions Framework,
INForum'09 --- Simpósio de Informática,
Faculdade de Ciências da Universidade de Lisboa, 180 --- 191, Setembro 2009.
- Oliveira N., Henriques P., Cruz D., Pereira M.J.,
XAGra - An XML Dialect for Attribute Grammars,
INForum'09 --- Simpósio de Informática,
Faculdade de Ciências da Universidade de Lisboa, 409 --- 420, Setembro 2009.
- Oliveira N., Pereira M.J., Cruz D., Henriques P. ,
Visualization of Domain-Specific Programs’ Behavior,
5th IEEE International Workshop on Visualizing Software for Understanding and Analysis (Co-located with ICSM 2009),
September 25, 2009 - Edmonton, Canada.
- Béron M., Henriques P., Pereira M.J., Uzal R.,
Instrumentaciones de Programas Escritos en C para Interrelacionar las
Vistas Comportamental y Operacional de los Sistemas de Software,
CACIC'09 - XV Argentine Congress on Computer Science,
Universidad Nacional de Jujuy, Argentina, October 2009.
- Cruz D.,Béron M.,Henriques P., Pereira M.J., Code Inspection Approaches for Program Visualization,
Acta Electrotechnica et Informatica, Faculty of Electrical Engineering and Informatics,
Technical University of Kosice, Slovakia, Jul-Sep 2009,vol 9, n 3, pages 32-42, ISSN: 1335-8243
- Oliveira N., Henriques P.,Cruz D., Pereira M.J., Mernik M., Kosar T., Crepinsek M.,
Applying Program Comprehension Techniques to Karel Robot Programs,
WAPL'09 - 2nd Workshop on Advances in Programming Languages, Mragowo, Poland, October 2009.
- Oliveira N., Henriques P., Cruz D., Pereira M.J., VisualLISA: Visual Programming Environment for Attribute Grammars,
WAPL'09 - 2nd Workshop on Advances in Programming Languages, Mragowo, Poland, October 2009.
- Kosar T., Mernik M., Crepinsek M., Henriques P., Cruz D., Pereira M.J., Oliveira N.,
Influence of domain-specific notation to program understanding,
WAPL'09 - 2nd Workshop on Advances in Programming Languages, Mragowo, Poland, October 2009.
- Berón M., Uzal R., Henriques P., Pereira M.J., Estrategias para Facilitar la Comprensión de
Programas, WICC 2010 - XII Workshop de Investigadores en Ciencias de la Computación,
Universidad Nacional de la Patagonia San Juan Bosco, Argentina.
- Kosar T., Oliveira N., Mernik M., Pereira M.J., Crepinsek M., Cruz D., Henriques P.,
Comparing General-Purpose and Domain-Specific Languages: An Empirical Study,
ComSIS -- Computer Science an Information Systems Journal, Special Issue on Compilers,
Related Technologies and Applications, Vol 7, Number 2, pp 247-264, April 2010,
Editor:Ivan Lukovic, Faculty of Technical Sciences, Trg Dositeja Obradovica 6, 21000 Novi Sad, Serbia.
- Oliveira N., Pereira M.J., Henriques P., Cruz D., Cramer B., VisualLISA: A Visual
Environment to Develop Attribute Grammars, ComSIS -- Computer Science an Information Systems Journal,
Special Issue on Compilers, Related Technologies and Applications, Vol 7, Number 2, pp 265-289,
April 2010, Editor:Ivan Lukovic, Faculty of Technical Sciences, Trg Dositeja Obradovica 6, 21000 Novi Sad, Serbia.
- Béron M., Pereira M.J., Oliveira N., Cruz D., SVS,BORS, SVSi: Three Strategies to relate Problem and Program Domains, ICPC 2010 - 18th IEEE International Conference on Program Comprehension, Braga, 2010.
- Oliveira N., Pereira M.J., Cruz D., Béron M.,Influence of Synchronized Domain Visualizations on Program Comprehension, Working Session, ICPC 2010 - 18th IEEE International Conference on Program Comprehension, Braga, 2010.
- Lukovic I., Pereira M.J., Oliveira N., Cruz D., Henriques P., An Attribute Grammar Specification of IIS*Case PIM Concepts, MDASD 2010 - Workshop on Model Driven Approaches in System Development integrado no ADBIS 2010 14th East-European Conference on Advances in Databases and Information Systems, Novi Sad, Setembro 2010
- Martín Aristiaran, Mario Berón , Pedro Henriques, Maria João Varanda Pereira, "Clasificaciones: un mecanismo de herencia múltiple para la construcción de modelos fáciles de comprender y mantener" , XIII Workshop de Investigadores en Ciencias de la Computación, Rosario, Argentina, Maio 2011.
- José Albanes, Mario Berón , Pedro Henriques, Maria João Varanda Pereira, "Estrategias para relacionar el dominio del problema con el dominio del programa para la comprensión de programas" , XIII Workshop de Investigadores en Ciencias de la Computación, Rosario, Argentina, Maio 2011.
- Enrique Miranda, Mario Berón , Pedro Henriques, Germán Montejano, Daniel Riesco, Maria João Varanda Pereira, "Visualización de software: conceptos, métodos y técnicas para facilitar la comprensión de programas" , XIII Workshop de Investigadores en Ciencias de la Computación, Rosario, Argentina, Maio 2011.
- Hernán Bernardis, Mario Berón , Daniel Riesco, Pedro Henriques, Maria João Varanda Pereira, "Extracción de información dinámica en programación orientada a objetos (Java)" , XIII Workshop de Investigadores en Ciencias de la Computación, Rosario, Argentina, Maio 2011.
- Ignacio El Kadre, Mario Berón , Carlos Salgado, Mario Peralta, Pedro Henriques, Maria João Varanda Pereira, "Construcción de representaciones del dominio del programa para facilitar la interconexión de dominios" , XIII Workshop de Investigadores en Ciencias de la Computación, Rosario, Argentina, Maio 2011.
- Mariano Luzza, Mario Berón , Germán Montejano, Pedro Henriques, Maria João Varanda Pereira, "Diseño y Construcción de Lenguajes Específicos del Dominio" , XIII Workshop de Investigadores en Ciencias de la Computación, Rosario, Argentina, Maio 2011.
- Lukovic I., Pereira, M. J. V., Oliveira, N., Cruz, D. d., Henriques, P. R.: A DSL for PIM Specifications: Design and Attribute Grammar based Implementation. Computer Science and Information Systems, Vol. 8, No. 2, 379-403. (2011)
- Carvalho N., Simões A., Almeida J., Henriques P., Pereira M. J.:PFTL: A Systematic Approach For Describing Filesystem Tree Processors,INForum'11 --- Simpósio de Informática (CoRTA'11 track), Universidade de Coimbra, Setembro 2011.
- Ceh I., Crepinsek M., Kosar T., Mernik M., Henriques P., Pereira M.J., Cruz D., Oliveira N.:Tool supported building of {DSL}s from {OWL} ontologies, INForum'11 --- Simpósio de Informática (CoRTA'11 track), Universidade de Coimbra, Setembro 2011.
Visual Programming Languages
The VL/HCC bibliography has become a widely-used resource for people seeking research in visual
languages, visual programming, visual software engineering, human use of
programming languages and tools, and so on. In maintaining this resource,
the conference Steering Committee would like to keep the VL/HCC bibliography a
complete resource for all full papers published in the VL/HCC conference
series.
http://www.cs.orst.edu/~burnett/vpl.html
In that site, papers on Software Visualization are classified according to
Margaret Burnett´s criteria based on the following parameters:Technique (interaction with the user, output
generation); Applications; Performance; and Visualization Domains (kind of
drawings, kind of visualizations and kind of source language).
Visual Languages
Visual Programming Tools
- AGG
- DiaGen
- CPN
- PROGRES
- Agentsheets
More information here.
Compiler Generators
Visual Language Implementation Tools
Compiler/Interpreter Generators (Textual Languages)
Program Animation
Topics:
- Program Animation Systems
- Language specific systems
- Source code annotation systems
- Alma System
Program Comprehension
Topics:
Space reserved for text advertisements