@InProceedings{VH01,
author = {M. J. Varanda and P. Henriques},
title = {Visualization / Animation of Programs based on Abstract Representations and Formal Mappings},
booktitle = {HCC'01 - 2001 IEEE Symposia on Human-Centric Computing Languages and Environments},
year = {2001},
editor = {IEEE},
month = {September}
}
@InProceedings{VH02,
author = {P. Henriques and M. J. Varanda and M. Mernik and M. Lenic},
title = {Automatic Generation of Language-based Tools},
booktitle = {LDTA - Workshop on Language, Descriptions, Tools and Applications (ETAPS'02)},
year = {2002},
editor = {},
month = {April}
}
@InProceedings{VH03,
author = {M. J. Varanda and P. Henriques},
title = {Visualization / Animation of Programs in Alma: obtaining different results},
booktitle = {VMSE2003 - Symposium on Visual and Multimedia Software Engineering (HCC'03), New Zealand},
year = {2003},
editor = {},
month = {October}
}
@Article{HVMLGW05,
author = {Pedro Henriques and Maria João Varanda and Marjan Mernik and Mitja Lenic and Jeff Gray and Hui Wu},
title = {Automatic Generation of Language-based Tools using LISA System},
journal = {IEE Software Journal},
year = {2005},
OPTkey = {},
volume = {152},
number = {2},
pages = {54-70},
month = {April},
OPTnote = {},
OPTannote = {}
}
@InProceedings{OVH05,
author = {Eva Oliveira and Maria João Varanda and Pedro Henriques},
title = {Compreensão de Aplicações Web: O Processo e as Ferramentas},
booktitle = {CAPSI05 - Conferência da Associação Portuguesa de Sistemas de Informação, ESTiG Bragança},
year = {2005},
editor = {},
month = {October}
}
@InProceedings{HBVU06a,
author = {Henriques P., Béron M., Varanda M.J., Uzal R.},
title = {Herramientas para la compresión de programas},
booktitle = {VIII Workshop de Investigadores en Ciencias de la Computación (WICC 2006), Universidade de Morón, Bs. As., Argentina},
year = {2006},
editor = {},
month = {}
}
@InProceedings{HBVU06b,
author = {Henriques P., Béron M., Varanda M.J., Uzal R.},
title = {Comprensión de Algoritmos de Ruteo},
booktitle = {XXXII Conferencia Latinoamericana de Informática (CLEI 2006),Santiago de Chile},
year = {2006},
editor = {},
month = {}
}
@InProceedings{BHVUM06,
author = {Béron M., Henriques P., Varanda M.J., Uzal R., Montejano G.},
title = {A Language Processing Tool for Program Comprehension},
booktitle = {CACIC'06 - XII Argentine Congress on Computer Science, Universidad Nacional de San Luis, Argentina},
year = {2006},
editor = {},
month = {}
}
@InProceedings{BHV06,
author = {Béron M., Henriques P., Varanda M.J.},
title = {A System for Evaluate and Understand Routing Algorithms},
booktitle = {Interacção'06, Universidade do Minho},
year = {2006},
editor = {},
month = {}
}
@InProceedings{OHV06,
author = {Eva Oliveira and Pedro Henriques and Maria João Varanda },
title = {Proposta de um Sistema para Compreensão de Aplicações Web},
booktitle = {CAPSI06 - Conferência da Associação Portuguesa de Sistemas de Informação, Univ. Aveiro},
year = {2007},
editor = {},
month = {January}
}
@InProceedings{BHVU07c,
author = {Mario Ber\'on and Pedro Rangel Henriques and M. Jo\~ao Varanda and Roberto Uzal},
title = {Program Inspection to Incerconnect Behavioral and Operational View for Program Comprehension},
booktitle = {York Doctoral Symposium, 2007},
publisher = {University of York, UK},
year = {2007},
editor = {},
month = {Oct}
}
@InProceedings{BHVU07b,
author = {Mario Ber\'on and Pedro Rangel Henriques and M. Jo\~ao Varanda and Roberto Uzal},
title = {Comprensi\'on de Programas por Inspecci\'on Visual y Animaci\'on},
booktitle = {IX Workshop de Investigadores en Ciencias de la Computación (WICC 2007), Argentina},
year = {2007},
editor = {},
month = {}
}
@InProceedings{BHVU07a,
author = {Mario Ber\'on and Pedro Rangel Henriques and M. Jo\~ao Varanda and Roberto Uzal},
title = {Static and Dynamic Strategies to Understand C Programs by Code Annotation},
booktitle = {OpenCert'07, 1st Int. Workshop on Fondations and Techniques for Open Source Software Certification (collocated with ETAPS'07)},
year = {2007},
editor = {},
month = {Apr}
}
@InProceedings{CPBFH07e,
author = {Daniela da Cruz and Maria João Varanda Pereira and Mário Béron and Rúben Fonseca and Pedro Rangel Henriques},
title = {Comparing Generators for Language-based Tools},
booktitle = {Proceedings of the 1.st Conference on Compiler Related Technologies and Applications, CoRTA'07 ---
Universidade da Beira Interior, Portugal},
year = {2007},
editor = {},
month = {Jul},
}
@InProceedings{CPH07f,
author = {Daniela da Cruz and Maria João Varanda Pereira and Pedro Rangel Henriques},
title = {Pattern-based Program Visualization},
booktitle = {1st Workshop on Advances in Programming Languages, WAPL'07 --- evento satélite da
\textsf{International Multiconference on Computer Science and Information Technology, IMCSIT'07} --- Wisla, Polónia},
year = {2007},
editor = {},
month = {Oct},
}
@Misc{CH07g,
author = {Daniela da Cruz and Pedro Rangel Henriques},
title = {Slicing wxHaskell modules to derive the User Interface Abstract Model},
howpublished = {Poster in 1st Workshop on Advances in Programming Languages, WAPL'07 --- evento satélite da
\textsf{International Multiconference on Computer Science and Information Technology, IMCSIT'07} --- Wisla, Polónia},
month = {Oct},
year = {2007}
}
@Article{CHV07,
author = {Daniela da Cruz and Pedro Rangel Henriques and Maria João Varanda},
title = {Constructing program animations using a pattern-based approach},
journal = {ComSIS -- Computer Science an Information Systems Journal, Special Issue on Advances in Programming Languages},
editor = {Ivan Lukovic and Marjan Mernik (Guest Ed.)},
publisher = {Faculty of Technical Sciences, Trg Dositeja Obradovica 6, 21000 Novi Sad, Serbia},
year = {2007},
month = {Dec},
volume = {4},
number = {2},
pages = {97-114},
note = {ISSN: 1820-0214}
}
@InProceedings{BHVU07d,
author = {Mario Ber\'on and Pedro Rangel Henriques and M. Jo\~ao Varanda and Roberto Uzal},
title = {PICS una Herramienta para la Comprensión e Inspección de Programas},
booktitle = {CACIC'07 - XIII Argentine Congress on Computer Science},
publisher = {Corrientes, Argentina},
year = {2007},
editor = {},
month = {Aug}
}
@InProceedings{CHV08,
author = {Daniela da Cruz and Pedro Rangel Henriques and Maria João VarandaCruz},
title= {Exploring and Visualizing the "Alma" of XML Documents},
booktitle= {XATA 2008 - XML: Aplicações e Tecnologias Associadas},
publisher= {Universidade de Évora},
year= {2008},
editor = {},
month = {Fev}
}
Bibliography of Research/PCVIA project in bibtex reference style
@InProceedings{VH01,
author = {M. J. Varanda and P. Henriques},
title = {Visualization / Animation of Programs based on Abstract Representations and Formal Mappings},
booktitle = {HCC'01 - 2001 IEEE Symposia on Human-Centric Computing Languages and Environments},
OPTcrossref = {},
OPTkey = {},
OPTpages = {},
year = {2001},
editor = {IEEE},
OPTvolume = {},
OPTnumber = {},
OPTseries = {},
OPTaddress = {},
month = {September},
OPTorganization = {},
OPTpublisher = {},
OPTnote = {},
OPTannote = {}
}
@InProceedings{VH02,
author = {P. Henriques and M. J. Varanda and M. Mernik and M. Lenic},
title = {Automatic Generation of Language-based Tools},
booktitle = {LDTA - Workshop on Language, Descriptions, Tools and Applications (ETAPS'02)},
OPTcrossref = {},
OPTkey = {},
OPTpages = {},
year = {2002},
editor = {},
OPTvolume = {},
OPTnumber = {},
OPTseries = {},
OPTaddress = {},
month = {April},
OPTorganization = {},
OPTpublisher = {},
OPTnote = {},
OPTannote = {}
}
@InProceedings{VH03,
author = {M. J. Varanda and P. Henriques},
title = {Visualization / Animation of Programs in Alma: obtaining different results},
booktitle = {VMSE2003 - Symposium on Visual and Multimedia Software Engineering (HCC'03), New Zealand},
OPTcrossref = {},
OPTkey = {},
OPTpages = {},
year = {2003},
editor = {},
month = {October},
}
Atenção à lista de conferências para 2008
-- MariaJoaoVaranda - 28 Outubro 2007
Já estão disponíveis as actas das últimas reuniões.
-- MariaJoaoVaranda - 17 Junho 2007
A nossa equipa continua a aumentar.
Digam olá ao Ruben.
-- MariaJoaoVaranda - 20 Setembro 2006
Abertura de uma BIC para implementar o sistema webappviewer.
Anúncio no fim da página.
-- MariaJoaoVaranda - 23 Agosto 2006
Atenção à nova lista de conferências
-- MariaJoaoVaranda - 11 Jul 2006
Já temos uma lista de ferramentas
-- EvaOliveira - 11 Jan 2006
Abstract para conferência CAPSI'05 elaborado
-- EvaOliveira - 14 Mar 2005
Acabei de Criar a Página para as citações bibliográficas
-- PedroRangelHenriques - 12 Mar 2005
Está abençoado...
-- PedroRangelHenriques - 04 Feb 2005
Nasceu o Research.PCVIA
-- MariaJoaoVaranda - 04 Feb 2005
MariaJoaoVaranda 12 Mar 2005 @InProceedings{VH01, author {M. J. Varanda and P. Henriques}, title {Visualization / Animation of Programs based on Abstract ...
News Program Comprehension by Visual Inspection and Animation (PCVIA) Description Program comprehension is the ability of fully understand a piece of computer code ...
Atenção à lista de conferências para 2008 MariaJoaoVaranda 28 Outubro 2007 Já estão disponíveis as actas das últimas reuniões. MariaJoaoVaranda 17 Junho 2007 ...
TWiki.Research/PCVIA Web Preferences The following settings are web preferences of the TWiki.Research/PCVIA web. These preferences overwrite the site level preferences ...
Bibliography of Research/PCVIA project in bibtex reference style @InProceedings{VH01, author {M. J. Varanda and P. Henriques}, title {Visualization ...
This is a subscription service to be automatically notified by e mail when topics change in this Research/PCVIA web. This is a convenient service, so you do not ...
Atenção à lista de conferências para 2008
-- MariaJoaoVaranda - 28 Outubro 2007
Já estão disponíveis as actas das últimas reuniões.
-- MariaJoaoVaranda - 17 Junho 2007
A nossa equipa continua a aumentar.
Digam olá ao Ruben.
-- MariaJoaoVaranda - 20 Setembro 2006
Abertura de uma BIC para implementar o sistema webappviewer.
Anúncio no fim da página.
-- MariaJoaoVaranda - 23 Agosto 2006
Atenção à nova lista de conferências
-- MariaJoaoVaranda - 11 Jul 2006
Já temos uma lista de ferramentas
-- EvaOliveira - 11 Jan 2006
Abstract para conferência CAPSI'05 elaborado
-- EvaOliveira - 14 Mar 2005
Acabei de Criar a Página para as citações bibliográficas
-- PedroRangelHenriques - 12 Mar 2005
Está abençoado...
-- PedroRangelHenriques - 04 Feb 2005
Nasceu o Research.PCVIA
-- MariaJoaoVaranda - 04 Feb 2005
Program Comprehension by Visual Inspection and Animation (Research.PCVIA)
Description
Program comprehension is the ability of fully understand a piece of computer code, written in a (high-level) programming language. As stated in the call-for-papers for IWPC'2004, Program Comprehension is on of the core software engineering activities, and is needed for reuse, inspection, maintenance, reverse engineering, reengineering, migration, and extension of existing software systems.
However, the comprehension of a program can have different meanings, or perspectives: we can be interested in the way the computer will execute the instructions, in order to understand the data or control flow; or the focus can be on the effects of program execution over the state of some (logical or physical)
device that is being manipulated by that program.
Anyway, we feel that a visual inspection tool is crucial to help the analyst in that task.
Moreover, we defend the idea that such a tool should be able to animate the execution, either to show the flow of data (the values affected to the program variables along the time) and the instructions path, or to show the transformations produced over the external device controlled by the program.
That visualization and animation tool should be able to offer both views above referred, and it would be desirable that it can handle different programming languages.
... for more details
Research.PCVIA aims at the exploitation of Alma to fulfill the above requirements for a program comprehension generic tool. For that we proposed the following tasks:
to study the state-of-art in Program Comprehension,
to develop the existing Alma prototype in two directions: fully implement the planned functionality and optimize its execution; redesign its interface in order to assure a successful usage,
to investigate and assess the application of Alma for Program Comprehension.
Henriques P., Béron M., Varanda M.J., Uzal R., Herramientas para la compresión de programas, VIII Workshop de Investigadores en Ciencias de la Computación (WICC06), Universidade de Morón, Bs. As., Argentina (bibtex).
Henriques P., Béron M., Varanda M.J., Uzal R., Comprensión de Algoritmos de Ruteo, XXXII Conferencia Latinoamericana de Informática (CLEI06), Santiago de Chile (bibtex).
Béron M., Henriques P., Varanda M.J., Uzal R., Montejano G., A Language Processing Tool for Program Comprehension , XII Argentine Congress on Computer Science (CACIC06), Universidad Nacional de San Luis, Argentina.(bibtex)
Béron M., Henriques P., Varanda M.J., A System for Evaluate and Understand Routing Algorithms, Interacção'06, Universidade do Minho (bibtex).
Oliveira E., Henriques P., Varanda M.J., Proposta de um Sistema para Compreensão de Aplicações Web, Conferência da Associação Portuguesa de Sistemas de Informação 2006 (CAPSI06), Aveiro, Portugal (bibtex)
Cruz D., Varanda 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.(bibtex)
Béron M., Uzal R., Henriques P., Varanda 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. (bibtex)
Béron M., Henriques P., Varanda 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'07), Braga, 2007. (bibtex)
Cruz D., Henriques P. Varanda M.J., Pattern-based Program Visualization, WAPL'07 - Workshop on Advanced Programming Languages, Wisla, Polónia, Outubro 2007. (bibtex)
Cruz D., Henriques P., Slicing wxHaskell modules to derive the User Interace Abstract Model, WAPL'07 - Workshop on Advanced Programming Languages, Wisla, Polónia, Outubro 2007. (poster) (bibtex)
Berón M., Henriques P., Varanda M., Uzal R., Program Inspection to Incerconnect Behavioral and Operational View for Program Comprehension, York Doctral Symposium, 2007, York, Inglaterra. (YDS 2007) (bibtex)
Berón M., Henriques P., Varanda M., Uzal R., PICS una Herramienta para la Comprensión e Inspección de Programas, Congreso Argentino de Ciencas de la Computación, 2007, Corrientes, Argentina. (CACIC 2007) (bibtex)
Berón M., Henriques P., Varanda M., Uzal R., Inspecção de Programas para Relacionar a Vista Comportamental e Operacional para a Compreensão de Programas, Simpósio Doutoral em Inteligência Artificial. 2007. Guimarães. Portugal.
Cruz D., Henriques P., Varanda 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 97-114, Dec 2007. (ISSN: 1820-0214) (bibtex)
Cruz D., Henriques P., Varanda M.J., Exploring and Visualizing the "Alma" of XML Documents, XATA 2008 - XML: Aplicações e Tecnologias Associadas, Universidade de Évora, 2008 (bibtex).
Program Comprehension - Página sobre Compreensão de Programas criada em 1997 por Richard Upchurch. Resumo: no contexto da compreensão de programas o aluno centra a sua atenção na sua construção do programa e não tenta compreender como é que aquele conjunto de instruções resolva o problema. A área da compreensão de programas não só é importante no âmbito do ensino da programação mas também em actividades industriais relacionadas com inspecções e revisões de código. O uso de exemplos na compreensão depende muito da facilidade em extrair de cada um deles a informação apropriada. Uma pessoa que use esses exemplos sem qualquer estratégia pode não tirar qualquer proveito deles. É importante compreender os modelos cognitivos já identificados e estudados para planear uma actividade de aprendizagem (Brooks, Shneiderman, Letovsky, Soloway, Ehrlich and Pennington). Alguns destes autores falam na distinção entre o conhecimento técnico e conhecimento de domínio e defendem que se atinge a compreensão quando se faz o mapeamento entre os dois conhecimentos. Há várias abordagens à compreensão: desde tentar compreender as partes e depois num proceso bottom-up compreender o todo; abordagens baseadas em check-list distribuídas por vários revisores e em várias perspectivas; dividir o programa fazendo projecções que incluem apenas as instruções que afectam determinada variável (esta divisão permite encontrar o significado semântico do programa que pode não corresponder a instruções seguidas).
A Survey of Reverse Engineering and Program Comprehension - Apresenta um conjunto de conceitos, problemas e abordagens para automatizar o processo de recolha de informação dos programas; Fala também da compreensão de programas como o resultado de um refinamento sincronizado entre a compreensão do desenho e a compreensão do código.
Supporting Program Comprehension Using Semantic and Strutural Information - Descobre a semântica das palavras por estudos estatísticos dos contextos onde as palavras aparecem. Está muito relacionado com o processamento de linguagem natural. Produz estatísticas dos vários ficheiros do sistema com o objectivo de o compreender.
Visualization and Animation
Program Comprehension in Multi-Language systems - Apresenta uma abordagem baseada no mapeamento das linguagens fonte num representação interna onde são descritos os conceitos mais abstractos comuns a várias linguagens. O resultado final é um desenho onde se podem observar todas as componentes do programa e seus relacionamentos.
Web Comprehension
Comprehending Web Applications by a Clustering Based Approach - Propõe um método para decompor uma aplicação Web em componentes, agrupados por funcionalidades. O agrupamento é explorado por uma algoritmo que produz uma heirarquia, que permite a compreensão da referida aplicação Web.
Towards Better Understanding of Web Applications - É apresentada uma framework para recuperar arquitecturas de aplicações Web, com o objectivo de proporcionar navegabilidade na arquitectura recuperada e compreensão da aplicação.
Program Comprehension Tools
Classic Program Comprehension Tools
SHrimp - Ferramenta interactiva de Compreensão de Programas Java.
Creole - Ferramenta de análise visual de código Java (plug-in do Eclipse e baseia-se em SHrimp).
Imagix 4D - Ferramenta para programadores melhor compreender programas em C e C++ já desenvolvidos.
Rigi - Ferramenta desenvolvida para compreender e redocumentar software.
CodeSurfer - Navegador de código que ajuda a compreender apontadores, chamadas indirectas a funções, todos os efeitos do programa.
CANTO - Ambiente de compreensão e manutenção de software.
xSuds � Ferramenta de análise e visualização de software.
Seesoft � Ferramenta de visualização de estatísticas de software.
MOOSE � Ferramenta de reengenharia que permite a visualização, análise e manipulação de sistemas de software complexos.
CodeCrawler � Ferramenta de reengenharia que combina as métricas com a visualização de software.
GUPRO � Família de ferramentas de suporte à compreensão de programas baseadas em grafos.
Bauhaus � Ferramenta para análise de programas e reengenharia.
Tools just for maintenance
SPOOL�CIA � Ferramenta de análise de impacto de alterações
Dali � extracção, manipulação e interpretação de informação sobre a arquitectura do sistema.
MariaJoaoVaranda 12 Mar 2005 @InProceedings{VH01, author {M. J. Varanda and P. Henriques}, title {Visualization / Animation of Programs based on Abstract ...
Bibliography of Research/PCVIA project in bibtex reference style @InProceedings{VH01, author {M. J. Varanda and P. Henriques}, title {Visualization ...
Atenção à lista de conferências para 2008 MariaJoaoVaranda 28 Outubro 2007 Já estão disponíveis as actas das últimas reuniões. MariaJoaoVaranda 17 Junho 2007 ...
News Program Comprehension by Visual Inspection and Animation (PCVIA) Description Program comprehension is the ability of fully understand a piece of computer code ...
This is a subscription service to be automatically notified by e mail when topics change in this Research/PCVIA web. This is a convenient service, so you do not ...
TWiki.Research/PCVIA Web Preferences The following settings are web preferences of the TWiki.Research/PCVIA web. These preferences overwrite the site level preferences ...
This is a subscription service to be automatically notified by e-mail when topics change in this Research/PCVIA web. This is a convenient service, so you do not have to come back and check all the time if something has changed. To subscribe, please add a bullet with your WikiName in alphabetical order to this list:
Format: <space><space><space>, followed by: * Main.yourWikiName (if you want that the e-mail address in your home page is used) * Main.yourWikiName - yourEmailAddress (if you want to specify a different e-mail address) * Main.anyTWikiGroup (if you want to notify all members of a particular TWikiGroup)
Related topics:TWikiUsers, TWikiRegistration
The following settings are web preferences of the TWiki.Research/PCVIA web. These preferences overwrite the site-level preferences in TWikiPreferences, and can be overwritten by user preferences (your personal topic, i.e. TWikiGuest in the TWiki.Main web)
Preferences:
List of topics of the TWiki.Research/PCVIA web:
Set WEBTITLE = Research.PCVIA Project
Web specific background color: (Pick a lighter one of the StandardColors)
If yes, set SITEMAPLIST to on, do not set NOSEARCHALL, and add the "what" and "use to..." description for the site map. Make sure to list only links that include the name of the web, e.g. Research/PCVIA.Topic links.
Set SITEMAPLIST = on
Set SITEMAPWHAT = Program Comprehension
Set SITEMAPUSETO = ...collaborate on
Exclude web from a web="all" search: (Set to on for hidden webs)
Set NOSEARCHALL =
Default template for new topics and form(s) for this web:
WebTopicEditTemplate? : Default template for new topics in this web. (Site-level is used if topic does not exist)
Web preferences that are not allowed to be overridden by user preferences:
Set FINALPREFERENCES = WEBTOPICLIST, DENYWEBVIEW, ALLOWWEBVIEW, DENYWEBCHANGE, ALLOWWEBCHANGE, DENYWEBRENAME, ALLOWWEBRENAME
Notes:
A preference is defined as: 6 spaces * Set NAME = value Example:
Set WEBBGCOLOR = #FFFFC0
Preferences are used as TWikiVariables by enclosing the name in percent signs. Example:
When you write variable %WEBBGCOLOR% , it gets expanded to #FFCC99 .
The sequential order of the preference settings is significant. Define preferences that use other preferences first, i.e. set WEBCOPYRIGHT before WIKIWEBMASTER since %WEBCOPYRIGHT% uses the %WIKIWEBMASTER% variable.
You can introduce new preferences variables and use them in your topics and templates. There is no need to change the TWiki engine (Perl scripts).
TWiki's Research/PCVIA web
http://wiki.di.uminho.pt/twiki/bin/view/Research/PCVIA
The Research/PCVIA web of TWiki. TWiki is a Web-Based Collaboration Platform for the Corporate World.en-usCopyright 2020 by contributing authorsTWiki Administrator [webmaster@di.uminho.pt]The contributing authors of TWikiTWikiDIUM.Research/PCVIA
http://wiki.di.uminho.pt/twiki/bin/view/Research/PCVIA
/twiki/pub/Main/LocalLogos/um_eengP.jpgBibtex
http://wiki.di.uminho.pt/twiki/bin/view/Research/PCVIA/Bibtex
MariaJoaoVaranda 12 Mar 2005 @InProceedings{VH01, author {M. J. Varanda and P. Henriques}, title {Visualization / Animation of Programs based on Abstract ... (last changed by MariaJoaoVaranda)2008-02-02T16:42:42ZMariaJoaoVarandaWebHome
http://wiki.di.uminho.pt/twiki/bin/view/Research/PCVIA/WebHome
News Program Comprehension by Visual Inspection and Animation (PCVIA) Description Program comprehension is the ability of fully understand a piece of computer code ... (last changed by MariaJoaoVaranda)2008-02-02T16:35:54ZMariaJoaoVarandaPcviaNews
http://wiki.di.uminho.pt/twiki/bin/view/Research/PCVIA/PcviaNews
Atenção à lista de conferências para 2008 MariaJoaoVaranda 28 Outubro 2007 Já estão disponíveis as actas das últimas reuniões. MariaJoaoVaranda 17 Junho 2007 ... (last changed by MariaJoaoVaranda)2007-10-28T11:39:36ZMariaJoaoVarandaWebSearchAdvanced
http://wiki.di.uminho.pt/twiki/bin/view/Research/PCVIA/WebSearchAdvanced
(last changed by TWikiGuest)2007-05-17T14:51:24ZguestWebPreferences
http://wiki.di.uminho.pt/twiki/bin/view/Research/PCVIA/WebPreferences
TWiki.Research/PCVIA Web Preferences The following settings are web preferences of the TWiki.Research/PCVIA web. These preferences overwrite the site level preferences ... (last changed by JoseBacelarAlmeida)2007-02-12T19:51:22ZJoseBacelarAlmeidaProjectDetails
http://wiki.di.uminho.pt/twiki/bin/view/Research/PCVIA/ProjectDetails
PedroRangelHenriques 29 Mar 2005 Formulário FEDER do projecto PCVIA (last changed by JoseBacelarAlmeida)2007-02-12T19:51:21ZJoseBacelarAlmeidaBibtexStyle
http://wiki.di.uminho.pt/twiki/bin/view/Research/PCVIA/BibtexStyle
Bibliography of Research/PCVIA project in bibtex reference style @InProceedings{VH01, author {M. J. Varanda and P. Henriques}, title {Visualization ... (last changed by JoseBacelarAlmeida)2007-02-12T19:51:20ZJoseBacelarAlmeidaTeste
http://wiki.di.uminho.pt/twiki/bin/view/Research/PCVIA/Teste
EvaOliveira 15 Mar 2005 (last changed by EvaOliveira)2005-03-15T22:18:06ZEvaOliveiraMenuTopics
http://wiki.di.uminho.pt/twiki/bin/view/Research/PCVIA/MenuTopics
Tópico (last changed by AlcinoCunha)2005-02-03T15:07:00ZAlcinoCunhaVodaNews
http://wiki.di.uminho.pt/twiki/bin/view/Research/PCVIA/VodaNews
(last changed by AlcinoCunha)2005-02-03T15:06:21ZAlcinoCunhaWebNotify
http://wiki.di.uminho.pt/twiki/bin/view/Research/PCVIA/WebNotify
This is a subscription service to be automatically notified by e mail when topics change in this Research/PCVIA web. This is a convenient service, so you do not ... (last changed by AlcinoCunha)2005-02-03T14:54:14ZAlcinoCunhaWebLeftBar
http://wiki.di.uminho.pt/twiki/bin/view/Research/PCVIA/WebLeftBar
Web Web Home Changes Index Search Webs (last changed by ArthurClemens)2004-08-16T09:01:46ZArthurClemensWebRss
http://wiki.di.uminho.pt/twiki/bin/view/Research/PCVIA/WebRss
TWiki's Research/PCVIA web /view/Research/PCVIA The Research/PCVIA web of TWiki. TWiki is a Web Based Collaboration Platform for the Corporate World. (last changed by PeterThoeny)2003-01-30T08:15:57ZPeterThoenyWebIndex
http://wiki.di.uminho.pt/twiki/bin/view/Research/PCVIA/WebIndex
See also the faster WebTopicList (last changed by PeterThoeny)2001-11-24T11:41:09ZPeterThoenyWebTopicList
http://wiki.di.uminho.pt/twiki/bin/view/Research/PCVIA/WebTopicList
See also the verbose WebIndex. (last changed by PeterThoeny)2001-11-24T11:40:47ZPeterThoenyWebChanges
http://wiki.di.uminho.pt/twiki/bin/view/Research/PCVIA/WebChanges
(last changed by PeterThoeny)2001-08-16T19:58:33ZPeterThoeny
@InProceedings{VH01,
author = {M. J. Varanda and P. Henriques},
title = {Visualization / Animation of Programs based on Abstract Representations and Formal Mappings},
booktitle = {HCC'01 - 2001 IEEE Symposia on Human-Centric Computing Languages and Environments},
year = {2001},
editor = {IEEE},
month = {September}
}
@InProceedings{VH02,
author = {P. Henriques and M. J. Varanda and M. Mernik and M. Lenic},
title = {Automatic Generation of Language-based Tools},
booktitle = {LDTA - Workshop on Language, Descriptions, Tools and Applications (ETAPS'02)},
year = {2002},
editor = {},
month = {April}
}
@InProceedings{VH03,
author = {M. J. Varanda and P. Henriques},
title = {Visualization / Animation of Programs in Alma: obtaining different results},
booktitle = {VMSE2003 - Symposium on Visual and Multimedia Software Engineering (HCC'03), New Zealand},
year = {2003},
editor = {},
month = {October}
}
@Article{HVMLGW05,
author = {Pedro Henriques and Maria João Varanda and Marjan Mernik and Mitja Lenic and Jeff Gray and Hui Wu},
title = {Automatic Generation of Language-based Tools using LISA System},
journal = {IEE Software Journal},
year = {2005},
OPTkey = {},
volume = {152},
number = {2},
pages = {54-70},
month = {April},
OPTnote = {},
OPTannote = {}
}
@InProceedings{OVH05,
author = {Eva Oliveira and Maria João Varanda and Pedro Henriques},
title = {Compreensão de Aplicações Web: O Processo e as Ferramentas},
booktitle = {CAPSI05 - Conferência da Associação Portuguesa de Sistemas de Informação, TWiki.ESTiG Bragança},
year = {2005},
editor = {},
month = {October}
}
@InProceedings{HBVU06a,
author = {Henriques P., Béron M., Varanda M.J., Uzal R.},
title = {Herramientas para la compresión de programas},
booktitle = {VIII Workshop de Investigadores en Ciencias de la Computación (WICC 2006), Universidade de Morón, Bs. As., Argentina},
year = {2006},
editor = {},
month = {}
}
@InProceedings{HBVU06b,
author = {Henriques P., Béron M., Varanda M.J., Uzal R.},
title = {Comprensión de Algoritmos de Ruteo},
booktitle = {XXXII Conferencia Latinoamericana de Informática (CLEI 2006),Santiago de Chile},
year = {2006},
editor = {},
month = {}
}
@InProceedings{BHVUM06,
author = {Béron M., Henriques P., Varanda M.J., Uzal R., Montejano G.},
title = {A Language Processing Tool for Program Comprehension},
booktitle = {CACIC'06 - XII Argentine Congress on Computer Science, Universidad Nacional de San Luis, Argentina},
year = {2006},
editor = {},
month = {}
}
@InProceedings{BHV06,
author = {Béron M., Henriques P., Varanda M.J.},
title = {A System for Evaluate and Understand Routing Algorithms},
booktitle = {Interacção'06, Universidade do Minho},
year = {2006},
editor = {},
month = {}
}
@InProceedings{OHV06,
author = {Eva Oliveira and Pedro Henriques and Maria João Varanda },
title = {Proposta de um Sistema para Compreensão de Aplicações Web},
booktitle = {CAPSI06 - Conferência da Associação Portuguesa de Sistemas de Informação, Univ. Aveiro},
year = {2007},
editor = {},
month = {January}
}
@InProceedings{BHVU07c,
author = {Mario Ber\'on and Pedro Rangel Henriques and M. Jo\~ao Varanda and Roberto Uzal},
title = {Program Inspection to Incerconnect Behavioral and Operational View for Program Comprehension},
booktitle = {York Doctoral Symposium, 2007},
publisher = {University of York, UK},
year = {2007},
editor = {},
month = {Oct}
}
@InProceedings{BHVU07b,
author = {Mario Ber\'on and Pedro Rangel Henriques and M. Jo\~ao Varanda and Roberto Uzal},
title = {Comprensi\'on de Programas por Inspecci\'on Visual y Animaci\'on},
booktitle = {IX Workshop de Investigadores en Ciencias de la Computación (WICC 2007), Argentina},
year = {2007},
editor = {},
month = {}
}
@InProceedings{BHVU07a,
author = {Mario Ber\'on and Pedro Rangel Henriques and M. Jo\~ao Varanda and Roberto Uzal},
title = {Static and Dynamic Strategies to Understand C Programs by Code Annotation},
booktitle = {OpenCert'07, 1st Int. Workshop on Fondations and Techniques for Open Source Software Certification (collocated with ETAPS'07)},
year = {2007},
editor = {},
month = {Apr}
}
@InProceedings{CPBFH07e,
author = {Daniela da Cruz and Maria João Varanda Pereira and Mário Béron and Rúben Fonseca and Pedro Rangel Henriques},
title = {Comparing Generators for Language-based Tools},
booktitle = {Proceedings of the 1.st Conference on Compiler Related Technologies and Applications, TWiki.CoRTA'07 ---
Universidade da Beira Interior, Portugal},
year = {2007},
editor = {},
month = {Jul},
}
@InProceedings{CPH07f,
author = {Daniela da Cruz and Maria João Varanda Pereira and Pedro Rangel Henriques},
title = {Pattern-based Program Visualization},
booktitle = {1st Workshop on Advances in Programming Languages, WAPL'07 --- evento satélite da
\textsf{International Multiconference on Computer Science and Information Technology, IMCSIT'07} --- Wisla, Polónia},
year = {2007},
editor = {},
month = {Oct},
}
@Misc{CH07g,
author = {Daniela da Cruz and Pedro Rangel Henriques},
title = {Slicing wxHaskell modules to derive the User Interface Abstract Model},
howpublished = {Poster in 1st Workshop on Advances in Programming Languages, WAPL'07 --- evento satélite da
\textsf{International Multiconference on Computer Science and Information Technology, IMCSIT'07} --- Wisla, Polónia},
month = {Oct},
year = {2007}
}
@Article{CHV07,
author = {Daniela da Cruz and Pedro Rangel Henriques and Maria João Varanda},
title = {Constructing program animations using a pattern-based approach},
journal = {ComSIS -- Computer Science an Information Systems Journal, Special Issue on Advances in Programming Languages},
editor = {Ivan Lukovic and Marjan Mernik (Guest Ed.)},
publisher = {Faculty of Technical Sciences, Trg Dositeja Obradovica 6, 21000 Novi Sad, Serbia},
year = {2007},
month = {Dec},
volume = {4},
number = {2},
pages = {97-114},
note = {ISSN: 1820-0214}
}
@InProceedings{BHVU07d,
author = {Mario Ber\'on and Pedro Rangel Henriques and M. Jo\~ao Varanda and Roberto Uzal},
title = {PICS una Herramienta para la Comprensión e Inspección de Programas},
booktitle = {CACIC'07 - XIII Argentine Congress on Computer Science},
publisher = {Corrientes, Argentina},
year = {2007},
editor = {},
month = {Aug}
}
@InProceedings{CHV08,
author = {Daniela da Cruz and Pedro Rangel Henriques and Maria João TWiki.VarandaCruz},
title= {Exploring and Visualizing the "Alma" of XML Documents},
booktitle= {XATA 2008 - XML: Aplicações e Tecnologias Associadas},
publisher= {Universidade de Évora},
year= {2008},
editor = {},
month = {Fev}
}
Bibliography of Research/PCVIA project in bibtex reference style
@InProceedings{VH01,
author = {M. J. Varanda and P. Henriques},
title = {Visualization / Animation of Programs based on Abstract Representations and Formal Mappings},
booktitle = {HCC'01 - 2001 IEEE Symposia on Human-Centric Computing Languages and Environments},
OPTcrossref = {},
OPTkey = {},
OPTpages = {},
year = {2001},
editor = {IEEE},
OPTvolume = {},
OPTnumber = {},
OPTseries = {},
OPTaddress = {},
month = {September},
OPTorganization = {},
OPTpublisher = {},
OPTnote = {},
OPTannote = {}
}
@InProceedings{VH02,
author = {P. Henriques and M. J. Varanda and M. Mernik and M. Lenic},
title = {Automatic Generation of Language-based Tools},
booktitle = {LDTA - Workshop on Language, Descriptions, Tools and Applications (ETAPS'02)},
OPTcrossref = {},
OPTkey = {},
OPTpages = {},
year = {2002},
editor = {},
OPTvolume = {},
OPTnumber = {},
OPTseries = {},
OPTaddress = {},
month = {April},
OPTorganization = {},
OPTpublisher = {},
OPTnote = {},
OPTannote = {}
}
@InProceedings{VH03,
author = {M. J. Varanda and P. Henriques},
title = {Visualization / Animation of Programs in Alma: obtaining different results},
booktitle = {VMSE2003 - Symposium on Visual and Multimedia Software Engineering (HCC'03), New Zealand},
OPTcrossref = {},
OPTkey = {},
OPTpages = {},
year = {2003},
editor = {},
month = {October},
}
Atenção à lista de conferências para 2008
-- MariaJoaoVaranda - 28 Outubro 2007
Já estão disponíveis as actas das últimas reuniões.
-- MariaJoaoVaranda - 17 Junho 2007
A nossa equipa continua a aumentar.
Digam olá ao Ruben.
-- MariaJoaoVaranda - 20 Setembro 2006
Abertura de uma BIC para implementar o sistema webappviewer.
Anúncio no fim da página.
-- MariaJoaoVaranda - 23 Agosto 2006
Atenção à nova lista de conferências
-- MariaJoaoVaranda - 11 Jul 2006
Já temos uma lista de ferramentas
-- EvaOliveira - 11 Jan 2006
Abstract para conferência CAPSI'05 elaborado
-- EvaOliveira - 14 Mar 2005
Acabei de Criar a Página para as citações bibliográficas
-- PedroRangelHenriques - 12 Mar 2005
Está abençoado...
-- PedroRangelHenriques - 04 Feb 2005
Nasceu o Research.PCVIA
-- MariaJoaoVaranda - 04 Feb 2005
MariaJoaoVaranda 12 Mar 2005 @InProceedings{VH01, author {M. J. Varanda and P. Henriques}, title {Visualization / Animation of Programs based on Abstract ...
News Program Comprehension by Visual Inspection and Animation (PCVIA) Description Program comprehension is the ability of fully understand a piece of computer code ...
Atenção à lista de conferências para 2008 MariaJoaoVaranda 28 Outubro 2007 Já estão disponíveis as actas das últimas reuniões. MariaJoaoVaranda 17 Junho 2007 ...
TWiki.Research/PCVIA Web Preferences The following settings are web preferences of the TWiki.Research/PCVIA web. These preferences overwrite the site level preferences ...
Bibliography of Research/PCVIA project in bibtex reference style @InProceedings{VH01, author {M. J. Varanda and P. Henriques}, title {Visualization ...
This is a subscription service to be automatically notified by e mail when topics change in this Research/PCVIA web. This is a convenient service, so you do not ...
Atenção à lista de conferências para 2008
-- MariaJoaoVaranda - 28 Outubro 2007
Já estão disponíveis as actas das últimas reuniões.
-- MariaJoaoVaranda - 17 Junho 2007
A nossa equipa continua a aumentar.
Digam olá ao Ruben.
-- MariaJoaoVaranda - 20 Setembro 2006
Abertura de uma BIC para implementar o sistema webappviewer.
Anúncio no fim da página.
-- MariaJoaoVaranda - 23 Agosto 2006
Atenção à nova lista de conferências
-- MariaJoaoVaranda - 11 Jul 2006
Já temos uma lista de ferramentas
-- EvaOliveira - 11 Jan 2006
Abstract para conferência CAPSI'05 elaborado
-- EvaOliveira - 14 Mar 2005
Acabei de Criar a Página para as citações bibliográficas
-- PedroRangelHenriques - 12 Mar 2005
Está abençoado...
-- PedroRangelHenriques - 04 Feb 2005
Nasceu o Research.PCVIA
-- MariaJoaoVaranda - 04 Feb 2005
Program Comprehension by Visual Inspection and Animation (Research.PCVIA)
Description
Program comprehension is the ability of fully understand a piece of computer code, written in a (high-level) programming language. As stated in the call-for-papers for IWPC'2004, Program Comprehension is on of the core software engineering activities, and is needed for reuse, inspection, maintenance, reverse engineering, reengineering, migration, and extension of existing software systems.
However, the comprehension of a program can have different meanings, or perspectives: we can be interested in the way the computer will execute the instructions, in order to understand the data or control flow; or the focus can be on the effects of program execution over the state of some (logical or physical)
device that is being manipulated by that program.
Anyway, we feel that a visual inspection tool is crucial to help the analyst in that task.
Moreover, we defend the idea that such a tool should be able to animate the execution, either to show the flow of data (the values affected to the program variables along the time) and the instructions path, or to show the transformations produced over the external device controlled by the program.
That visualization and animation tool should be able to offer both views above referred, and it would be desirable that it can handle different programming languages.
... for more details
Research.PCVIA aims at the exploitation of Alma to fulfill the above requirements for a program comprehension generic tool. For that we proposed the following tasks:
to study the state-of-art in Program Comprehension,
to develop the existing Alma prototype in two directions: fully implement the planned functionality and optimize its execution; redesign its interface in order to assure a successful usage,
to investigate and assess the application of Alma for Program Comprehension.
Henriques P., Béron M., Varanda M.J., Uzal R., Herramientas para la compresión de programas, VIII Workshop de Investigadores en Ciencias de la Computación (WICC06), Universidade de Morón, Bs. As., Argentina (bibtex).
Henriques P., Béron M., Varanda M.J., Uzal R., Comprensión de Algoritmos de Ruteo, XXXII Conferencia Latinoamericana de Informática (CLEI06), Santiago de Chile (bibtex).
Béron M., Henriques P., Varanda M.J., Uzal R., Montejano G., A Language Processing Tool for Program Comprehension , XII Argentine Congress on Computer Science (CACIC06), Universidad Nacional de San Luis, Argentina.(bibtex)
Béron M., Henriques P., Varanda M.J., A System for Evaluate and Understand Routing Algorithms, Interacção'06, Universidade do Minho (bibtex).
Oliveira E., Henriques P., Varanda M.J., Proposta de um Sistema para Compreensão de Aplicações Web, Conferência da Associação Portuguesa de Sistemas de Informação 2006 (CAPSI06), Aveiro, Portugal (bibtex)
Cruz D., Varanda 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.(bibtex)
Béron M., Uzal R., Henriques P., Varanda 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. (bibtex)
Béron M., Henriques P., Varanda 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'07), Braga, 2007. (bibtex)
Cruz D., Henriques P. Varanda M.J., Pattern-based Program Visualization, WAPL'07 - Workshop on Advanced Programming Languages, Wisla, Polónia, Outubro 2007. (bibtex)
Cruz D., Henriques P., Slicing wxHaskell modules to derive the User Interace Abstract Model, WAPL'07 - Workshop on Advanced Programming Languages, Wisla, Polónia, Outubro 2007. (poster) (bibtex)
Berón M., Henriques P., Varanda M., Uzal R., Program Inspection to Incerconnect Behavioral and Operational View for Program Comprehension, York Doctral Symposium, 2007, York, Inglaterra. (YDS 2007) (bibtex)
Berón M., Henriques P., Varanda M., Uzal R., PICS una Herramienta para la Comprensión e Inspección de Programas, Congreso Argentino de Ciencas de la Computación, 2007, Corrientes, Argentina. (CACIC 2007) (bibtex)
Berón M., Henriques P., Varanda M., Uzal R., Inspecção de Programas para Relacionar a Vista Comportamental e Operacional para a Compreensão de Programas, Simpósio Doutoral em Inteligência Artificial. 2007. Guimarães. Portugal.
Cruz D., Henriques P., Varanda 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 97-114, Dec 2007. (ISSN: 1820-0214) (bibtex)
Cruz D., Henriques P., Varanda M.J., Exploring and Visualizing the "Alma" of XML Documents, XATA 2008 - XML: Aplicações e Tecnologias Associadas, Universidade de Évora, 2008 (bibtex).
Program Comprehension - Página sobre Compreensão de Programas criada em 1997 por Richard Upchurch. Resumo: no contexto da compreensão de programas o aluno centra a sua atenção na sua construção do programa e não tenta compreender como é que aquele conjunto de instruções resolva o problema. A área da compreensão de programas não só é importante no âmbito do ensino da programação mas também em actividades industriais relacionadas com inspecções e revisões de código. O uso de exemplos na compreensão depende muito da facilidade em extrair de cada um deles a informação apropriada. Uma pessoa que use esses exemplos sem qualquer estratégia pode não tirar qualquer proveito deles. É importante compreender os modelos cognitivos já identificados e estudados para planear uma actividade de aprendizagem (Brooks, Shneiderman, Letovsky, Soloway, Ehrlich and Pennington). Alguns destes autores falam na distinção entre o conhecimento técnico e conhecimento de domínio e defendem que se atinge a compreensão quando se faz o mapeamento entre os dois conhecimentos. Há várias abordagens à compreensão: desde tentar compreender as partes e depois num proceso bottom-up compreender o todo; abordagens baseadas em check-list distribuídas por vários revisores e em várias perspectivas; dividir o programa fazendo projecções que incluem apenas as instruções que afectam determinada variável (esta divisão permite encontrar o significado semântico do programa que pode não corresponder a instruções seguidas).
A Survey of Reverse Engineering and Program Comprehension - Apresenta um conjunto de conceitos, problemas e abordagens para automatizar o processo de recolha de informação dos programas; Fala também da compreensão de programas como o resultado de um refinamento sincronizado entre a compreensão do desenho e a compreensão do código.
Supporting Program Comprehension Using Semantic and Strutural Information - Descobre a semântica das palavras por estudos estatísticos dos contextos onde as palavras aparecem. Está muito relacionado com o processamento de linguagem natural. Produz estatísticas dos vários ficheiros do sistema com o objectivo de o compreender.
Visualization and Animation
Program Comprehension in Multi-Language systems - Apresenta uma abordagem baseada no mapeamento das linguagens fonte num representação interna onde são descritos os conceitos mais abstractos comuns a várias linguagens. O resultado final é um desenho onde se podem observar todas as componentes do programa e seus relacionamentos.
Web Comprehension
Comprehending Web Applications by a Clustering Based Approach - Propõe um método para decompor uma aplicação Web em componentes, agrupados por funcionalidades. O agrupamento é explorado por uma algoritmo que produz uma heirarquia, que permite a compreensão da referida aplicação Web.
Towards Better Understanding of Web Applications - É apresentada uma framework para recuperar arquitecturas de aplicações Web, com o objectivo de proporcionar navegabilidade na arquitectura recuperada e compreensão da aplicação.
Program Comprehension Tools
Classic Program Comprehension Tools
SHrimp - Ferramenta interactiva de Compreensão de Programas Java.
Creole - Ferramenta de análise visual de código Java (plug-in do Eclipse e baseia-se em SHrimp).
Imagix 4D - Ferramenta para programadores melhor compreender programas em C e C++ já desenvolvidos.
Rigi - Ferramenta desenvolvida para compreender e redocumentar software.
CodeSurfer - Navegador de código que ajuda a compreender apontadores, chamadas indirectas a funções, todos os efeitos do programa.
CANTO - Ambiente de compreensão e manutenção de software.
xSuds � Ferramenta de análise e visualização de software.
Seesoft � Ferramenta de visualização de estatísticas de software.
MOOSE � Ferramenta de reengenharia que permite a visualização, análise e manipulação de sistemas de software complexos.
CodeCrawler � Ferramenta de reengenharia que combina as métricas com a visualização de software.
GUPRO � Família de ferramentas de suporte à compreensão de programas baseadas em grafos.
Bauhaus � Ferramenta para análise de programas e reengenharia.
Tools just for maintenance
SPOOL�CIA � Ferramenta de análise de impacto de alterações
Dali � extracção, manipulação e interpretação de informação sobre a arquitectura do sistema.
MariaJoaoVaranda 12 Mar 2005 @InProceedings{VH01, author {M. J. Varanda and P. Henriques}, title {Visualization / Animation of Programs based on Abstract ...
Bibliography of Research/PCVIA project in bibtex reference style @InProceedings{VH01, author {M. J. Varanda and P. Henriques}, title {Visualization ...
Atenção à lista de conferências para 2008 MariaJoaoVaranda 28 Outubro 2007 Já estão disponíveis as actas das últimas reuniões. MariaJoaoVaranda 17 Junho 2007 ...
News Program Comprehension by Visual Inspection and Animation (PCVIA) Description Program comprehension is the ability of fully understand a piece of computer code ...
This is a subscription service to be automatically notified by e mail when topics change in this Research/PCVIA web. This is a convenient service, so you do not ...
TWiki.Research/PCVIA Web Preferences The following settings are web preferences of the TWiki.Research/PCVIA web. These preferences overwrite the site level preferences ...
This is a subscription service to be automatically notified by e-mail when topics change in this Research/PCVIA web. This is a convenient service, so you do not have to come back and check all the time if something has changed. To subscribe, please add a bullet with your WikiName in alphabetical order to this list:
Format: <space><space><space>, followed by: * Main.yourWikiName (if you want that the e-mail address in your home page is used) * Main.yourWikiName - yourEmailAddress (if you want to specify a different e-mail address) * Main.anyTWikiGroup (if you want to notify all members of a particular TWikiGroup)
Related topics:TWikiUsers, TWikiRegistration
The following settings are web preferences of the TWiki.Research/PCVIA web. These preferences overwrite the site-level preferences in TWikiPreferences, and can be overwritten by user preferences (your personal topic, i.e. TWikiGuest in the TWiki.Main web)
Preferences:
List of topics of the TWiki.Research/PCVIA web:
Set WEBTITLE = Research.PCVIA Project
Web specific background color: (Pick a lighter one of the StandardColors)
If yes, set SITEMAPLIST to on, do not set NOSEARCHALL, and add the "what" and "use to..." description for the site map. Make sure to list only links that include the name of the web, e.g. Research/PCVIA.Topic links.
Set SITEMAPLIST = on
Set SITEMAPWHAT = Program Comprehension
Set SITEMAPUSETO = ...collaborate on
Exclude web from a web="all" search: (Set to on for hidden webs)
Set NOSEARCHALL =
Default template for new topics and form(s) for this web:
WebTopicEditTemplate? : Default template for new topics in this web. (Site-level is used if topic does not exist)
Web preferences that are not allowed to be overridden by user preferences:
Set FINALPREFERENCES = WEBTOPICLIST, DENYWEBVIEW, ALLOWWEBVIEW, DENYWEBCHANGE, ALLOWWEBCHANGE, DENYWEBRENAME, ALLOWWEBRENAME
Notes:
A preference is defined as: 6 spaces * Set NAME = value Example:
Set WEBBGCOLOR = #FFFFC0
Preferences are used as TWikiVariables by enclosing the name in percent signs. Example:
When you write variable %WEBBGCOLOR% , it gets expanded to #FFCC99 .
The sequential order of the preference settings is significant. Define preferences that use other preferences first, i.e. set WEBCOPYRIGHT before WIKIWEBMASTER since %WEBCOPYRIGHT% uses the %WIKIWEBMASTER% variable.
You can introduce new preferences variables and use them in your topics and templates. There is no need to change the TWiki engine (Perl scripts).
TWiki's Research/PCVIA web
http://wiki.di.uminho.pt/twiki/bin/view/Research/PCVIA
The Research/PCVIA web of TWiki. TWiki is a Web-Based Collaboration Platform for the Corporate World.en-usCopyright 2020 by contributing authorsTWiki Administrator [webmaster@di.uminho.pt]The contributing authors of TWikiTWikiDIUM.Research/PCVIA
http://wiki.di.uminho.pt/twiki/bin/view/Research/PCVIA
/twiki/pub/Main/LocalLogos/um_eengP.jpgBibtex
http://wiki.di.uminho.pt/twiki/bin/view/Research/PCVIA/Bibtex
MariaJoaoVaranda 12 Mar 2005 @InProceedings{VH01, author {M. J. Varanda and P. Henriques}, title {Visualization / Animation of Programs based on Abstract ... (last changed by MariaJoaoVaranda)2008-02-02T16:42:42ZMariaJoaoVarandaWebHome
http://wiki.di.uminho.pt/twiki/bin/view/Research/PCVIA/WebHome
News Program Comprehension by Visual Inspection and Animation (PCVIA) Description Program comprehension is the ability of fully understand a piece of computer code ... (last changed by MariaJoaoVaranda)2008-02-02T16:35:54ZMariaJoaoVarandaPcviaNews
http://wiki.di.uminho.pt/twiki/bin/view/Research/PCVIA/PcviaNews
Atenção à lista de conferências para 2008 MariaJoaoVaranda 28 Outubro 2007 Já estão disponíveis as actas das últimas reuniões. MariaJoaoVaranda 17 Junho 2007 ... (last changed by MariaJoaoVaranda)2007-10-28T11:39:36ZMariaJoaoVarandaWebSearchAdvanced
http://wiki.di.uminho.pt/twiki/bin/view/Research/PCVIA/WebSearchAdvanced
(last changed by TWikiGuest)2007-05-17T14:51:24ZguestWebPreferences
http://wiki.di.uminho.pt/twiki/bin/view/Research/PCVIA/WebPreferences
TWiki.Research/PCVIA Web Preferences The following settings are web preferences of the TWiki.Research/PCVIA web. These preferences overwrite the site level preferences ... (last changed by JoseBacelarAlmeida)2007-02-12T19:51:22ZJoseBacelarAlmeidaProjectDetails
http://wiki.di.uminho.pt/twiki/bin/view/Research/PCVIA/ProjectDetails
PedroRangelHenriques 29 Mar 2005 Formulário FEDER do projecto PCVIA (last changed by JoseBacelarAlmeida)2007-02-12T19:51:21ZJoseBacelarAlmeidaBibtexStyle
http://wiki.di.uminho.pt/twiki/bin/view/Research/PCVIA/BibtexStyle
Bibliography of Research/PCVIA project in bibtex reference style @InProceedings{VH01, author {M. J. Varanda and P. Henriques}, title {Visualization ... (last changed by JoseBacelarAlmeida)2007-02-12T19:51:20ZJoseBacelarAlmeidaTeste
http://wiki.di.uminho.pt/twiki/bin/view/Research/PCVIA/Teste
EvaOliveira 15 Mar 2005 (last changed by EvaOliveira)2005-03-15T22:18:06ZEvaOliveiraMenuTopics
http://wiki.di.uminho.pt/twiki/bin/view/Research/PCVIA/MenuTopics
Tópico (last changed by AlcinoCunha)2005-02-03T15:07:00ZAlcinoCunhaVodaNews
http://wiki.di.uminho.pt/twiki/bin/view/Research/PCVIA/VodaNews
(last changed by AlcinoCunha)2005-02-03T15:06:21ZAlcinoCunhaWebNotify
http://wiki.di.uminho.pt/twiki/bin/view/Research/PCVIA/WebNotify
This is a subscription service to be automatically notified by e mail when topics change in this Research/PCVIA web. This is a convenient service, so you do not ... (last changed by AlcinoCunha)2005-02-03T14:54:14ZAlcinoCunhaWebLeftBar
http://wiki.di.uminho.pt/twiki/bin/view/Research/PCVIA/WebLeftBar
Web Web Home Changes Index Search Webs (last changed by ArthurClemens)2004-08-16T09:01:46ZArthurClemensWebRss
http://wiki.di.uminho.pt/twiki/bin/view/Research/PCVIA/WebRss
TWiki's Research/PCVIA web /view/Research/PCVIA The Research/PCVIA web of TWiki. TWiki is a Web Based Collaboration Platform for the Corporate World. (last changed by PeterThoeny)2003-01-30T08:15:57ZPeterThoenyWebIndex
http://wiki.di.uminho.pt/twiki/bin/view/Research/PCVIA/WebIndex
See also the faster WebTopicList (last changed by PeterThoeny)2001-11-24T11:41:09ZPeterThoenyWebTopicList
http://wiki.di.uminho.pt/twiki/bin/view/Research/PCVIA/WebTopicList
See also the verbose WebIndex. (last changed by PeterThoeny)2001-11-24T11:40:47ZPeterThoenyWebChanges
http://wiki.di.uminho.pt/twiki/bin/view/Research/PCVIA/WebChanges
(last changed by PeterThoeny)2001-08-16T19:58:33ZPeterThoeny