Learning and Activity Patterns in OSS Communities and their Impact on Software Quality (Antonio Cerrone)
OSS projects can be considered as learning and development environments in which heterogeneous communities get together to exchange knowledge through discussion and put it into practice through actual contributions to software development, revision and testing. OSS communities are open participatory ecosystems in which actors create not only source code but a large variety of resources that include the implicit and explicit definitions of learning processes and the establishment and maintenance of communication and support systems. Productivity, in terms of software development and release, is thus the final act of a very long and complex evolution and growth in the individual and collective knowledge and practise.Individuals' participation in the OSS community evolves through time. It starts from an initial but often significantly long learning process in which communication is heavily used to capture, describe and understand contents, while no production activity is performed. At a later stage the role of communication gradually moves to the proposal of new contents, the defense of the proposed contents and the criticism to existing contents or contents proposed by others. At the same time, during this stage, production activity starts as a trial and error process with a consequent low quality in the resultant product and little or no immediately visible impact on the project productivity. Only during a mature stage the quality and level of code developed, reports and commits become important and communication is mainly used to support own productive contributions and contrast them to others' contributions.This talk presents a framework to analyse learning and activity patterns that characterise participation of individuals in OSS communities. Then it defines notions of OSS quality and relate them to individual and community learning and activity patterns. Finally two new proposals to improve the OSS development process and to realise the OSS learning process in an educational context are presented and then related to OSS quality.
10:30
Coffee break
11:00
The GUISurfer tool (Carlos Silva)
Graphical user interfaces (GUIs) are critical components of today's software. Developers are dedicating a larger portion of code to implementing them. Given their increased importance, correctness of GUIs code is becoming essential. This talk describes GUISurfer, a tool to reverse engineer the GUI layer of interactive computing systems. The ultimate goal of the tool is to enable analysis of interactive system from source code.
11:30
Test case generation from mutated task models (José Creissac Campos)
This talk describes an approach to the model-based testing of graphical user interfaces from task models. Starting from a task model of the system under test, oracles are generated whose behaviour is compared with the execution of the running system. The use of task models means that the effort of producing the test oracles is reduced. It does also mean, however, that the oracles are confined to the set of expected user behaviours for the system. The talk focuses on solving this problem. It shows how task mutations can be generated automatically, enabling a broader range of user behaviours to be considered. A tool, based on a classification of user errors, generates these mutations. A number of examples illustrate the approach.
12:00
CROSS Open Source Software Certification Portal (Pedro Martins)
The CROSS project consists on a combination of tools that, together or singularly perform different analysis on software to create feedback related to performance, errors or overall quality. As consequence, such project needs an infrastructure that not only makes this analysis available to anyone who needs it, but also allows him to adapt both the tools and the analysis to his particular needs. What's more, any user should be able to create his own analysis tools that should seamlessly integrate with the already supported features. In this presentation, we will show how such infrastructure, in the form of an online portal, should be created to perform powerful analysis of software systems, but also how it should easily allow all the community to integrate his own tools and evaluation schemas to fulfill each particular need.
12:30
Lunch
14:00
Infrastructure for Quality Software Development (Miguel Veiga, Multicert SA)
In this talk we present an Infrastructure based on Open Source tools that is used by development teams at Multicert SA. The objective of any software company is to produce software with increasingly higher quality. As such, this infrastructure is designed to be integrated with the development processes currently implemented, in order to make them more efficient and automated as possible and at the same time have a fast and constant feedback about the overall quality of software being developed. All of this in a logic of Continuous Integration and with help of software quality assessment.
15:00
Task 5: Slicing Techniques Applied to OSS (Daniela Cruz)
Overview of task 5 of the project.
15:05
Verifying calling paths with GamaPolarSlicer (Sérgio Areias)
In this presentation it will be introduced GamaPolarSlicer and its role in the verification of calling paths of annotated components. However, due to its limitations, we decided to use as an internal component a symbolic executor that has already proved in practice to be effective and produce good results --- JavaPathFinder. This tool, mainly known as a software model checker, will be introduced and it will be also explained how it complies precisely with our requirements to improve GamaPolarSlicer, extending it to other data types.
15:30
The Role of Best Practices in Assessing Software Quality (Pedro Rangel Henriques)
Thousands of open source software projects are available for collaboration in platforms like Github or Sourceforge. Along the years, open source communities created their own standards and best practices. However, like traditional software, open source software projects have different quality levels. The traditional way to assess the quality of a software project is based on software metrics. Nevertheless, the classic software metrics do not take into account the best practices established by the community. This paper discusses what should be taken into account to measure a project in terms of best practices, having as case study the open source ruby language.
16:00
Comment Analysis for Program Comprehension : the Role of Comments on Program Comprehension (José Freitas)
Comments are considered to be the most practical form to document software, specially for program understandibility purposes. Quality comments must be enlightening by establishing a bridge between the Program and Problem Domain, according to the good practices. This presentation has the goal to describe the work done on the study of Program and Problem domain information included on comments of a set of Java software projects. The work done so far as been the support for the development of a Comment Analysis Program Comprehension tool.
16:30
Coffee break
17:00
Specialized Information Gathering and Sharing (Nuno Carvalho)
This presentation is about tools and techniques that are being used to gather specific information from software packages. How to define where to look for data to increase the accuracy of the information gathered, not only from source code but also from other relevant files (documentation, makefiles, readmes, etc). It will also focus on the environment architecture for the process of gathering information and infering knowledge in the context of the CROSS project.
17:30
Patterns for Architectural Analysis and Systems Integration (Nuno Oliveira)
If, in one way or another, architectural decisions end up hard-wired in the application code, architectural analysis of legacy systems intends to retrace and uncover such decisions from suitable, automatically generated representation structures (typically variants of program dependence graphs). Coordination patterns, in this context, are precise and re-usable abstractions of such decisions that can be analyzed and discovered in the legacy code. In this session I will discuss how to discover and disentangle coordination code resorting to the identification of coordination patterns in source code. In particular, I will introduce CoordL, a language to define coordination patterns that can be built compositionally, from a small set of combinators. CoordL is integrated with CoordInspector -- a tool for coordination analysis -- into an environment which allows the definition and discovery of patterns and their reuse.
Policy-Driven Electronic Governance and Opportunities for Software-Focused Research (Tomasz Janowski)
This talk will discuss the concept of electronic governance and its evolution along the last 2 decades. We'll then identify problems, models, trends and research challenges for this domain, highlighting the role and challenges put to and by Open Source Software and Open Standards.
10:15
A Web Portal for the Certification of Open Source Software (Pedro Martins)
In this talk we will present a web portal for the certification of open source software. The portal aims at helping programmers in the internet age, when there are (too) many open source reusable libraries and tools available. Our portal offers programmers a web-based and easy setting to analyze and certify open source software, which is a crucial step to help programmers choosing among many available alternatives, and to get some guarantees before using one piece of software.The paper presents our first prototype of such web portal. It also describes in detail a domain specific language that allows programmers to describe with a high degree of abstraction specific open source software certifications. The design and implementation of this language is the core of the web portal.
10:45
Coffee break
11:00
Open Source Software Documentation Mining for Quality Assessment (Nuno Carvalho)
Besides source code, the fundamental source of information about Open Source Software lies in documentation, and other non source code files, like README, INSTALL, or HowTo files, commonly available in the software ecosystem. These documents, written in natural language, provide valuable information during the software development stage, but also in future maintenance and evolution tasks. DMOSS (Documentation Mining Open Source Software) is a toolkit designed to systematically assess the quality of non source code text found in software packages. The toolkit handles a package as an attribute tree, and performs several tree traverse algorithms through a set of plugins, specialised in retrieving specific metrics from text, gathering information about the software. These metrics are later used to infer knowledge about the software, and composed together to build reports that assess the quality of specific features of the software. This presentation discusses the motivations for this work, continues with a description of the toolkit implementation and design goals. Illustrates an example of its usage to process software package,s and the produced reports. Finally some conclusions and trends for future work are presented.
11:30
FLOSS in Technology-Enhanced Learning (Sara Fernandes)
This talk presents a comparative analysis of Free/Libre Open Source Software (FLOSS) Learning Management System (LMS). Following a selection process we analyze the functionalities and characteristics of 8 tools commonly used in formal and informal education. More specifically we focus on the availability of different tools concerning communication and assistance, such as, forum, email, calendar, portfolios, etc. Our analysis showed that despite their similarities, the appropriateness of different FLOSS LMSs can be greatly affected by the specific needs of students, instructors and institutions. We will also discuss the relevance of software quality and its certification in this context.
12:00
From Raw Data to Virtual Globes on the Mobile Phone (Jorge Rocha)
...
12:30
Lunch
14:30
Modelery: A Models Refinery (Rui Couto)
Models play a relevant role in the development and analysis of software systems. Over the years we have been developing a number of model based approaches to support different phases of software development. This has results in a number of languages, tools, and, more importantly, a large number of actual actual models. From our need to archive, organize, store and retrieve all these research output, stemmed the development of a web based repository for Model Driven Development artifacts. In this repository we intent to store all kind of artifacts, such as models, patterns, meta-models and processes. In order to provide community functionalities and support information exchange, social functionalities, such as discussion groups have been included. This talk describes the main features of the repository.
15:00
Comment Analysis for Program Comprehension (Daniela Cruz)
Comments are interspersed by the Programmer among code lines, at software development phase, with two main purposes: to help himself during the development phase; to help other programmers later on, during the maintenance phase. The former are memos to help him remembering to do something; they are not useful for those willing to understand code. The latter are explanations about the ideas he has in mind when he wrote the code; they can be a relevant aid for others and should be taken into consideration as a first step in program comprehension. In this talk we will discuss an approach to locate a relevant code chunk (one where the programmer should focus the attention for software maintenance), using information retrieval techniques to locate problem domain concepts within comments. In our approach, comments are isolated marking their type (inline, block or javadoc comment) and keeping their context (code lines to which they are associated). Picking up concepts from the ontology that describes the problem, it is possible to find all the comments that contain that concept (similar words) and rate them. Reading comments from the retrieved list, the programmer can select those that seem to him meaningful and dive directly into the associated chunk. In the talk, we will also survey Comment Analysis techniques and describe an environment, Darius, that aims at automatizing the approach proposed.
15:30
On the Use of GUI Implementation Languages as Modelling Languages (Carlos Silva)
The current diversity of available devices and form factors increases the need for model-based techniques to support adapting applications from one device to another. Most work on user interface modelling is built around declarative markup languages. Markup languages play a relevant role, not only in the modelling of user interfaces, but also in their implementation. However, the languages used by each community (modellers/developers) have, to a great extent evolved separately. This means that the step from concrete model to final interface becomes needlessly complicated, requiring either compilers or interpreters to bridge this gap. In this talk we compare a modelling language (UsiXML? ) with several markup implementation languages. We analyse if it is feasible to use the implementation languages as modelling languages.
16:00
Automated Test Generation Using CBMC (Rui Gonçalo)
Test generation remains a largely manual process in industry, bringing high costs and time consuming to the testing phase. An automated mechanism able to produce test cases and achieve full coverage becomes mandatory. The evolution of model checkers and new techniques, namely, bounded model checking, introduce effective ways to perform the desired automated test generation. The CBMC tool applies bounded model checking to ANSI C programs in order to verify safety properties. However, it has been proved that CBMC might be used to generate tests in critical software industry, achieving the required coverage. (slides)
Software quality assessment is a crucial process in software development. To evaluate source code quality it is essential to use tools that help to analyse the code in its different aspects. Sonar is an open source tool used to analyse and manage source code quality. In this talk will we present a Sonar plugin (the TreeCycle) for design qual- ity assessment of Java programs. The TreeCycle plugin represents the dependencies between packages in a tree graph highlighting it’s dependency cycles. Moreover, for each package it represents in a graphical way the results of a suite of metrics for object-oriented design. This plugin provides an overall picture of the design quality of Java projects. We will make a concise presentation of the Sonar platform. We will also briefly describe the ISO/IEC 9126 model for software product quality and the main suites of object-oriented design metrics that are use in the plugin.
GamaSlicer: an online laboratory for program verification and analysis
Daniela Cruz
In the context of Software Engineering, Program Verification is a valuable area for program development, as is Program Analysis for program maintenance, but both should be effective. In this talk, we present a tool (GamaSlicer) that is two fold: a Verification Condition Generator and a Slicer. On one hand, it generates a set of proof obligations for a software component annotated with pre and postconditions (written in Java+JML). Generating such proof obligations in the SMT-lib language, we enable the use of different automatic provers (e.g. Z3, Alt-Ergo, CVC3, etc). The tool allows the execution step-by-step of the VCGen algorithm; it is particularly useful for teaching Program Verification. On the other hand, a set of slicing algorithms can be applied to the same annotated software component, for program analysis. These slicing algorithms take the annotations of a component into account to remove spurious code that does not contribute to the contract verification. In addition to pre and postcondition based slicing algorithms, the tool implements a new approach to specification-based slicing, that considers both preconditions and postconditions. This is a novelty of our work at the theoretical level, and in fact other current work at this level is being progressively incorporated in the tool. GamaSlicer is a module of GamaProject that also includes GamaViz, another tool to help program analysis; GamaProject will also be outlined.
GUISurfer as a starting point for CROSS Task 3 (slides)
João Carlos Silva
Correctness of GUI’s code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This talk presents a generic approach for language-independent reverse engineering of graphical user interface based applications. It explores the integration of testing techniques in the proposed approach, thus allowin fogr the detection of faults in the GUI under analysis. A prototype tool has been constructed (GUISurfer), which is already capable of deriving and testing a user interface behavioral model of applications written in Java/Swing and WxHaskell.
The goal of the CROSS project is to strengthen the role of open source software (OSS) in the European IT sector. Actually, open source
software is increasingly important for public and industrial organizations, but its quality can be very hard to measure. This makes
its use a risk. This risk could be substantially reduced if there were appropriate standards, supported by analysis tools, for
certifying such software. Developing such tools, making them widely available for the OSS community, and, in the long term,
contributing for the creation of an international certification authority for open source software, such are the general goals of the
research context for this project.
Stated as above, this represents a huge working program, certainly far behind what may be achieved in the context of this project.
Highly motivated by the OSS certification challenge, the team decided on the following strategic approach which we believe has
potential for developing concrete and incisive, even if partial, answers to the problem. The envisaged strategy has 4 fundamental
options: select a number of specific problems in OSS certification to address; develop techniques for both code and
documentation analysis; develop an open certification infra-structure for OSS projects; frame the whole project into a
collaboration with a leading IT company, heavy user of OSS. These 4 options are detailed in the sequel.
(I) Organise a research proposal not claiming any sort of (pseudo-)universal solutions, but addressing a number of very specific
problems in the OSS certification domain. Two thirds of CROSS will be devoted to developing new techniques and solutions for
such four concrete problems:
How can OSS be certified in terms of safety of execution?
How to certify the composition process on assembling a stack of OSS components?
How to certify the interface layer of OSS applications?
How to extract and analyse underlying architectural information from OSS-based systems?
The choice of these 4 problems was dictated by
- their practical relevance, in particular from the point of view of IT industry aiming at integrating OSS components in larger
applications, as indication of the team´s industrial consultant from Multicert;
- the team´s specific expertise in the relevant domains; in particular we intend to harness methods and results from the team
involvement on past and current research projects to address the specific problems of the OSS certification challenge, concretely,
and by problem:
RESCUE: REliable and Safe Code execUtion for Embedded systems (FCT-funded project PTDC/EIA/65862/2006) which aims at providing innovative, efficient and expressive mechanisms for the secure implementation and execution of code, with an emphasis on problems posed by embedded systems.
CACE: Computer Aided Cryptography Engineering, FP7 European project started in 2008, where the team is involved in the Formal Verification and Validation workpackage, aiming at globally address both functional and security requirements in cryptographic software implementations, analyzing the transformations between different levels of abstraction, and harssning previous scientific results in formal validation, verification and certification of secure software.
Several research projects with industry in the context of the Open Geospatial Consortium (OGC). A team member is serving as leader of the Portuguese OSGeo Local Chapter, promoting and developing Geospatial Open Source technologies in Portugal.
IVY: A model-based usability analysis environment (FCT-funded project POSC/EIA/56646/2004) which aimed at developing a model based tool for the analysis of interactive systems designs.
PURe: Program Understanding and Re-engineering: Calculi and Applications (FCT-funded project POSI/CHS/44304/2002) which was a broad scope project, rated as Excellent in its final evaluation, aimed at developing rigourous calculi for program understanding and re-engineering.
Further we should mention the team involvement in launching and maintaining the OpenCert, in partnership with the United Nations University; and
in organising the series of Summer Schools in Generative and Transformational Techniques in Software
Engineering (GTTSE), in the broad area of program understanding.
Each of these problems correspond to a specific task in the project workplan (tasks T1 to T4, respectively).
(II) Supporting research on the 4 problems mentioned above, the project include two working directions directly devoted to the
development of Program Understanding techniques that can be most useful in the analysis of OSS, despite their certainly broader
application. We decided to focus on 2 different techniques, among several possible choices:
Code slicing, which is fundamental to a number of methodologies of program analysis
Documentation mining which is supposed to complement program analysis with knowledge discovery through mining in the extensive on-the-fly documentation that usually accompanies OSS releases. This includes static information (eg, change logs in the source code control system and history files) as well as dynamica data, as in documented on-line discussions (eg, mailing lists, wikis, etc). We believe this line of inquiry is particularly suited for OSS understanding.
The project includes a specific task (tasks T5 and T6) devoted to point a. and b., respectively.
(III) The third strategic option concerns how to render the project results close to the OSS developing community, in order to get
their feedback and pave the way for an effective impact of this research effort. Therefore, we decide to organise the CROSS
project around the development and animation of an online infrastructure --- the Certification Portal --- in which independently
developed analysis and visualisation tools can be inserted and used. All the tools developed within the project will be made
available to the OSS community through this Portal, and we expect more will follow.
Monitoring (rather than controlling) is the main idea: the Certification Portal will not only provide support for OSS analysis, but
also make the evolution of OSS projects clearly visible to the OSS community. In the long run, it is expectable that, feedback
loops made possible through this Portal, will have some effective impact in the overall quality of OSS products, with minimal
intrusion on the peculiar, but successful OSS development life-cycle.
The emphasis the team puts in this strategy is witnessed by the decision to mention it explicitly in the project title.
(IV) Last but not least, the team decide to frame this research effort into a collaboration with a leading IT company for which
reducing the risk associated to OSS components in its own solutions is a major concern. The team has therefore contacted
Multicert and invited its General Manager, Dr J. P. Miranda, to act as non funded consultant to the project.
Multicert has an extensive experience in OSS development and integration, specially in tailored security-related big projects. Those
include electronic postmarking (recognized with the 2006 APDC/Siemens innovation award), electronic voting (piloted in the 2004
European Elections and the 2005 National Elections) and electronic invoicing (used by Portugal Telecom). The company is also a
reference player in digital certification and OSS security solutions, used in several key projects, namely in the Portuguese Citizen
Card, Electronic Passport and Residence Permit. Also related with the CROSS proposal, it should be mentioned that Multicert is
one of the proponents of CESecore submission to the Eurostars EC Programme, whose aim is to develop
an open source Security Core product, certified against Common Criteria EAL 4+, that will secure a wide range of services.
Tasks
T1: Safety Analysis for OSS
T2: Combining OSS: Certication of Software Stacks
T3: Graphical User Interface Analysis for OSS
The goal of this task is to develop techniques and tools that will enable analysis of the user interface layer of software systems from source code. GUISurfer, a tool to reverse engineer Java/Swing GUI code, is being used as the starting point for this task. Two complementary lines of work are being pursued:
extending the back-end (that is, generalising the approach to new languages and toolkits);
extending the front-end (that is, enabling the generation of new types of models in order to extend the analyses which can be performed).
Regarding the back-end, the available version of GUISerfer has been implemented with a view on making it as generic as possible. Experiments have been made that indicate it will be possible to apply to a range of event-based user interface development toolkits and languages. We are building on that initial work to develop new back ends. Currently, we are working with WxHaskell and GWT. WxHaskell, in particular, represents a rather different programming paradigm (functional) but initial results have provided positive indications regarding the feasibility of such attempt.
At the front-end, work at generating state machines has been carried out. State machines seem like a natural candidate for representing a user interface's dialogue control model, but other alternatives need to be explored (for example, task models or human-readable documentation of user interface features).
State charts and ConcurTaskTrees are behavioural models that open the way to a number of possibilities: comparing different systems (or versions of the same system) to determine compatibility at the level of supported user interactions, using metrics and algorithms over graphs to reason about the characteristics of such interactions; or comparing implementations to models - for example, using model based-testing to compare a new version of a system with the model of its previous release as a way of performing regression testing.
Static analysis is also being considered. The goal here is to enable the analyses of the user interface from a structural point of view. GUISurfer is already capable of generating flow diagrams identifying all objects in the interface and the dependencies between them.
Informa-se que se encontra aberto concurso para atribuição de uma Bolsa de Investigação, com a duração de 9 meses, eventualmente renovável, e início previsto para 1 de Julho, no âmbito do Projecto "CROSS - Uma infraestrutura para a certificação e re-engenharia de Software Livre" - Refª PTDC/EIA-CCO/108995/2008, financiado pela Fundação para a Ciência e a Tecnologia.
Objectivos:
Realização de trabalhos de investigação no âmbito da utilização de técnicas de verificação formal para a geração de testes e análise de cobertura.
Orientação científica:
Profs. Maria João Frade e Jorge Sousa Pinto (Dep. Informática, UM)
Informa-se que se encontra aberto concurso para atribuição de uma Bolsa de Investigação para Licenciado, com a duração de 9 meses, no âmbito do Projecto "CROSS - Uma infraestrutura para a certificação e re-engenharia de Software Livre" - Refª PTDC/EIA-CCO/108995/2008, financiado por o Programa COMPETE - Programa Operacional Factores de Competitividade e pela Fundação para a Ciência e a Tecnologia.
Objectivos:
Realização de trabalhos de investigação no desenvolvimento de uma ferramenta de “bounded model checking” de programas imperativos, com recurso à utilização de ferramentas de prova SMT.
Orientação científica:
Prof. Jorge Sousa Pinto (Dep. Informática, UM)
Período de candidaturas: de 28 de Junho a 11 de Julho de 2011
Informa-se que se encontra aberto concurso para atribuição de uma Bolsa de Investigação para Licenciado, com a duração de 9 meses, no âmbito do Projecto "CROSS - Uma infraestrutura para a certificação e re-engenharia de Software Livre" - Refª PTDC/EIA-CCO/108995/2008, financiado por o Programa COMPETE - Programa Operacional Factores de Competitividade e pela Fundação para a Ciência e a Tecnologia.
Objectivos:
Realização de trabalhos de investigação, no desenvolvimento de um portal para a certificação de software livre.
Orientação científica:
Prof. João Alexandre Saraiva (Dep. Informática, UM)
Período de candidaturas: de 16 a 30 de Junho de 2011
Informa-se que se encontra aberto concurso para atribuição de uma Bolsa de Investigação para Mestre, com a duração de 6 meses, no âmbito do Projecto "CROSS - Uma infraestrutura para a certificação e re-engenharia de Software Livre" - Refª PTDC/EIA-CCO/108995/2008, financiado por o Programa COMPETE - Programa Operacional Factores de Competitividade e pela Fundação para a Ciência e a Tecnologia.
Objectivos:
Realização de trabalhos de investigação no desenvolvimento de técnicas e metodologias para a análise e reconstrução de informação arquitectural a partir de código livre legado e projectos activos de desenvolvimento de software livre. Definição e teste de metodologias de e-learning enquadradas nesses projectos.
Orientação científica: Prof. Luís Soares Barbosa (Dep. Informática, UM)
Período de candidaturas: de 27 de Maio a 9 de Junho de 2011
Informa-se que se encontra aberto concurso para atribuição de uma Bolsa de Investigação para Licenciado, com a duração de 6 meses, no âmbito do Projecto "CROSS - Uma infraestrutura para a certificação e re-engenharia de Software Livre" - Refª PTDC/EIA-CCO/108995/2008, financiado por o Programa COMPETE - Programa Operacional Factores de Competitividade e pela Fundação para a Ciência e a Tecnologia.
Objectivos:
Identificação de stacks de software open source de ampla utilização, no domínio dos SIG;
Concretização de uma stack de software open source que disponibilize um Web Service W3DS, por composição de componentes de software já existentes;
Identificação clara da interligação entre as componentes utilizadas na composição anterior;
Substituição de componentes por outras funcionalmente equivalentes e avaliação do impacto dessa substituição na composição desenvolvida.
Orientação científica: Professor Jorge Gustavo Rocha (Dep. Informática, UM)
Período de candidaturas: de 26 de Maio a 8 de Junho de 2011
Informa-se que se encontra aberto concurso para atribuição de uma Bolsa de Investigação, com a duração de 9 meses, eventualmente renovável, com início previsto para 1 de Novembro de 2010, no âmbito do Projecto "CROSS - Uma infraestrutura para a certificação e re-engenharia de Software Livre" - Refª PTDC/EIA-CCO/108995/2008, financiado pela Fundação para a Ciência e a Tecnologia.
Objectivos:
Realização de trabalhos de investigação na área da análise de software, extracção de informação estruturada, a partir do código fonte de pacotes de distribuição de software Open-Source, e da respectiva documentação.
Orientação científica:
Prof. José João Dias de Almeida (Dep. Informática, UM)
Período de candidaturas: 12 a 26 de Outubro de 2010
Informa-se que se encontra aberto concurso para atribuição de uma Bolsa de Investigação, com a duração de 9 meses, eventualmente renovável, e início previsto para 1 Março, no âmbito do Projecto "CROSS - Uma infraestrutura para a certificação e re-engenharia de Software Livre" - Refª PTDC/EIA-CCO/108995/2008, financiado pela Fundação para a Ciência e a Tecnologia.
Objectivos:
Realização de trabalhos de investigação na área da análise de software e do ‘slicing predicativo’ orientados para o estudo comportamental de componente de software, com vista a aumentar a segurança na reutilização. O trabalho esperado será dividido em duas componente: uma focada na reutilização de software; e outra no ‘design by contract’. Especificamente, os objectivos serão: ajudar na tarefa de reutilização de componentes anotadas, extraindo e mostrando as anotações; verificar a satisfação do contrato, que anota a componente a reutilizar, em cada ponto de invocação dessa componente; inferir anotações para componentes disponíveis em repositórios reutilizáveis.
Orientação científica:
Prof. Pedro Rangel Henriques (Dep. Informática, UM)
Período de candidaturas: 8 a 22 de Fevereiro de 2010
Informa-se que se encontra aberto concurso para atribuição de uma Bolsa de Investigação, com a duração de 9 meses, eventualmente renovável, e início previsto para 15 de Fevereiro, no âmbito do Projecto "CROSS - Uma infraestrutura para a certificação e re-engenharia de Software Livre" - Refª PTDC/EIA-CCO/108995/2008, financiado pela Fundação para a Ciência e a Tecnologia.
Objectivos:
Realização de trabalhos de investigação na área da análise da camada de interface de aplicações interactivas a partir do código fonte. Pretende-se continuar o desenvolvimento de uma ferramenta de engenharia reversa de interfaces com o utilizador já existente (o GUISurfer). Duas linhas de trabalho deverão ser exploradas de modo complementar: generalizar a ferramenta para novas tecnologias de desenvolvimento de interfaces (por exemplo JavaScript, GWT e WxHaskell); possibilitar a geração de novos tipos de modelos de interface (por exemplo, modelos de tarefas).
Orientação científica:
Prof. José Creissac Campos (Dep. Informática, UM)
Período de candidaturas: 25 de Janeiro a 8 de Fevereiro de 2010
Over the past decade, the Open Source Software (OSS) phenomenon has had a global impact on the way software systems and
software-based services are developed, distributed and deployed. Widely acknowledged benefits of OSS include reliability, low
development and maintenance costs, as well as rapid code turnover. Linux distributions, Apache and MySQL, serve among many
other examples, as a testimony to its success and resilience.
Companies become aware that integrating OSS into commercial products (made available by liberal OSS licences) reduce
development costs while offering high-quality, extensively tested components. Furthermore, Governments become aware of
growing dependence on proprietary formats and software in their administration, and regard OSS as a warranty of technological
independence (which turns out to a strategic advantage, mainly in the developing world).
However, state-of-the-art OSS, by the very nature of its open, unconventional, distributed development model, makes software
quality assessment, let alone full certification, particularly hard to achieve and raises important challenges both from the
technical/methodological and the managerial points of view.
This makes the use of OSS, and its integration within industrial-strength applications, with stringent security requirements, a risk.
This state of affairs has been identified either in the OSS (as witnessed, for example, in an increasing number of mentions in
recent editions of the IFIP Conf. on OSS) and in the Formal Methods communities (OSS as a target domain for FM appears was
recognised in recent editions of FM and SEFM international conferences). A series of workshops promoted by the United Nations
University, with the acronym OpenCert, have addressed specifically this challenge since 2007. Finally, the relevance of this
problem is further emphasised by a number of panels organised in OSS forums (eg, the OSS Watcher) and industry oriented
initiatives.
The vision
In such a context, the aim of this project is twofold:
(1) Developing new program understanding and analysis techniques and combine them for quality assessment of open source
code. The nature of OSS entails the need for integration of techniques spanning the "micro" to the "macro" levels (e.g., from
slicing to architectural recovery) and with different levels of formality (e.g. from statistical analysis based on code metrics to the
identification and formal verification of hidden invariants).
(2) Smoothly integrating such techniques into the OSS very peculiar development process without disturbing its collaborative,
distributed and heterogeneous character.
The first objective implies to scale up program understanding techniques, and their combination with formal verification methods,
to OSS.
Achieving the second, means to establish feedback loops in OSS development, making publicly available a number of interrelated
analysis tools, to enhance the overall software quality, but without disturbing the peculiar, but very successful, OSS development
life-cycle. The project intends to design and implement an online infrastructure -- the certification portal -- in which
independently developed analysis tools (with different levels of sophistication) are to be inserted for monitoring, assessment and,
at a later stage, certification of OSS products. Such an infrastructure will allow for the registration of OSS projects, their source
code visualisation and analysis at different levels, as well as the rendering of analysis results in suitable, flexible formats to both
OSS developers and users.
Such a strategy has potential for a long-term impact on the integration of trustworthy, OSS components, in large, complex
systems. The CROSS project will, therefore, develop in interaction with Multicert, one of the leading portuguese companies, using
OSS in landmark projects such as electronic voting and the recent Portuguese Citizen Card initiative.
The Team
The team has a mature record in high-level research both in Formal Methods for software certification, a area it pioneered in
Portugal 25 years ago, and Program Understanding. Recently, its involvement in the PURe project (2003-06) contributed with
several techniques and tools for code analysis and program understanding, with more than 40 papers published. Team members
will also build on the experience carried out in the context of the IVY and RESCUE FCT-funded projects, and CACE, EU FP7 project,
working on both functional and security requirements in cryptographic software implementations.
Team members are the founders of the successful series of summer schools on Generative and Transformational Techniques in
Software Engineering (GTTSE), organized in 2005, 2007 and 2009 in Braga (LNCS, vols. 4143 and 5235, Springer).
On the other hand, the team has been involved in the ongoing debate on OSS certification, having organised, with the United
Nations University, the first OpenCert workshop at ETAPS´07, and serving on the steering committee of the follow-up network.
A. Sanchez, N. Oliveira, L. S. Barbosa, and P. R. Henriques, "A perspective on architectural re-engineering", in Science of Computer Programming, 2013, Elsevier (in print).
S. Fernandes, L. S. S. Barbosa, and A. Cerone, "FLOSS communities as learning networks", in International Journal of Information and Education Technology, 3(2):95–146, 2013, IACSIT Press.
P. Martins, J.P. Fernandes, J. Saraiva, "A combinator language for software quality reports", in International Journal of Computer and Communication Engineering, Volume 2, Number 3, pp. 377-382, May 2013.
A. Simões and N.R. Carvalho, "Desenvolvimento de Aplicações em Perl com FreeLing 3", Linguamática, Volume 4, Number 2, 2012, pp. 87–92, UVigo.
J. Barros, D. da Cruz, P.R. Henriques, J.S. Pinto, "Assertion-based Slicing and Slice Graphs", Formal Aspects of Computing, Volume 24, Number 2, 2012, Springer.
M.J. Frade, J.S. Pinto, "Verification Conditions for Source-level Imperative Programs", in Computer Science Review, Volume 5, Issue 3, August 2011, pp. 252-277, Elsevier.
S. Areias, D. Cruz, P.R. Henriques, J.S. Pinto, "GammaPolarSlicer", ComSIS, Computer Science an Information Systems Journal, (special issue on Advances in Formal Languages, Modeling and Applications), Vol. 8, Num. 2, pp. 477-499, May 2011.
L.S. Barbosa, A. Cerone, A.K. Petrenko, S.A. Shaikh, "Certification of open-source software: A role for formal methods?", International Journal of Computer Systems Science and Engineering, CRL Publishing Ltd. Vol. 25, Nº4, pp.273-281, 2010.
Book
J. B. Almeida, M. J. Frade, J. S. Pinto, S. Melo de Sousa. "Rigorous Software Development - An Introduction to Program Verification". Undergraduate Topics in Computer Science, Springer, 2011. ISBN 978-0-85729-017-5.
Book Chapters
J.C. Campos, J. Saraiva, C. Silva and J.C. Silva. "GUIsurfer: A Reverse Engineering Framework for User Interface Software". In A.C. Telea, editor, Reverse Engineering - Recent Advances and Applications, pages 31-54. InTech, 2012.
Conference Papers
S. Fernandes, M. H. Martinho, L S. Barbosa, and A. Cerone, "Integrating formal and informal learning through a FLOSS-based innovative approach", in Gert-Jan de Vreede and Julita Vassileva, editors, 19th International Conference on Collaboration and Technology (CRIWG’13), Lecture Notes in Computer Science, 2013, Springer (accepted for publication).
S. Fernandes, A. Cerone, L S. Barbosa, and P. M. Papadopoulos, "FLOSS in technology-enhanced learning", in Antonio Cerone and Donatella Persico, editors, 1st International Symposium on Innovation and Sustainability in Education (InSuEdu’12), Lecture Notes in Computer Science, Thessaloniki, Greece, October 2013. Springer (in print).
P. Martins, N.R. Carvalho, J.P. Fernandes, J.J. Almeida, J. Saraiva, "A Framework for Modular and Customizable Software Analysis", in Proceedings of the 13th International Conference on Computational Science and Its Applications (ICCSA 2013), Ho Chi Minh City, Vietnam, pp. 443-458, Lecture Notes in Computer Science, 2013, Springer.
N. Oliveira and J.G. Rocha. "Tiling 3D Terrain Models", in Proceedings of Computational Science and Its Applications -- ICCSA 2013, Heidelberg, pp. 550-561, Volume 7971 of Lecture Notes in Computer Science, 2013, Springer.
N. Oliveira and J.G. Rocha. "Web 3D Service Implementation", in Proceedings of Computational Science and Its Applications -- ICCSA 2013, Heidelberg, pp. 538-549, Volume 7973 of Lecture Notes in Computer Science, 2013, Springer.
N.R. Carvalho, A. Simões and J.J. Almeida, "Defining a Probabilistic Translation Dictionaries Algebra", in XVI Portuguese Conference on Artificial Inteligence (EPIA 2013) (forthcoming).
N.R. Carvalho, "An Ontology Toolkit for Problem Domain Concept Location in Program Comprehension", in Proceedings of the 2013 International Conference on Software Engineering (ICSE 2013), San Francisco, USA, IEEE Press, 2013.
N.R. Carvalho, A. Simões and J.J. Almeida, "Open Source Software Documentation Mining for Quality Assessment", in Advances in Information Systems and Technologies, Olhão, Portugal, 2013.
D. Cruz, "Semantic-based Slicing through the use of Program Contracts", in 1st International Workshop on Interference and Dependence (ID2013), January 21, 2013, Roma, Italy.
N.R. Carvalho, A. Simões and J.J. Almeida, "Probabilistic SynSet Based Concept Location", in Proceedings of the 1st Symposium on Languages, Applications and Technologies (SLATE 2012), Braga, Portugal, 2012.
P. Martins, J.P. Fernandes, J. Saraiva, "A Purely Functional Combinator Language for Process Management,", in Proceedings of the 1st Symposium on Languages, Applications and Technologies (SLATE 2012), Braga, Portugal, 2012.
N.R. Carvalho, A. Simões and J.J. Almeida, "Generating flex Lexical Scanners for Perl Parse::Yapp", in Proceedings of the 1st Symposium on Languages, Applications and Technologies (SLATE 2012), Braga, Portugal, 2012.
P. Martins, J.P. Fernandes, J. Saraiva, "A Web Portal for the Certification of Open Source Software", Proceedings of the 6th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2012) (Satellite Event of SEFM'12), Thessaloniki, Greece, 2012.
N. Oliveira and J.G. Rocha. "Geoserver based W3DS", in AGILE 3D Web Visualization Workshop, Avignon, France, April 2012.
J.G. Rocha, N. Oliveira, P. Machado, P. Mendes, and R. Alves. "Servicio Web 3D (W3DS) en Geoserver", in VI JORNADAS DE SIG LIBRE. Servei de Sistemes D’Informació Geogràfica I Telederecció, Universitat de Girona, 2012.
D. Cruz, M.J. Frade, J. S. Pinto, "Verification Conditions for Single-assignment Programs", in Software Verification and Testing 2012, (a track of the ACM 27th Symposium On Applied Computing, SAC 2012), March 26-30, 2012, Riva de Garcia (Trento), Italy.
M. Regedor, D. Cruz, P.R. Henriques, "The role of best practices in assessing software quality", in Luis Barbosa and Dimitrius Settas, editors, Proceedings of the 5th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2011) (Satellite Event of SEFM'11), Montevideu, Uruguay. EASST, 2011. (pdf)
Sara S. Fernandes, "Quality, success, communication and contribution in open source software", in Luis Barbosa and Dimitrius Settas, editors, Proceedings of the 5th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2011) (Satellite Event of SEFM'11), Montevideu, Uruguay. EASST, 2011.
L.S. Barbosa, P.R. Henriques, Alejandro Sanchez, "Towards rigorous analysis of Open Source Software", in Volker Stolz and Sun Meng, editors, Proceedings of 5th International Workshop on Harnessing Theories for Tool Support in Software, TTSS'2011, Oslo, September 2011.
N. Carvalho, A. Simões, J.J. Almeida, P.R. Henriques, M.J. Varanda, "PFTL: A Systematic Approach for Describing Filesystem Tree Processors", in Luis Caires and Raul Barbosa, editors, INForum 2011; Simpósio de Informática (CoRTA2011 track), Coimbra, Portugal, Setembro 2011. Universidade de Coimbra. (pdf)
N. Carvalho, J.J. Almeida, A. Simões, "Weaving OML in a General Purpose Programming Language", in Luis Caires and Raul Barbosa, editors, INForum 2011; Simpósio de Informática (CoRTA2011 track), Coimbra, Portugal, Setembro 2011. Universidade de Coimbra. (pdf)
P. Martins, P. Lopes, J.P. Fernandes, J. Saraiva, J. Cardoso, "Program and Aspect Metrics for MATLAB", in the proceedings of the 12th International Conference on Computational Science and Its Applications (ICCSA 2012), Salvador da Bahia, Brasil, pp. 217-233, Volume 7336 of Lecture Notes in Computer Science, 2012, Springer.
A. Barbosa, A. Paiva and J.C. Campos, "Test Case Generation from Mutated Task Models", in Paternò, Luyten, Maurer, Dewan and Santoro, editors, Proceedings of the ACM Symposium on Engineering Interactive Computing Systems (EICS 2011), pages 175-184. Pisa, Italy - June 13-16, 2011.
N. Carvalho, A. Simões, J.J. Almeida, "xml2pm: A Tool for Automatic Creation of Object Definitions Based on XML Instances", XATA2011 - 9ª Conferência Nacional em XML, Aplicações e Tecnologias Aplicadas, Vila do Conde, Portugal, Junho de 2011. (pdf)
N. Carvalho, A. Simões, J.J. Almeida, "OML: A Scripting Approach for Manipulating Ontologies", 6ª Conferência Ibérica de Sistemas e Tecnologias de Informação, Chaves, Portugal, Junho de 2011. (pdf)
J.L. Freitas, D. Cruz, P.R. Henriques, "The role of Comments on Program Comprehension", in Luis Caires and Raul Barbosa, editors, INForum 2011; Simpósio de Informática (CoRTA2011 track), Coimbra, Portugal, Setembro 2011. Universidade de Coimbra. (pdf)
A. Simões, N. Carvalho, J.J. Almeida, "Testing as a Certification Approach", Proc. of 4th Int. Wksh. on Foundations and Techniques for Open Source Software Certification (OpenCert 2010), Pisa, Italy, September 2010, Electronic Communications of the EASST, volume 33 (2010), 10 pages. (pdf)
J.C. Silva, J.C. Campos, J.A. Saraiva, "GUI Inspection from Source Code Analysis", Proc. of 4th Int. Wksh. on Foundations and Techniques for Open Source Software Certification (OpenCert 2010), Pisa, Italy, September 2010, Electronic Communications of the EASST, volume 33 (2010), 18 pages.
S. Areias, D. Cruz, P.R. Henriques, J.S. Pinto, "GammaPolarSlicer, a Contract-based Tool to Help on Reuse", Proc. of INForum 2010 - Simpósio de Informática (CoRTA2010 track), Braga, Portugal, September 2010, Universidade do Minho, pp. 137-148. (pdf)
S. Areias, D. Cruz, P.R. Henriques, J.S. Pinto, "Safe Integration of Annotated Components in Open Source Projects", Proc. of 4th Int. Wksh. on Foundations and Techniques for Open Source Software Certification (OpenCert 2010), Pisa, Italy, September 2010, Electronic Communications of the EASST, volume 33 (2010), 17 pages.
S. Areias, D. Cruz, J.S. Pinto, "Contract-based Slicing helps on safety Reuse (poster)", Proc. of 18th Int. Conf. on Program Comprehension (ICPC'10), Braga, Portugal, June 2010, IEEE Computer Society, CPS, pp. 62-63. (pdf)
J.C. Silva, C.E. Silva, R.D. Gonçalo, J.A. Saraiva, J.C. Campos, "The GUISurfer tool: towards a language independent approach to reverse engineering GUI code", In Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '10), Berlin, Germany, June 19-23, 2010, ACM, pp. 181-186.
J.C. Silva, C.E. Silva, J.C. Campos, J.A. Saraiva, "GUI Behavior from Source Code Analysis", Proc. of 4a. Conf. Nac. em Interacção Humano-Computador (Interacção 2010), Aveiro, Portugal, Outubro 2010, pp. 81-88.
Thesis
Carlos Miguel Regedor Torres, "Analyzing and Measuring Open-Source Projects". MSc thesis. Escola de Engenharia, Universidade do Minho, Abril, 2013. (pdf)
Nuno Gil Correia Veloso da Veiga, "Generating Automated Test Cases Based on Models". MSc thesis. Escola de Engenharia, Universidade do Minho, Abril, 2012. (pdf)
José Luís Freitas. "Comments Analysis for Program Comprehension". MSc thesis. Escola de Engenharia, Universidade do Minho, December, 2011. (pdf)
Daniela Cruz. "Verification, Slicing, and Visualization of Programs with Contracts". PhD thesis. Escola de Engenharia, Universidade do Minho, October 2011. (pdf)
Sérgio Areias. "Contracts and Slicing for Safety Reuse". MSc thesis. Escola de Engenharia, Universidade do Minho, December, 2010. (pdf)
João Miguel Veiga. "Quality Assessment of Java Source Code". MSc thesis. Escola de Engenharia, Universidade do Minho, December, 2010. (pdf)
Carlos Eduardo Silva. "Reverse Engineering of Rich Internet Applications". MSc thesis. Escola de Engenharia, Universidade do Minho, Setembro, 2010. (pdf)
João Carlos Silva. "GUIsurfer: A Generic Framework for Reverse Engineering of Graphical User Interfaces". PhD thesis. Escola de Engenharia, Universidade do Minho, December 2010. (pdf)
Technical Reports
Paulo Almeida, "Globo Virtual (Android)", Departamento de Informática, Universidade do Minho, Junho 2013. (pdf)
R. Gonçalo, "Automated Teste Generation Survey", Departamento de Informática, Universidade do Minho, December 2012. (pdf)(slides)
J.J. Pereira, "Fundamentos do `Bounded Model Checking' de Programas", Departamento de Informática, Universidade do Minho, November 2012. (pdf)
Nuno Oliveira, "Web 3D Service", Departamento de Informática, Universidade do Minho, Junho 2012. (pdf)
S. Areias, D. da Cruz, P.R. Henriques, "GamaPolarSlicer, technical report", University of Minho, June 2012. (pdf)
J.M. Veiga, M.J. Frade, "TreeCycle: a Sonar plugin for design quality assessment of Java programs". Techn. Report CROSS-10.07-1. Departamento de Informática, Universidade do Minho, July 2010. (pdf)
Report Publication
Please update on uploading a new report: YY.MM-n, n being sequential inside each month.
TWiki's Research/CROSS webThe Research/CROSS web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise.http://wiki.di.uminho.pt/twiki/bin/view/Research/CROSSCopyright 2020 by contributing authors2013-07-12T20:15:38ZPublicationshttp://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/Publications2013-07-12T20:15:38ZProject Publications and Reports Journal Papers A. Sanchez, N. Oliveira, L. S. Barbosa, and P. R. Henriques, "A perspective on architectural re engineering ... (last changed by MariaJoaoFrade)MariaJoaoFradeToolshttp://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/Tools2013-07-08T09:41:16ZTools TreeCycle : a Sonar plugin for design quality assessment of Java programs (version 1.0) (version 1.2) GUISurfer : A Reverse engineering tool for GUI code ... (last changed by MariaJoaoFrade)MariaJoaoFradeWebHomehttp://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/WebHome2013-06-03T14:52:21ZAn Infrastructure for Certification and Re engineering of Open Source Software This project aims at developing new program understanding and analysis techniques and ... (last changed by JorgeSousaPinto)JorgeSousaPintoWebPreferenceshttp://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/WebPreferences2013-01-09T15:43:54ZResearch/CROSS Web Preferences The following settings are web preferences of the Research/CROSS web. These preferences overwrite the site level preferences ... (last changed by JoseFaria)JoseFariaNewshttp://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/News2013-01-03T11:22:37Z17 Nov 12 CROSS Workshop 23 Jun 11 CROSS Workshop 22 Jun 10 First paper published! (GUISurfer tool: ...) 24 Feb 10 Kick Off Meeting 6 Oct 09 CROSS website ... (last changed by MariaJoaoFrade)MariaJoaoFrade2ndWorkshophttp://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/2ndWorkshop2012-12-20T09:02:35Z2nd CROSS Workshop: 19th December 2012, Braga Location: DI A1 Programme 9:30 Welcome (Maria João Frade) 9:40 Policy Driven Electronic Governance and Opportunities ... (last changed by MariaJoaoFrade)MariaJoaoFradeWebSideBarhttp://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/WebSideBar2012-12-17T13:16:52ZOverview Home Project Description Intranet Team Research Team Job Opportunities Results Publications Tools Portal Events ... (last changed by MariaJoaoFrade)MariaJoaoFrade1stWorkshophttp://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/1stWorkshop2012-12-17T11:02:10Z1st CROSS Workshop: 2nd July 2011, Braga Programme 9:20 Welcome (Maria João Frade) 9:30 Learning and Activity Patterns in OSS Communities and their Impact ... (last changed by MariaJoaoFrade)MariaJoaoFrade2stWorkshophttp://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/2stWorkshop2012-12-17T01:54:14Z (last changed by MariaJoaoFrade)MariaJoaoFradeTeamhttp://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/Team2012-11-17T00:57:45ZResearch Team Simões Cruz Carlos Silva (PhD Student) João Carlos Silva (PhD Student) Saraiva (UM Staff) Gustavo Rocha (UM Staff) ... (last changed by MariaJoaoFrade)MariaJoaoFradeJobshttp://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/Jobs2012-07-11T14:29:47ZJob Opportunities BI 2 Informa se que se encontra aberto concurso para atribuição de uma Bolsa de Investigação, com a duração de 9 meses, eventualmente renovável ... (last changed by MariaJoaoFrade)MariaJoaoFradeCrossCafehttp://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/CrossCafe2011-06-29T17:00:58ZCROSS Café Wednesdays at 14:30 in the DI meeting room The CROSS Café is a monthly scientific colloquium organized by the CROSS project. Moderator: João Frade. Attendance ... (last changed by MariaJoaoFrade)MariaJoaoFradeDescriptionhttp://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/Description2011-06-29T16:59:49ZProject Description Plan and Methods The goal of the CROSS project is to strengthen the role of open source software (OSS) in the European IT sector. Actually, open ... (last changed by MariaJoaoFrade)MariaJoaoFradePrivhttp://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/Priv2009-11-12T19:27:50ZMariaJoaoFrade 12 Nov 2009 (last changed by MariaJoaoFrade)MariaJoaoFradeCalendarhttp://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/Calendar2009-11-12T18:36:52Z (last changed by MariaJoaoFrade)MariaJoaoFradeProjectSummaryhttp://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/ProjectSummary2009-10-08T17:31:38ZProject Summary The Problem Over the past decade, the Open Source Software (OSS) phenomenon has had a global impact on the way software systems and software based ... (last changed by MariaJoaoFrade)MariaJoaoFrade
Project Publications and Reports Journal Papers A. Sanchez, N. Oliveira, L. S. Barbosa, and P. R. Henriques, "A perspective on architectural re engineering ...
An Infrastructure for Certification and Re engineering of Open Source Software This project aims at developing new program understanding and analysis techniques and ...
Research/CROSS Web Preferences The following settings are web preferences of the Research/CROSS web. These preferences overwrite the site level preferences ...
17 Nov 12 CROSS Workshop 23 Jun 11 CROSS Workshop 22 Jun 10 First paper published! (GUISurfer tool: ...) 24 Feb 10 Kick Off Meeting 6 Oct 09 CROSS website ...
1st CROSS Workshop: 2nd July 2011, Braga Programme 9:20 Welcome (Maria João Frade) 9:30 Learning and Activity Patterns in OSS Communities and their Impact ...
Job Opportunities BI 2 Informa se que se encontra aberto concurso para atribuição de uma Bolsa de Investigação, com a duração de 9 meses, eventualmente renovável ...
CROSS Café Wednesdays at 14:30 in the DI meeting room The CROSS Café is a monthly scientific colloquium organized by the CROSS project. Moderator: João Frade. Attendance ...
Project Description Plan and Methods The goal of the CROSS project is to strengthen the role of open source software (OSS) in the European IT sector. Actually, open ...
Project Summary The Problem Over the past decade, the Open Source Software (OSS) phenomenon has had a global impact on the way software systems and software based ...
An Infrastructure for Certification and Re-engineering of Open Source Software
This project aims at developing new program understanding and analysis techniques and combine them for quality assessment of open source code and
smoothly integrating such techniques into the open source software very peculiar development process without disturbing its collaborative, distributed and heterogeneous character.
This Project is funded by ERDF - European Regional Development Fund through the COMPETE Programme (operational programme for competitiveness) and by National Funds through the FCT - Fundação para a Ciência e a Tecnologia (Portuguese Foundation for Science and Technology) within project FCOMP-01-0124-FEDER-010049
Supported by
under contract PTDC/EIA-CCO/108995/2008 (116 KEuro)
1st CROSS Workshop: 2nd July 2011, Braga Programme 9:20 Welcome (Maria João Frade) 9:30 Learning and Activity Patterns in OSS Communities and their Impact ...
CROSS Café Wednesdays at 14:30 in the DI meeting room The CROSS Café is a monthly scientific colloquium organized by the CROSS project. Moderator: João Frade. Attendance ...
Project Description Plan and Methods The goal of the CROSS project is to strengthen the role of open source software (OSS) in the European IT sector. Actually, open ...
Job Opportunities BI 2 Informa se que se encontra aberto concurso para atribuição de uma Bolsa de Investigação, com a duração de 9 meses, eventualmente renovável ...
17 Nov 12 CROSS Workshop 23 Jun 11 CROSS Workshop 22 Jun 10 First paper published! (GUISurfer tool: ...) 24 Feb 10 Kick Off Meeting 6 Oct 09 CROSS website ...
Project Summary The Problem Over the past decade, the Open Source Software (OSS) phenomenon has had a global impact on the way software systems and software based ...
Project Publications and Reports Journal Papers A. Sanchez, N. Oliveira, L. S. Barbosa, and P. R. Henriques, "A perspective on architectural re engineering ...
An Infrastructure for Certification and Re engineering of Open Source Software This project aims at developing new program understanding and analysis techniques and ...
Research/CROSS Web Preferences The following settings are web preferences of the Research/CROSS 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/CROSS 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:
Each TWiki web has an automatic e-mail notification service that sends you an e-mail with links to all of the topics modified since the last alert.
Users subscribe to email notifications using their WikiName or an alternative email address, and can specify the webs/topics they wish to track using one of these bullet list formats:
three spaces * [ webname . ] wikiName - SMTP mail address three spaces * [ webName . ] wikiName three spaces * SMTP mail address three spaces * SMTP mail address : topics three spaces * [ webname . ] wikiName : topics
In the above examples, topics is a space-separated list of topic names. The user may further customize the specific content they will receive using the following formats:
Specify topics without a Web. prefix
Topics must exist in this web.
Topics may be specified using * wildcards
Each topic may optionally be preceded by a '+' or '-' sign. The '+' sign means "subscribe to this topic" (the same as not putting anything). The '-' sign means "unsubscribe" or "don't send notifications regarding this topic". This allows users to elect to filter out certain topics (and their children, to an arbitrary depth). Topic filters ('-') take precedence over topic includes ('+').
Each topic may optionally be followed by an integer in parentheses, indicating the depth of the tree of children below that topic. Changes in all these children will be detected and reported along with changes to the topic itself. Note This uses the TWiki "Topic parent" feature.
Each topic may optionally be immediately followed by an exclamation mark ! or a question mark ? with no intervening spaces, indicating that the topic (and children if there is a tree depth specifier as well) should be mailed out as complete topics instead of change summaries. ! causes the topic to be mailed every time even if there have been no changes, ? will mail the topic only if there have been changes to it. This only makes sense for subscriptions.
For example:
Subscribe Daisy to all changes to topics in this web.
* daisy.cutter@flowers.com
Subscribe Daisy to all changes in all webs that start with Web.
* daisy.cutter@flowers.com: Web*
Subscribe Daisy to changes to topics starting with Petal, and their immediate children, WeedKillers and children to a depth of 3, and all topics that match start with Pretty and end with Flowers e.g. PrettyPinkFlowers
Subscribe Daisy to the full content of NewsLetter whenever it has changed
* daisy@flowers.com: TWiki.NewsLetter?
Subscribe buttercup to NewsLetter and its immediate children, even if it hasn't changed.
* buttercup@flowers.com: TWiki.NewsLetter! (1)
Subscribe GardenGroup (which includes Petunia) to all changed topics under AllnewsLetters to a depth of 3. Then unsubscribe Petunia from the ManureNewsLetter, which she would normally get as a member of GardenGroup? :
A user may be listed many times in the WebNotify topic. Where a user has several lines in WebNotify that all match the same topic, they will only be notified about changes that topic once (though they will still receive individual mails for news topics).
If a TWiki group is listed for notification, the group will be recursively expanded to the e-mail addresses of all members.
Tip: List names in alphabetical order to make it easier to find the names.
Note for System Administrators: Notification is supported by an add-on to the TWiki kernel called the MailerContrib. See the MailerContrib topic for details of how to set up this service.
Note: If you prefer a news feed, point your reader to WebRss (for RSS 1.0 feeds) or WebAtom (for ATOM 1.0 feeds). Learn more at WebRssBase and WebAtomBase, respectively.
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/CROSS.Topic links.
Set SITEMAPLIST = on
Set SITEMAPWHAT = CROSS
Set SITEMAPUSETO = An Infrastructure for Certification and Re-engineering of Open Source Software
Exclude web from a web="all" search: (Set to on for hidden webs)
Set NOSEARCHALL =
Prevent automatic linking of WikiWords and acronyms (if set to on); link WikiWords (if empty); can be overwritten by web preferences:
#Set NOAUTOLINK =
Note: You can still use the [[...][...]] syntax to link topics if you disabled WikiWord linking. The <noautolink> ... </noautolink> syntax can be used to prevents links within a block of text.
Default template for new topics for this web:
WebTopicEditTemplate? : Default template for new topics in this web. (Site-level is used if topic does not exist)
Comma separated list of forms that can be attached to topics in this web. See TWikiForms for more information.
Set WEBFORMS =
Users or groups who are not / are allowed to view / change / rename topics in the Research/CROSS web: (See TWikiAccessControl). Remove the # to enable any of these settings. Remember that an empty setting is a valid setting; setting DENYWEBVIEW to nothing means that anyone can view the web.
#Set DENYWEBVIEW =
#Set ALLOWWEBVIEW =
#Set DENYWEBCHANGE =
Set ALLOWWEBCHANGE = MariaJoaoFrade,Main.PedroRangelHenriques,Main.LuisSoaresBarbosa,Main.JorgeSousaPinto,Main.JoaoSaraiva,Main.JoseJoao,Main.JorgeGustavo,Main.JoseCampos,Main.AlbertoSimoes,Main.NunoRodrigues,Main.DanielaCruz,Main.JoaoPedroSilva,Main.NunoCarvalho
Set ALLOWTOPICRENAME = MariaJoaoFrade,Main.PedroRangelHenriques,Main.LuisSoaresBarbosa,Main.JorgeSousaPinto,Main.JoaoSaraiva,Main.JoseJoao,Main.JorgeGustavo,Main.JoseCampos,Main.AlbertoSimoes,Main.NunoRodrigues,Main.DanielaCruz,Main.JoaoPedroSilva,Main.JoaoCarlosSilva
Web preferences that are not allowed to be overridden by user or topic preferences:
Preferences are used as TWikiVariables by enclosing the name in percent signs. Example:
When you write variable %WEBBGCOLOR% , it gets expanded to #D0D0D0
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 your own preferences variables and use them in your topics and templates.
TWiki search results for \.*
http://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS
The Research/CROSS web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise.en-usCopyright 2020 by contributing authorsTWiki Administrator [webmaster@di.uminho.pt]The contributing authors of TWikiTWikiDIUM.Research/CROSS
http://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS
/twiki/pub/Main/LocalLogos/um_eengP.jpgPublications
http://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/Publications
Project Publications and Reports Journal Papers A. Sanchez, N. Oliveira, L. S. Barbosa, and P. R. Henriques, "A perspective on architectural re engineering ... (last changed by MariaJoaoFrade)2013-07-12T20:15:38ZMariaJoaoFradeTools
http://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/Tools
Tools TreeCycle : a Sonar plugin for design quality assessment of Java programs (version 1.0) (version 1.2) GUISurfer : A Reverse engineering tool for GUI code ... (last changed by MariaJoaoFrade)2013-07-08T09:41:16ZMariaJoaoFradeWebHome
http://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/WebHome
An Infrastructure for Certification and Re engineering of Open Source Software This project aims at developing new program understanding and analysis techniques and ... (last changed by JorgeSousaPinto)2013-06-03T14:52:21ZJorgeSousaPintoWebPreferences
http://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/WebPreferences
Research/CROSS Web Preferences The following settings are web preferences of the Research/CROSS web. These preferences overwrite the site level preferences ... (last changed by JoseFaria)2013-01-09T15:43:54ZJoseFariaNews
http://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/News
17 Nov 12 CROSS Workshop 23 Jun 11 CROSS Workshop 22 Jun 10 First paper published! (GUISurfer tool: ...) 24 Feb 10 Kick Off Meeting 6 Oct 09 CROSS website ... (last changed by MariaJoaoFrade)2013-01-03T11:22:37ZMariaJoaoFrade2ndWorkshop
http://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/2ndWorkshop
2nd CROSS Workshop: 19th December 2012, Braga Location: DI A1 Programme 9:30 Welcome (Maria João Frade) 9:40 Policy Driven Electronic Governance and Opportunities ... (last changed by MariaJoaoFrade)2012-12-20T09:02:35ZMariaJoaoFradeWebSideBar
http://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/WebSideBar
Overview Home Project Description Intranet Team Research Team Job Opportunities Results Publications Tools Portal Events ... (last changed by MariaJoaoFrade)2012-12-17T13:16:52ZMariaJoaoFrade1stWorkshop
http://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/1stWorkshop
1st CROSS Workshop: 2nd July 2011, Braga Programme 9:20 Welcome (Maria João Frade) 9:30 Learning and Activity Patterns in OSS Communities and their Impact ... (last changed by MariaJoaoFrade)2012-12-17T11:02:10ZMariaJoaoFrade2stWorkshop
http://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/2stWorkshop
(last changed by MariaJoaoFrade)2012-12-17T01:54:14ZMariaJoaoFradeTeam
http://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/Team
Research Team Simões Cruz Carlos Silva (PhD Student) João Carlos Silva (PhD Student) Saraiva (UM Staff) Gustavo Rocha (UM Staff) ... (last changed by MariaJoaoFrade)2012-11-17T00:57:45ZMariaJoaoFradeJobs
http://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/Jobs
Job Opportunities BI 2 Informa se que se encontra aberto concurso para atribuição de uma Bolsa de Investigação, com a duração de 9 meses, eventualmente renovável ... (last changed by MariaJoaoFrade)2012-07-11T14:29:47ZMariaJoaoFradeCrossCafe
http://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/CrossCafe
CROSS Café Wednesdays at 14:30 in the DI meeting room The CROSS Café is a monthly scientific colloquium organized by the CROSS project. Moderator: João Frade. Attendance ... (last changed by MariaJoaoFrade)2011-06-29T17:00:58ZMariaJoaoFradeDescription
http://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/Description
Project Description Plan and Methods The goal of the CROSS project is to strengthen the role of open source software (OSS) in the European IT sector. Actually, open ... (last changed by MariaJoaoFrade)2011-06-29T16:59:49ZMariaJoaoFradePriv
http://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/Priv
MariaJoaoFrade 12 Nov 2009 (last changed by MariaJoaoFrade)2009-11-12T19:27:50ZMariaJoaoFradeCalendar
http://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/Calendar
(last changed by MariaJoaoFrade)2009-11-12T18:36:52ZMariaJoaoFradeProjectSummary
http://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/ProjectSummary
Project Summary The Problem Over the past decade, the Open Source Software (OSS) phenomenon has had a global impact on the way software systems and software based ... (last changed by MariaJoaoFrade)2009-10-08T17:31:38ZMariaJoaoFrade
Learning and Activity Patterns in OSS Communities and their Impact on Software Quality (Antonio Cerrone)
OSS projects can be considered as learning and development environments in which heterogeneous communities get together to exchange knowledge through discussion and put it into practice through actual contributions to software development, revision and testing. OSS communities are open participatory ecosystems in which actors create not only source code but a large variety of resources that include the implicit and explicit definitions of learning processes and the establishment and maintenance of communication and support systems. Productivity, in terms of software development and release, is thus the final act of a very long and complex evolution and growth in the individual and collective knowledge and practise.Individuals' participation in the OSS community evolves through time. It starts from an initial but often significantly long learning process in which communication is heavily used to capture, describe and understand contents, while no production activity is performed. At a later stage the role of communication gradually moves to the proposal of new contents, the defense of the proposed contents and the criticism to existing contents or contents proposed by others. At the same time, during this stage, production activity starts as a trial and error process with a consequent low quality in the resultant product and little or no immediately visible impact on the project productivity. Only during a mature stage the quality and level of code developed, reports and commits become important and communication is mainly used to support own productive contributions and contrast them to others' contributions.This talk presents a framework to analyse learning and activity patterns that characterise participation of individuals in OSS communities. Then it defines notions of OSS quality and relate them to individual and community learning and activity patterns. Finally two new proposals to improve the OSS development process and to realise the OSS learning process in an educational context are presented and then related to OSS quality.
10:30
Coffee break
11:00
The GUISurfer tool (Carlos Silva)
Graphical user interfaces (GUIs) are critical components of today's software. Developers are dedicating a larger portion of code to implementing them. Given their increased importance, correctness of GUIs code is becoming essential. This talk describes GUISurfer, a tool to reverse engineer the GUI layer of interactive computing systems. The ultimate goal of the tool is to enable analysis of interactive system from source code.
11:30
Test case generation from mutated task models (José Creissac Campos)
This talk describes an approach to the model-based testing of graphical user interfaces from task models. Starting from a task model of the system under test, oracles are generated whose behaviour is compared with the execution of the running system. The use of task models means that the effort of producing the test oracles is reduced. It does also mean, however, that the oracles are confined to the set of expected user behaviours for the system. The talk focuses on solving this problem. It shows how task mutations can be generated automatically, enabling a broader range of user behaviours to be considered. A tool, based on a classification of user errors, generates these mutations. A number of examples illustrate the approach.
12:00
CROSS Open Source Software Certification Portal (Pedro Martins)
The CROSS project consists on a combination of tools that, together or singularly perform different analysis on software to create feedback related to performance, errors or overall quality. As consequence, such project needs an infrastructure that not only makes this analysis available to anyone who needs it, but also allows him to adapt both the tools and the analysis to his particular needs. What's more, any user should be able to create his own analysis tools that should seamlessly integrate with the already supported features. In this presentation, we will show how such infrastructure, in the form of an online portal, should be created to perform powerful analysis of software systems, but also how it should easily allow all the community to integrate his own tools and evaluation schemas to fulfill each particular need.
12:30
Lunch
14:00
Infrastructure for Quality Software Development (Miguel Veiga, Multicert SA)
In this talk we present an Infrastructure based on Open Source tools that is used by development teams at Multicert SA. The objective of any software company is to produce software with increasingly higher quality. As such, this infrastructure is designed to be integrated with the development processes currently implemented, in order to make them more efficient and automated as possible and at the same time have a fast and constant feedback about the overall quality of software being developed. All of this in a logic of Continuous Integration and with help of software quality assessment.
15:00
Task 5: Slicing Techniques Applied to OSS (Daniela Cruz)
Overview of task 5 of the project.
15:05
Verifying calling paths with GamaPolarSlicer (Sérgio Areias)
In this presentation it will be introduced GamaPolarSlicer and its role in the verification of calling paths of annotated components. However, due to its limitations, we decided to use as an internal component a symbolic executor that has already proved in practice to be effective and produce good results --- JavaPathFinder. This tool, mainly known as a software model checker, will be introduced and it will be also explained how it complies precisely with our requirements to improve GamaPolarSlicer, extending it to other data types.
15:30
The Role of Best Practices in Assessing Software Quality (Pedro Rangel Henriques)
Thousands of open source software projects are available for collaboration in platforms like Github or Sourceforge. Along the years, open source communities created their own standards and best practices. However, like traditional software, open source software projects have different quality levels. The traditional way to assess the quality of a software project is based on software metrics. Nevertheless, the classic software metrics do not take into account the best practices established by the community. This paper discusses what should be taken into account to measure a project in terms of best practices, having as case study the open source ruby language.
16:00
Comment Analysis for Program Comprehension : the Role of Comments on Program Comprehension (José Freitas)
Comments are considered to be the most practical form to document software, specially for program understandibility purposes. Quality comments must be enlightening by establishing a bridge between the Program and Problem Domain, according to the good practices. This presentation has the goal to describe the work done on the study of Program and Problem domain information included on comments of a set of Java software projects. The work done so far as been the support for the development of a Comment Analysis Program Comprehension tool.
16:30
Coffee break
17:00
Specialized Information Gathering and Sharing (Nuno Carvalho)
This presentation is about tools and techniques that are being used to gather specific information from software packages. How to define where to look for data to increase the accuracy of the information gathered, not only from source code but also from other relevant files (documentation, makefiles, readmes, etc). It will also focus on the environment architecture for the process of gathering information and infering knowledge in the context of the CROSS project.
17:30
Patterns for Architectural Analysis and Systems Integration (Nuno Oliveira)
If, in one way or another, architectural decisions end up hard-wired in the application code, architectural analysis of legacy systems intends to retrace and uncover such decisions from suitable, automatically generated representation structures (typically variants of program dependence graphs). Coordination patterns, in this context, are precise and re-usable abstractions of such decisions that can be analyzed and discovered in the legacy code. In this session I will discuss how to discover and disentangle coordination code resorting to the identification of coordination patterns in source code. In particular, I will introduce CoordL, a language to define coordination patterns that can be built compositionally, from a small set of combinators. CoordL is integrated with CoordInspector -- a tool for coordination analysis -- into an environment which allows the definition and discovery of patterns and their reuse.
Policy-Driven Electronic Governance and Opportunities for Software-Focused Research (Tomasz Janowski)
This talk will discuss the concept of electronic governance and its evolution along the last 2 decades. We'll then identify problems, models, trends and research challenges for this domain, highlighting the role and challenges put to and by Open Source Software and Open Standards.
10:15
A Web Portal for the Certification of Open Source Software (Pedro Martins)
In this talk we will present a web portal for the certification of open source software. The portal aims at helping programmers in the internet age, when there are (too) many open source reusable libraries and tools available. Our portal offers programmers a web-based and easy setting to analyze and certify open source software, which is a crucial step to help programmers choosing among many available alternatives, and to get some guarantees before using one piece of software.The paper presents our first prototype of such web portal. It also describes in detail a domain specific language that allows programmers to describe with a high degree of abstraction specific open source software certifications. The design and implementation of this language is the core of the web portal.
10:45
Coffee break
11:00
Open Source Software Documentation Mining for Quality Assessment (Nuno Carvalho)
Besides source code, the fundamental source of information about Open Source Software lies in documentation, and other non source code files, like README, INSTALL, or HowTo files, commonly available in the software ecosystem. These documents, written in natural language, provide valuable information during the software development stage, but also in future maintenance and evolution tasks. DMOSS (Documentation Mining Open Source Software) is a toolkit designed to systematically assess the quality of non source code text found in software packages. The toolkit handles a package as an attribute tree, and performs several tree traverse algorithms through a set of plugins, specialised in retrieving specific metrics from text, gathering information about the software. These metrics are later used to infer knowledge about the software, and composed together to build reports that assess the quality of specific features of the software. This presentation discusses the motivations for this work, continues with a description of the toolkit implementation and design goals. Illustrates an example of its usage to process software package,s and the produced reports. Finally some conclusions and trends for future work are presented.
11:30
FLOSS in Technology-Enhanced Learning (Sara Fernandes)
This talk presents a comparative analysis of Free/Libre Open Source Software (FLOSS) Learning Management System (LMS). Following a selection process we analyze the functionalities and characteristics of 8 tools commonly used in formal and informal education. More specifically we focus on the availability of different tools concerning communication and assistance, such as, forum, email, calendar, portfolios, etc. Our analysis showed that despite their similarities, the appropriateness of different FLOSS LMSs can be greatly affected by the specific needs of students, instructors and institutions. We will also discuss the relevance of software quality and its certification in this context.
12:00
From Raw Data to Virtual Globes on the Mobile Phone (Jorge Rocha)
...
12:30
Lunch
14:30
Modelery: A Models Refinery (Rui Couto)
Models play a relevant role in the development and analysis of software systems. Over the years we have been developing a number of model based approaches to support different phases of software development. This has results in a number of languages, tools, and, more importantly, a large number of actual actual models. From our need to archive, organize, store and retrieve all these research output, stemmed the development of a web based repository for Model Driven Development artifacts. In this repository we intent to store all kind of artifacts, such as models, patterns, meta-models and processes. In order to provide community functionalities and support information exchange, social functionalities, such as discussion groups have been included. This talk describes the main features of the repository.
15:00
Comment Analysis for Program Comprehension (Daniela Cruz)
Comments are interspersed by the Programmer among code lines, at software development phase, with two main purposes: to help himself during the development phase; to help other programmers later on, during the maintenance phase. The former are memos to help him remembering to do something; they are not useful for those willing to understand code. The latter are explanations about the ideas he has in mind when he wrote the code; they can be a relevant aid for others and should be taken into consideration as a first step in program comprehension. In this talk we will discuss an approach to locate a relevant code chunk (one where the programmer should focus the attention for software maintenance), using information retrieval techniques to locate problem domain concepts within comments. In our approach, comments are isolated marking their type (inline, block or javadoc comment) and keeping their context (code lines to which they are associated). Picking up concepts from the ontology that describes the problem, it is possible to find all the comments that contain that concept (similar words) and rate them. Reading comments from the retrieved list, the programmer can select those that seem to him meaningful and dive directly into the associated chunk. In the talk, we will also survey Comment Analysis techniques and describe an environment, Darius, that aims at automatizing the approach proposed.
15:30
On the Use of GUI Implementation Languages as Modelling Languages (Carlos Silva)
The current diversity of available devices and form factors increases the need for model-based techniques to support adapting applications from one device to another. Most work on user interface modelling is built around declarative markup languages. Markup languages play a relevant role, not only in the modelling of user interfaces, but also in their implementation. However, the languages used by each community (modellers/developers) have, to a great extent evolved separately. This means that the step from concrete model to final interface becomes needlessly complicated, requiring either compilers or interpreters to bridge this gap. In this talk we compare a modelling language (UsiXML? ) with several markup implementation languages. We analyse if it is feasible to use the implementation languages as modelling languages.
16:00
Automated Test Generation Using CBMC (Rui Gonçalo)
Test generation remains a largely manual process in industry, bringing high costs and time consuming to the testing phase. An automated mechanism able to produce test cases and achieve full coverage becomes mandatory. The evolution of model checkers and new techniques, namely, bounded model checking, introduce effective ways to perform the desired automated test generation. The CBMC tool applies bounded model checking to ANSI C programs in order to verify safety properties. However, it has been proved that CBMC might be used to generate tests in critical software industry, achieving the required coverage. (slides)
Software quality assessment is a crucial process in software development. To evaluate source code quality it is essential to use tools that help to analyse the code in its different aspects. Sonar is an open source tool used to analyse and manage source code quality. In this talk will we present a Sonar plugin (the TreeCycle) for design qual- ity assessment of Java programs. The TreeCycle plugin represents the dependencies between packages in a tree graph highlighting it’s dependency cycles. Moreover, for each package it represents in a graphical way the results of a suite of metrics for object-oriented design. This plugin provides an overall picture of the design quality of Java projects. We will make a concise presentation of the Sonar platform. We will also briefly describe the ISO/IEC 9126 model for software product quality and the main suites of object-oriented design metrics that are use in the plugin.
GamaSlicer: an online laboratory for program verification and analysis
Daniela Cruz
In the context of Software Engineering, Program Verification is a valuable area for program development, as is Program Analysis for program maintenance, but both should be effective. In this talk, we present a tool (GamaSlicer) that is two fold: a Verification Condition Generator and a Slicer. On one hand, it generates a set of proof obligations for a software component annotated with pre and postconditions (written in Java+JML). Generating such proof obligations in the SMT-lib language, we enable the use of different automatic provers (e.g. Z3, Alt-Ergo, CVC3, etc). The tool allows the execution step-by-step of the VCGen algorithm; it is particularly useful for teaching Program Verification. On the other hand, a set of slicing algorithms can be applied to the same annotated software component, for program analysis. These slicing algorithms take the annotations of a component into account to remove spurious code that does not contribute to the contract verification. In addition to pre and postcondition based slicing algorithms, the tool implements a new approach to specification-based slicing, that considers both preconditions and postconditions. This is a novelty of our work at the theoretical level, and in fact other current work at this level is being progressively incorporated in the tool. GamaSlicer is a module of GamaProject that also includes GamaViz, another tool to help program analysis; GamaProject will also be outlined.
GUISurfer as a starting point for CROSS Task 3 (slides)
João Carlos Silva
Correctness of GUI’s code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This talk presents a generic approach for language-independent reverse engineering of graphical user interface based applications. It explores the integration of testing techniques in the proposed approach, thus allowin fogr the detection of faults in the GUI under analysis. A prototype tool has been constructed (GUISurfer), which is already capable of deriving and testing a user interface behavioral model of applications written in Java/Swing and WxHaskell.
The goal of the CROSS project is to strengthen the role of open source software (OSS) in the European IT sector. Actually, open source
software is increasingly important for public and industrial organizations, but its quality can be very hard to measure. This makes
its use a risk. This risk could be substantially reduced if there were appropriate standards, supported by analysis tools, for
certifying such software. Developing such tools, making them widely available for the OSS community, and, in the long term,
contributing for the creation of an international certification authority for open source software, such are the general goals of the
research context for this project.
Stated as above, this represents a huge working program, certainly far behind what may be achieved in the context of this project.
Highly motivated by the OSS certification challenge, the team decided on the following strategic approach which we believe has
potential for developing concrete and incisive, even if partial, answers to the problem. The envisaged strategy has 4 fundamental
options: select a number of specific problems in OSS certification to address; develop techniques for both code and
documentation analysis; develop an open certification infra-structure for OSS projects; frame the whole project into a
collaboration with a leading IT company, heavy user of OSS. These 4 options are detailed in the sequel.
(I) Organise a research proposal not claiming any sort of (pseudo-)universal solutions, but addressing a number of very specific
problems in the OSS certification domain. Two thirds of CROSS will be devoted to developing new techniques and solutions for
such four concrete problems:
How can OSS be certified in terms of safety of execution?
How to certify the composition process on assembling a stack of OSS components?
How to certify the interface layer of OSS applications?
How to extract and analyse underlying architectural information from OSS-based systems?
The choice of these 4 problems was dictated by
- their practical relevance, in particular from the point of view of IT industry aiming at integrating OSS components in larger
applications, as indication of the team´s industrial consultant from Multicert;
- the team´s specific expertise in the relevant domains; in particular we intend to harness methods and results from the team
involvement on past and current research projects to address the specific problems of the OSS certification challenge, concretely,
and by problem:
RESCUE: REliable and Safe Code execUtion for Embedded systems (FCT-funded project PTDC/EIA/65862/2006) which aims at providing innovative, efficient and expressive mechanisms for the secure implementation and execution of code, with an emphasis on problems posed by embedded systems.
CACE: Computer Aided Cryptography Engineering, FP7 European project started in 2008, where the team is involved in the Formal Verification and Validation workpackage, aiming at globally address both functional and security requirements in cryptographic software implementations, analyzing the transformations between different levels of abstraction, and harssning previous scientific results in formal validation, verification and certification of secure software.
Several research projects with industry in the context of the Open Geospatial Consortium (OGC). A team member is serving as leader of the Portuguese OSGeo Local Chapter, promoting and developing Geospatial Open Source technologies in Portugal.
IVY: A model-based usability analysis environment (FCT-funded project POSC/EIA/56646/2004) which aimed at developing a model based tool for the analysis of interactive systems designs.
PURe: Program Understanding and Re-engineering: Calculi and Applications (FCT-funded project POSI/CHS/44304/2002) which was a broad scope project, rated as Excellent in its final evaluation, aimed at developing rigourous calculi for program understanding and re-engineering.
Further we should mention the team involvement in launching and maintaining the OpenCert, in partnership with the United Nations University; and
in organising the series of Summer Schools in Generative and Transformational Techniques in Software
Engineering (GTTSE), in the broad area of program understanding.
Each of these problems correspond to a specific task in the project workplan (tasks T1 to T4, respectively).
(II) Supporting research on the 4 problems mentioned above, the project include two working directions directly devoted to the
development of Program Understanding techniques that can be most useful in the analysis of OSS, despite their certainly broader
application. We decided to focus on 2 different techniques, among several possible choices:
Code slicing, which is fundamental to a number of methodologies of program analysis
Documentation mining which is supposed to complement program analysis with knowledge discovery through mining in the extensive on-the-fly documentation that usually accompanies OSS releases. This includes static information (eg, change logs in the source code control system and history files) as well as dynamica data, as in documented on-line discussions (eg, mailing lists, wikis, etc). We believe this line of inquiry is particularly suited for OSS understanding.
The project includes a specific task (tasks T5 and T6) devoted to point a. and b., respectively.
(III) The third strategic option concerns how to render the project results close to the OSS developing community, in order to get
their feedback and pave the way for an effective impact of this research effort. Therefore, we decide to organise the CROSS
project around the development and animation of an online infrastructure --- the Certification Portal --- in which independently
developed analysis and visualisation tools can be inserted and used. All the tools developed within the project will be made
available to the OSS community through this Portal, and we expect more will follow.
Monitoring (rather than controlling) is the main idea: the Certification Portal will not only provide support for OSS analysis, but
also make the evolution of OSS projects clearly visible to the OSS community. In the long run, it is expectable that, feedback
loops made possible through this Portal, will have some effective impact in the overall quality of OSS products, with minimal
intrusion on the peculiar, but successful OSS development life-cycle.
The emphasis the team puts in this strategy is witnessed by the decision to mention it explicitly in the project title.
(IV) Last but not least, the team decide to frame this research effort into a collaboration with a leading IT company for which
reducing the risk associated to OSS components in its own solutions is a major concern. The team has therefore contacted
Multicert and invited its General Manager, Dr J. P. Miranda, to act as non funded consultant to the project.
Multicert has an extensive experience in OSS development and integration, specially in tailored security-related big projects. Those
include electronic postmarking (recognized with the 2006 APDC/Siemens innovation award), electronic voting (piloted in the 2004
European Elections and the 2005 National Elections) and electronic invoicing (used by Portugal Telecom). The company is also a
reference player in digital certification and OSS security solutions, used in several key projects, namely in the Portuguese Citizen
Card, Electronic Passport and Residence Permit. Also related with the CROSS proposal, it should be mentioned that Multicert is
one of the proponents of CESecore submission to the Eurostars EC Programme, whose aim is to develop
an open source Security Core product, certified against Common Criteria EAL 4+, that will secure a wide range of services.
Tasks
T1: Safety Analysis for OSS
T2: Combining OSS: Certication of Software Stacks
T3: Graphical User Interface Analysis for OSS
The goal of this task is to develop techniques and tools that will enable analysis of the user interface layer of software systems from source code. GUISurfer, a tool to reverse engineer Java/Swing GUI code, is being used as the starting point for this task. Two complementary lines of work are being pursued:
extending the back-end (that is, generalising the approach to new languages and toolkits);
extending the front-end (that is, enabling the generation of new types of models in order to extend the analyses which can be performed).
Regarding the back-end, the available version of GUISerfer has been implemented with a view on making it as generic as possible. Experiments have been made that indicate it will be possible to apply to a range of event-based user interface development toolkits and languages. We are building on that initial work to develop new back ends. Currently, we are working with WxHaskell and GWT. WxHaskell, in particular, represents a rather different programming paradigm (functional) but initial results have provided positive indications regarding the feasibility of such attempt.
At the front-end, work at generating state machines has been carried out. State machines seem like a natural candidate for representing a user interface's dialogue control model, but other alternatives need to be explored (for example, task models or human-readable documentation of user interface features).
State charts and ConcurTaskTrees are behavioural models that open the way to a number of possibilities: comparing different systems (or versions of the same system) to determine compatibility at the level of supported user interactions, using metrics and algorithms over graphs to reason about the characteristics of such interactions; or comparing implementations to models - for example, using model based-testing to compare a new version of a system with the model of its previous release as a way of performing regression testing.
Static analysis is also being considered. The goal here is to enable the analyses of the user interface from a structural point of view. GUISurfer is already capable of generating flow diagrams identifying all objects in the interface and the dependencies between them.
Informa-se que se encontra aberto concurso para atribuição de uma Bolsa de Investigação, com a duração de 9 meses, eventualmente renovável, e início previsto para 1 de Julho, no âmbito do Projecto "CROSS - Uma infraestrutura para a certificação e re-engenharia de Software Livre" - Refª PTDC/EIA-CCO/108995/2008, financiado pela Fundação para a Ciência e a Tecnologia.
Objectivos:
Realização de trabalhos de investigação no âmbito da utilização de técnicas de verificação formal para a geração de testes e análise de cobertura.
Orientação científica:
Profs. Maria João Frade e Jorge Sousa Pinto (Dep. Informática, UM)
Informa-se que se encontra aberto concurso para atribuição de uma Bolsa de Investigação para Licenciado, com a duração de 9 meses, no âmbito do Projecto "CROSS - Uma infraestrutura para a certificação e re-engenharia de Software Livre" - Refª PTDC/EIA-CCO/108995/2008, financiado por o Programa COMPETE - Programa Operacional Factores de Competitividade e pela Fundação para a Ciência e a Tecnologia.
Objectivos:
Realização de trabalhos de investigação no desenvolvimento de uma ferramenta de “bounded model checking” de programas imperativos, com recurso à utilização de ferramentas de prova SMT.
Orientação científica:
Prof. Jorge Sousa Pinto (Dep. Informática, UM)
Período de candidaturas: de 28 de Junho a 11 de Julho de 2011
Informa-se que se encontra aberto concurso para atribuição de uma Bolsa de Investigação para Licenciado, com a duração de 9 meses, no âmbito do Projecto "CROSS - Uma infraestrutura para a certificação e re-engenharia de Software Livre" - Refª PTDC/EIA-CCO/108995/2008, financiado por o Programa COMPETE - Programa Operacional Factores de Competitividade e pela Fundação para a Ciência e a Tecnologia.
Objectivos:
Realização de trabalhos de investigação, no desenvolvimento de um portal para a certificação de software livre.
Orientação científica:
Prof. João Alexandre Saraiva (Dep. Informática, UM)
Período de candidaturas: de 16 a 30 de Junho de 2011
Informa-se que se encontra aberto concurso para atribuição de uma Bolsa de Investigação para Mestre, com a duração de 6 meses, no âmbito do Projecto "CROSS - Uma infraestrutura para a certificação e re-engenharia de Software Livre" - Refª PTDC/EIA-CCO/108995/2008, financiado por o Programa COMPETE - Programa Operacional Factores de Competitividade e pela Fundação para a Ciência e a Tecnologia.
Objectivos:
Realização de trabalhos de investigação no desenvolvimento de técnicas e metodologias para a análise e reconstrução de informação arquitectural a partir de código livre legado e projectos activos de desenvolvimento de software livre. Definição e teste de metodologias de e-learning enquadradas nesses projectos.
Orientação científica: Prof. Luís Soares Barbosa (Dep. Informática, UM)
Período de candidaturas: de 27 de Maio a 9 de Junho de 2011
Informa-se que se encontra aberto concurso para atribuição de uma Bolsa de Investigação para Licenciado, com a duração de 6 meses, no âmbito do Projecto "CROSS - Uma infraestrutura para a certificação e re-engenharia de Software Livre" - Refª PTDC/EIA-CCO/108995/2008, financiado por o Programa COMPETE - Programa Operacional Factores de Competitividade e pela Fundação para a Ciência e a Tecnologia.
Objectivos:
Identificação de stacks de software open source de ampla utilização, no domínio dos SIG;
Concretização de uma stack de software open source que disponibilize um Web Service W3DS, por composição de componentes de software já existentes;
Identificação clara da interligação entre as componentes utilizadas na composição anterior;
Substituição de componentes por outras funcionalmente equivalentes e avaliação do impacto dessa substituição na composição desenvolvida.
Orientação científica: Professor Jorge Gustavo Rocha (Dep. Informática, UM)
Período de candidaturas: de 26 de Maio a 8 de Junho de 2011
Informa-se que se encontra aberto concurso para atribuição de uma Bolsa de Investigação, com a duração de 9 meses, eventualmente renovável, com início previsto para 1 de Novembro de 2010, no âmbito do Projecto "CROSS - Uma infraestrutura para a certificação e re-engenharia de Software Livre" - Refª PTDC/EIA-CCO/108995/2008, financiado pela Fundação para a Ciência e a Tecnologia.
Objectivos:
Realização de trabalhos de investigação na área da análise de software, extracção de informação estruturada, a partir do código fonte de pacotes de distribuição de software Open-Source, e da respectiva documentação.
Orientação científica:
Prof. José João Dias de Almeida (Dep. Informática, UM)
Período de candidaturas: 12 a 26 de Outubro de 2010
Informa-se que se encontra aberto concurso para atribuição de uma Bolsa de Investigação, com a duração de 9 meses, eventualmente renovável, e início previsto para 1 Março, no âmbito do Projecto "CROSS - Uma infraestrutura para a certificação e re-engenharia de Software Livre" - Refª PTDC/EIA-CCO/108995/2008, financiado pela Fundação para a Ciência e a Tecnologia.
Objectivos:
Realização de trabalhos de investigação na área da análise de software e do ‘slicing predicativo’ orientados para o estudo comportamental de componente de software, com vista a aumentar a segurança na reutilização. O trabalho esperado será dividido em duas componente: uma focada na reutilização de software; e outra no ‘design by contract’. Especificamente, os objectivos serão: ajudar na tarefa de reutilização de componentes anotadas, extraindo e mostrando as anotações; verificar a satisfação do contrato, que anota a componente a reutilizar, em cada ponto de invocação dessa componente; inferir anotações para componentes disponíveis em repositórios reutilizáveis.
Orientação científica:
Prof. Pedro Rangel Henriques (Dep. Informática, UM)
Período de candidaturas: 8 a 22 de Fevereiro de 2010
Informa-se que se encontra aberto concurso para atribuição de uma Bolsa de Investigação, com a duração de 9 meses, eventualmente renovável, e início previsto para 15 de Fevereiro, no âmbito do Projecto "CROSS - Uma infraestrutura para a certificação e re-engenharia de Software Livre" - Refª PTDC/EIA-CCO/108995/2008, financiado pela Fundação para a Ciência e a Tecnologia.
Objectivos:
Realização de trabalhos de investigação na área da análise da camada de interface de aplicações interactivas a partir do código fonte. Pretende-se continuar o desenvolvimento de uma ferramenta de engenharia reversa de interfaces com o utilizador já existente (o GUISurfer). Duas linhas de trabalho deverão ser exploradas de modo complementar: generalizar a ferramenta para novas tecnologias de desenvolvimento de interfaces (por exemplo JavaScript, GWT e WxHaskell); possibilitar a geração de novos tipos de modelos de interface (por exemplo, modelos de tarefas).
Orientação científica:
Prof. José Creissac Campos (Dep. Informática, UM)
Período de candidaturas: 25 de Janeiro a 8 de Fevereiro de 2010
Over the past decade, the Open Source Software (OSS) phenomenon has had a global impact on the way software systems and
software-based services are developed, distributed and deployed. Widely acknowledged benefits of OSS include reliability, low
development and maintenance costs, as well as rapid code turnover. Linux distributions, Apache and MySQL, serve among many
other examples, as a testimony to its success and resilience.
Companies become aware that integrating OSS into commercial products (made available by liberal OSS licences) reduce
development costs while offering high-quality, extensively tested components. Furthermore, Governments become aware of
growing dependence on proprietary formats and software in their administration, and regard OSS as a warranty of technological
independence (which turns out to a strategic advantage, mainly in the developing world).
However, state-of-the-art OSS, by the very nature of its open, unconventional, distributed development model, makes software
quality assessment, let alone full certification, particularly hard to achieve and raises important challenges both from the
technical/methodological and the managerial points of view.
This makes the use of OSS, and its integration within industrial-strength applications, with stringent security requirements, a risk.
This state of affairs has been identified either in the OSS (as witnessed, for example, in an increasing number of mentions in
recent editions of the IFIP Conf. on OSS) and in the Formal Methods communities (OSS as a target domain for FM appears was
recognised in recent editions of FM and SEFM international conferences). A series of workshops promoted by the United Nations
University, with the acronym OpenCert, have addressed specifically this challenge since 2007. Finally, the relevance of this
problem is further emphasised by a number of panels organised in OSS forums (eg, the OSS Watcher) and industry oriented
initiatives.
The vision
In such a context, the aim of this project is twofold:
(1) Developing new program understanding and analysis techniques and combine them for quality assessment of open source
code. The nature of OSS entails the need for integration of techniques spanning the "micro" to the "macro" levels (e.g., from
slicing to architectural recovery) and with different levels of formality (e.g. from statistical analysis based on code metrics to the
identification and formal verification of hidden invariants).
(2) Smoothly integrating such techniques into the OSS very peculiar development process without disturbing its collaborative,
distributed and heterogeneous character.
The first objective implies to scale up program understanding techniques, and their combination with formal verification methods,
to OSS.
Achieving the second, means to establish feedback loops in OSS development, making publicly available a number of interrelated
analysis tools, to enhance the overall software quality, but without disturbing the peculiar, but very successful, OSS development
life-cycle. The project intends to design and implement an online infrastructure -- the certification portal -- in which
independently developed analysis tools (with different levels of sophistication) are to be inserted for monitoring, assessment and,
at a later stage, certification of OSS products. Such an infrastructure will allow for the registration of OSS projects, their source
code visualisation and analysis at different levels, as well as the rendering of analysis results in suitable, flexible formats to both
OSS developers and users.
Such a strategy has potential for a long-term impact on the integration of trustworthy, OSS components, in large, complex
systems. The CROSS project will, therefore, develop in interaction with Multicert, one of the leading portuguese companies, using
OSS in landmark projects such as electronic voting and the recent Portuguese Citizen Card initiative.
The Team
The team has a mature record in high-level research both in Formal Methods for software certification, a area it pioneered in
Portugal 25 years ago, and Program Understanding. Recently, its involvement in the PURe project (2003-06) contributed with
several techniques and tools for code analysis and program understanding, with more than 40 papers published. Team members
will also build on the experience carried out in the context of the IVY and RESCUE FCT-funded projects, and CACE, EU FP7 project,
working on both functional and security requirements in cryptographic software implementations.
Team members are the founders of the successful series of summer schools on Generative and Transformational Techniques in
Software Engineering (GTTSE), organized in 2005, 2007 and 2009 in Braga (LNCS, vols. 4143 and 5235, Springer).
On the other hand, the team has been involved in the ongoing debate on OSS certification, having organised, with the United
Nations University, the first OpenCert workshop at ETAPS´07, and serving on the steering committee of the follow-up network.
A. Sanchez, N. Oliveira, L. S. Barbosa, and P. R. Henriques, "A perspective on architectural re-engineering", in Science of Computer Programming, 2013, Elsevier (in print).
S. Fernandes, L. S. S. Barbosa, and A. Cerone, "FLOSS communities as learning networks", in International Journal of Information and Education Technology, 3(2):95–146, 2013, IACSIT Press.
P. Martins, J.P. Fernandes, J. Saraiva, "A combinator language for software quality reports", in International Journal of Computer and Communication Engineering, Volume 2, Number 3, pp. 377-382, May 2013.
A. Simões and N.R. Carvalho, "Desenvolvimento de Aplicações em Perl com FreeLing 3", Linguamática, Volume 4, Number 2, 2012, pp. 87–92, UVigo.
J. Barros, D. da Cruz, P.R. Henriques, J.S. Pinto, "Assertion-based Slicing and Slice Graphs", Formal Aspects of Computing, Volume 24, Number 2, 2012, Springer.
M.J. Frade, J.S. Pinto, "Verification Conditions for Source-level Imperative Programs", in Computer Science Review, Volume 5, Issue 3, August 2011, pp. 252-277, Elsevier.
S. Areias, D. Cruz, P.R. Henriques, J.S. Pinto, "GammaPolarSlicer", ComSIS, Computer Science an Information Systems Journal, (special issue on Advances in Formal Languages, Modeling and Applications), Vol. 8, Num. 2, pp. 477-499, May 2011.
L.S. Barbosa, A. Cerone, A.K. Petrenko, S.A. Shaikh, "Certification of open-source software: A role for formal methods?", International Journal of Computer Systems Science and Engineering, CRL Publishing Ltd. Vol. 25, Nº4, pp.273-281, 2010.
Book
J. B. Almeida, M. J. Frade, J. S. Pinto, S. Melo de Sousa. "Rigorous Software Development - An Introduction to Program Verification". Undergraduate Topics in Computer Science, Springer, 2011. ISBN 978-0-85729-017-5.
Book Chapters
J.C. Campos, J. Saraiva, C. Silva and J.C. Silva. "GUIsurfer: A Reverse Engineering Framework for User Interface Software". In A.C. Telea, editor, Reverse Engineering - Recent Advances and Applications, pages 31-54. InTech, 2012.
Conference Papers
S. Fernandes, M. H. Martinho, L S. Barbosa, and A. Cerone, "Integrating formal and informal learning through a FLOSS-based innovative approach", in Gert-Jan de Vreede and Julita Vassileva, editors, 19th International Conference on Collaboration and Technology (CRIWG’13), Lecture Notes in Computer Science, 2013, Springer (accepted for publication).
S. Fernandes, A. Cerone, L S. Barbosa, and P. M. Papadopoulos, "FLOSS in technology-enhanced learning", in Antonio Cerone and Donatella Persico, editors, 1st International Symposium on Innovation and Sustainability in Education (InSuEdu’12), Lecture Notes in Computer Science, Thessaloniki, Greece, October 2013. Springer (in print).
P. Martins, N.R. Carvalho, J.P. Fernandes, J.J. Almeida, J. Saraiva, "A Framework for Modular and Customizable Software Analysis", in Proceedings of the 13th International Conference on Computational Science and Its Applications (ICCSA 2013), Ho Chi Minh City, Vietnam, pp. 443-458, Lecture Notes in Computer Science, 2013, Springer.
N. Oliveira and J.G. Rocha. "Tiling 3D Terrain Models", in Proceedings of Computational Science and Its Applications -- ICCSA 2013, Heidelberg, pp. 550-561, Volume 7971 of Lecture Notes in Computer Science, 2013, Springer.
N. Oliveira and J.G. Rocha. "Web 3D Service Implementation", in Proceedings of Computational Science and Its Applications -- ICCSA 2013, Heidelberg, pp. 538-549, Volume 7973 of Lecture Notes in Computer Science, 2013, Springer.
N.R. Carvalho, A. Simões and J.J. Almeida, "Defining a Probabilistic Translation Dictionaries Algebra", in XVI Portuguese Conference on Artificial Inteligence (EPIA 2013) (forthcoming).
N.R. Carvalho, "An Ontology Toolkit for Problem Domain Concept Location in Program Comprehension", in Proceedings of the 2013 International Conference on Software Engineering (ICSE 2013), San Francisco, USA, IEEE Press, 2013.
N.R. Carvalho, A. Simões and J.J. Almeida, "Open Source Software Documentation Mining for Quality Assessment", in Advances in Information Systems and Technologies, Olhão, Portugal, 2013.
D. Cruz, "Semantic-based Slicing through the use of Program Contracts", in 1st International Workshop on Interference and Dependence (ID2013), January 21, 2013, Roma, Italy.
N.R. Carvalho, A. Simões and J.J. Almeida, "Probabilistic SynSet Based Concept Location", in Proceedings of the 1st Symposium on Languages, Applications and Technologies (SLATE 2012), Braga, Portugal, 2012.
P. Martins, J.P. Fernandes, J. Saraiva, "A Purely Functional Combinator Language for Process Management,", in Proceedings of the 1st Symposium on Languages, Applications and Technologies (SLATE 2012), Braga, Portugal, 2012.
N.R. Carvalho, A. Simões and J.J. Almeida, "Generating flex Lexical Scanners for Perl Parse::Yapp", in Proceedings of the 1st Symposium on Languages, Applications and Technologies (SLATE 2012), Braga, Portugal, 2012.
P. Martins, J.P. Fernandes, J. Saraiva, "A Web Portal for the Certification of Open Source Software", Proceedings of the 6th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2012) (Satellite Event of SEFM'12), Thessaloniki, Greece, 2012.
N. Oliveira and J.G. Rocha. "Geoserver based W3DS", in AGILE 3D Web Visualization Workshop, Avignon, France, April 2012.
J.G. Rocha, N. Oliveira, P. Machado, P. Mendes, and R. Alves. "Servicio Web 3D (W3DS) en Geoserver", in VI JORNADAS DE SIG LIBRE. Servei de Sistemes D’Informació Geogràfica I Telederecció, Universitat de Girona, 2012.
D. Cruz, M.J. Frade, J. S. Pinto, "Verification Conditions for Single-assignment Programs", in Software Verification and Testing 2012, (a track of the ACM 27th Symposium On Applied Computing, SAC 2012), March 26-30, 2012, Riva de Garcia (Trento), Italy.
M. Regedor, D. Cruz, P.R. Henriques, "The role of best practices in assessing software quality", in Luis Barbosa and Dimitrius Settas, editors, Proceedings of the 5th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2011) (Satellite Event of SEFM'11), Montevideu, Uruguay. EASST, 2011. (pdf)
Sara S. Fernandes, "Quality, success, communication and contribution in open source software", in Luis Barbosa and Dimitrius Settas, editors, Proceedings of the 5th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2011) (Satellite Event of SEFM'11), Montevideu, Uruguay. EASST, 2011.
L.S. Barbosa, P.R. Henriques, Alejandro Sanchez, "Towards rigorous analysis of Open Source Software", in Volker Stolz and Sun Meng, editors, Proceedings of 5th International Workshop on Harnessing Theories for Tool Support in Software, TTSS'2011, Oslo, September 2011.
N. Carvalho, A. Simões, J.J. Almeida, P.R. Henriques, M.J. Varanda, "PFTL: A Systematic Approach for Describing Filesystem Tree Processors", in Luis Caires and Raul Barbosa, editors, INForum 2011; Simpósio de Informática (CoRTA2011 track), Coimbra, Portugal, Setembro 2011. Universidade de Coimbra. (pdf)
N. Carvalho, J.J. Almeida, A. Simões, "Weaving OML in a General Purpose Programming Language", in Luis Caires and Raul Barbosa, editors, INForum 2011; Simpósio de Informática (CoRTA2011 track), Coimbra, Portugal, Setembro 2011. Universidade de Coimbra. (pdf)
P. Martins, P. Lopes, J.P. Fernandes, J. Saraiva, J. Cardoso, "Program and Aspect Metrics for MATLAB", in the proceedings of the 12th International Conference on Computational Science and Its Applications (ICCSA 2012), Salvador da Bahia, Brasil, pp. 217-233, Volume 7336 of Lecture Notes in Computer Science, 2012, Springer.
A. Barbosa, A. Paiva and J.C. Campos, "Test Case Generation from Mutated Task Models", in Paternò, Luyten, Maurer, Dewan and Santoro, editors, Proceedings of the ACM Symposium on Engineering Interactive Computing Systems (EICS 2011), pages 175-184. Pisa, Italy - June 13-16, 2011.
N. Carvalho, A. Simões, J.J. Almeida, "xml2pm: A Tool for Automatic Creation of Object Definitions Based on XML Instances", XATA2011 - 9ª Conferência Nacional em XML, Aplicações e Tecnologias Aplicadas, Vila do Conde, Portugal, Junho de 2011. (pdf)
N. Carvalho, A. Simões, J.J. Almeida, "OML: A Scripting Approach for Manipulating Ontologies", 6ª Conferência Ibérica de Sistemas e Tecnologias de Informação, Chaves, Portugal, Junho de 2011. (pdf)
J.L. Freitas, D. Cruz, P.R. Henriques, "The role of Comments on Program Comprehension", in Luis Caires and Raul Barbosa, editors, INForum 2011; Simpósio de Informática (CoRTA2011 track), Coimbra, Portugal, Setembro 2011. Universidade de Coimbra. (pdf)
A. Simões, N. Carvalho, J.J. Almeida, "Testing as a Certification Approach", Proc. of 4th Int. Wksh. on Foundations and Techniques for Open Source Software Certification (OpenCert 2010), Pisa, Italy, September 2010, Electronic Communications of the EASST, volume 33 (2010), 10 pages. (pdf)
J.C. Silva, J.C. Campos, J.A. Saraiva, "GUI Inspection from Source Code Analysis", Proc. of 4th Int. Wksh. on Foundations and Techniques for Open Source Software Certification (OpenCert 2010), Pisa, Italy, September 2010, Electronic Communications of the EASST, volume 33 (2010), 18 pages.
S. Areias, D. Cruz, P.R. Henriques, J.S. Pinto, "GammaPolarSlicer, a Contract-based Tool to Help on Reuse", Proc. of INForum 2010 - Simpósio de Informática (CoRTA2010 track), Braga, Portugal, September 2010, Universidade do Minho, pp. 137-148. (pdf)
S. Areias, D. Cruz, P.R. Henriques, J.S. Pinto, "Safe Integration of Annotated Components in Open Source Projects", Proc. of 4th Int. Wksh. on Foundations and Techniques for Open Source Software Certification (OpenCert 2010), Pisa, Italy, September 2010, Electronic Communications of the EASST, volume 33 (2010), 17 pages.
S. Areias, D. Cruz, J.S. Pinto, "Contract-based Slicing helps on safety Reuse (poster)", Proc. of 18th Int. Conf. on Program Comprehension (ICPC'10), Braga, Portugal, June 2010, IEEE Computer Society, CPS, pp. 62-63. (pdf)
J.C. Silva, C.E. Silva, R.D. Gonçalo, J.A. Saraiva, J.C. Campos, "The GUISurfer tool: towards a language independent approach to reverse engineering GUI code", In Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '10), Berlin, Germany, June 19-23, 2010, ACM, pp. 181-186.
J.C. Silva, C.E. Silva, J.C. Campos, J.A. Saraiva, "GUI Behavior from Source Code Analysis", Proc. of 4a. Conf. Nac. em Interacção Humano-Computador (Interacção 2010), Aveiro, Portugal, Outubro 2010, pp. 81-88.
Thesis
Carlos Miguel Regedor Torres, "Analyzing and Measuring Open-Source Projects". MSc thesis. Escola de Engenharia, Universidade do Minho, Abril, 2013. (pdf)
Nuno Gil Correia Veloso da Veiga, "Generating Automated Test Cases Based on Models". MSc thesis. Escola de Engenharia, Universidade do Minho, Abril, 2012. (pdf)
José Luís Freitas. "Comments Analysis for Program Comprehension". MSc thesis. Escola de Engenharia, Universidade do Minho, December, 2011. (pdf)
Daniela Cruz. "Verification, Slicing, and Visualization of Programs with Contracts". PhD thesis. Escola de Engenharia, Universidade do Minho, October 2011. (pdf)
Sérgio Areias. "Contracts and Slicing for Safety Reuse". MSc thesis. Escola de Engenharia, Universidade do Minho, December, 2010. (pdf)
João Miguel Veiga. "Quality Assessment of Java Source Code". MSc thesis. Escola de Engenharia, Universidade do Minho, December, 2010. (pdf)
Carlos Eduardo Silva. "Reverse Engineering of Rich Internet Applications". MSc thesis. Escola de Engenharia, Universidade do Minho, Setembro, 2010. (pdf)
João Carlos Silva. "GUIsurfer: A Generic Framework for Reverse Engineering of Graphical User Interfaces". PhD thesis. Escola de Engenharia, Universidade do Minho, December 2010. (pdf)
Technical Reports
Paulo Almeida, "Globo Virtual (Android)", Departamento de Informática, Universidade do Minho, Junho 2013. (pdf)
R. Gonçalo, "Automated Teste Generation Survey", Departamento de Informática, Universidade do Minho, December 2012. (pdf)(slides)
J.J. Pereira, "Fundamentos do `Bounded Model Checking' de Programas", Departamento de Informática, Universidade do Minho, November 2012. (pdf)
Nuno Oliveira, "Web 3D Service", Departamento de Informática, Universidade do Minho, Junho 2012. (pdf)
S. Areias, D. da Cruz, P.R. Henriques, "GamaPolarSlicer, technical report", University of Minho, June 2012. (pdf)
J.M. Veiga, M.J. Frade, "TreeCycle: a Sonar plugin for design quality assessment of Java programs". Techn. Report CROSS-10.07-1. Departamento de Informática, Universidade do Minho, July 2010. (pdf)
Report Publication
Please update on uploading a new report: YY.MM-n, n being sequential inside each month.
TWiki's Research/CROSS webThe Research/CROSS web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise.http://wiki.di.uminho.pt/twiki/bin/view/Research/CROSSCopyright 2020 by contributing authors2013-07-12T20:15:38ZPublicationshttp://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/Publications2013-07-12T20:15:38ZProject Publications and Reports Journal Papers A. Sanchez, N. Oliveira, L. S. Barbosa, and P. R. Henriques, "A perspective on architectural re engineering ... (last changed by MariaJoaoFrade)MariaJoaoFradeToolshttp://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/Tools2013-07-08T09:41:16ZTools TreeCycle : a Sonar plugin for design quality assessment of Java programs (version 1.0) (version 1.2) GUISurfer : A Reverse engineering tool for GUI code ... (last changed by MariaJoaoFrade)MariaJoaoFradeWebHomehttp://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/WebHome2013-06-03T14:52:21ZAn Infrastructure for Certification and Re engineering of Open Source Software This project aims at developing new program understanding and analysis techniques and ... (last changed by JorgeSousaPinto)JorgeSousaPintoWebPreferenceshttp://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/WebPreferences2013-01-09T15:43:54ZResearch/CROSS Web Preferences The following settings are web preferences of the Research/CROSS web. These preferences overwrite the site level preferences ... (last changed by JoseFaria)JoseFariaNewshttp://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/News2013-01-03T11:22:37Z17 Nov 12 CROSS Workshop 23 Jun 11 CROSS Workshop 22 Jun 10 First paper published! (GUISurfer tool: ...) 24 Feb 10 Kick Off Meeting 6 Oct 09 CROSS website ... (last changed by MariaJoaoFrade)MariaJoaoFrade2ndWorkshophttp://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/2ndWorkshop2012-12-20T09:02:35Z2nd CROSS Workshop: 19th December 2012, Braga Location: DI A1 Programme 9:30 Welcome (Maria João Frade) 9:40 Policy Driven Electronic Governance and Opportunities ... (last changed by MariaJoaoFrade)MariaJoaoFradeWebSideBarhttp://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/WebSideBar2012-12-17T13:16:52ZOverview Home Project Description Intranet Team Research Team Job Opportunities Results Publications Tools Portal Events ... (last changed by MariaJoaoFrade)MariaJoaoFrade1stWorkshophttp://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/1stWorkshop2012-12-17T11:02:10Z1st CROSS Workshop: 2nd July 2011, Braga Programme 9:20 Welcome (Maria João Frade) 9:30 Learning and Activity Patterns in OSS Communities and their Impact ... (last changed by MariaJoaoFrade)MariaJoaoFrade2stWorkshophttp://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/2stWorkshop2012-12-17T01:54:14Z (last changed by MariaJoaoFrade)MariaJoaoFradeTeamhttp://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/Team2012-11-17T00:57:45ZResearch Team Simões Cruz Carlos Silva (PhD Student) João Carlos Silva (PhD Student) Saraiva (UM Staff) Gustavo Rocha (UM Staff) ... (last changed by MariaJoaoFrade)MariaJoaoFradeJobshttp://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/Jobs2012-07-11T14:29:47ZJob Opportunities BI 2 Informa se que se encontra aberto concurso para atribuição de uma Bolsa de Investigação, com a duração de 9 meses, eventualmente renovável ... (last changed by MariaJoaoFrade)MariaJoaoFradeCrossCafehttp://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/CrossCafe2011-06-29T17:00:58ZCROSS Café Wednesdays at 14:30 in the DI meeting room The CROSS Café is a monthly scientific colloquium organized by the CROSS project. Moderator: João Frade. Attendance ... (last changed by MariaJoaoFrade)MariaJoaoFradeDescriptionhttp://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/Description2011-06-29T16:59:49ZProject Description Plan and Methods The goal of the CROSS project is to strengthen the role of open source software (OSS) in the European IT sector. Actually, open ... (last changed by MariaJoaoFrade)MariaJoaoFradePrivhttp://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/Priv2009-11-12T19:27:50ZMariaJoaoFrade 12 Nov 2009 (last changed by MariaJoaoFrade)MariaJoaoFradeCalendarhttp://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/Calendar2009-11-12T18:36:52Z (last changed by MariaJoaoFrade)MariaJoaoFradeProjectSummaryhttp://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/ProjectSummary2009-10-08T17:31:38ZProject Summary The Problem Over the past decade, the Open Source Software (OSS) phenomenon has had a global impact on the way software systems and software based ... (last changed by MariaJoaoFrade)MariaJoaoFrade
Project Publications and Reports Journal Papers A. Sanchez, N. Oliveira, L. S. Barbosa, and P. R. Henriques, "A perspective on architectural re engineering ...
An Infrastructure for Certification and Re engineering of Open Source Software This project aims at developing new program understanding and analysis techniques and ...
Research/CROSS Web Preferences The following settings are web preferences of the Research/CROSS web. These preferences overwrite the site level preferences ...
17 Nov 12 CROSS Workshop 23 Jun 11 CROSS Workshop 22 Jun 10 First paper published! (GUISurfer tool: ...) 24 Feb 10 Kick Off Meeting 6 Oct 09 CROSS website ...
1st CROSS Workshop: 2nd July 2011, Braga Programme 9:20 Welcome (Maria João Frade) 9:30 Learning and Activity Patterns in OSS Communities and their Impact ...
Job Opportunities BI 2 Informa se que se encontra aberto concurso para atribuição de uma Bolsa de Investigação, com a duração de 9 meses, eventualmente renovável ...
CROSS Café Wednesdays at 14:30 in the DI meeting room The CROSS Café is a monthly scientific colloquium organized by the CROSS project. Moderator: João Frade. Attendance ...
Project Description Plan and Methods The goal of the CROSS project is to strengthen the role of open source software (OSS) in the European IT sector. Actually, open ...
Project Summary The Problem Over the past decade, the Open Source Software (OSS) phenomenon has had a global impact on the way software systems and software based ...
An Infrastructure for Certification and Re-engineering of Open Source Software
This project aims at developing new program understanding and analysis techniques and combine them for quality assessment of open source code and
smoothly integrating such techniques into the open source software very peculiar development process without disturbing its collaborative, distributed and heterogeneous character.
This Project is funded by ERDF - European Regional Development Fund through the COMPETE Programme (operational programme for competitiveness) and by National Funds through the FCT - Fundação para a Ciência e a Tecnologia (Portuguese Foundation for Science and Technology) within project FCOMP-01-0124-FEDER-010049
Supported by
under contract PTDC/EIA-CCO/108995/2008 (116 KEuro)
1st CROSS Workshop: 2nd July 2011, Braga Programme 9:20 Welcome (Maria João Frade) 9:30 Learning and Activity Patterns in OSS Communities and their Impact ...
CROSS Café Wednesdays at 14:30 in the DI meeting room The CROSS Café is a monthly scientific colloquium organized by the CROSS project. Moderator: João Frade. Attendance ...
Project Description Plan and Methods The goal of the CROSS project is to strengthen the role of open source software (OSS) in the European IT sector. Actually, open ...
Job Opportunities BI 2 Informa se que se encontra aberto concurso para atribuição de uma Bolsa de Investigação, com a duração de 9 meses, eventualmente renovável ...
17 Nov 12 CROSS Workshop 23 Jun 11 CROSS Workshop 22 Jun 10 First paper published! (GUISurfer tool: ...) 24 Feb 10 Kick Off Meeting 6 Oct 09 CROSS website ...
Project Summary The Problem Over the past decade, the Open Source Software (OSS) phenomenon has had a global impact on the way software systems and software based ...
Project Publications and Reports Journal Papers A. Sanchez, N. Oliveira, L. S. Barbosa, and P. R. Henriques, "A perspective on architectural re engineering ...
An Infrastructure for Certification and Re engineering of Open Source Software This project aims at developing new program understanding and analysis techniques and ...
Research/CROSS Web Preferences The following settings are web preferences of the Research/CROSS 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/CROSS 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:
Each TWiki web has an automatic e-mail notification service that sends you an e-mail with links to all of the topics modified since the last alert.
Users subscribe to email notifications using their WikiName or an alternative email address, and can specify the webs/topics they wish to track using one of these bullet list formats:
three spaces * [ webname . ] wikiName - SMTP mail address three spaces * [ webName . ] wikiName three spaces * SMTP mail address three spaces * SMTP mail address : topics three spaces * [ webname . ] wikiName : topics
In the above examples, topics is a space-separated list of topic names. The user may further customize the specific content they will receive using the following formats:
Specify topics without a Web. prefix
Topics must exist in this web.
Topics may be specified using * wildcards
Each topic may optionally be preceded by a '+' or '-' sign. The '+' sign means "subscribe to this topic" (the same as not putting anything). The '-' sign means "unsubscribe" or "don't send notifications regarding this topic". This allows users to elect to filter out certain topics (and their children, to an arbitrary depth). Topic filters ('-') take precedence over topic includes ('+').
Each topic may optionally be followed by an integer in parentheses, indicating the depth of the tree of children below that topic. Changes in all these children will be detected and reported along with changes to the topic itself. Note This uses the TWiki "Topic parent" feature.
Each topic may optionally be immediately followed by an exclamation mark ! or a question mark ? with no intervening spaces, indicating that the topic (and children if there is a tree depth specifier as well) should be mailed out as complete topics instead of change summaries. ! causes the topic to be mailed every time even if there have been no changes, ? will mail the topic only if there have been changes to it. This only makes sense for subscriptions.
For example:
Subscribe Daisy to all changes to topics in this web.
* daisy.cutter@flowers.com
Subscribe Daisy to all changes in all webs that start with Web.
* daisy.cutter@flowers.com: Web*
Subscribe Daisy to changes to topics starting with Petal, and their immediate children, WeedKillers and children to a depth of 3, and all topics that match start with Pretty and end with Flowers e.g. PrettyPinkFlowers
Subscribe Daisy to the full content of NewsLetter whenever it has changed
* daisy@flowers.com: TWiki.NewsLetter?
Subscribe buttercup to NewsLetter and its immediate children, even if it hasn't changed.
* buttercup@flowers.com: TWiki.NewsLetter! (1)
Subscribe GardenGroup (which includes Petunia) to all changed topics under AllnewsLetters to a depth of 3. Then unsubscribe Petunia from the ManureNewsLetter, which she would normally get as a member of GardenGroup? :
A user may be listed many times in the WebNotify topic. Where a user has several lines in WebNotify that all match the same topic, they will only be notified about changes that topic once (though they will still receive individual mails for news topics).
If a TWiki group is listed for notification, the group will be recursively expanded to the e-mail addresses of all members.
Tip: List names in alphabetical order to make it easier to find the names.
Note for System Administrators: Notification is supported by an add-on to the TWiki kernel called the MailerContrib. See the MailerContrib topic for details of how to set up this service.
Note: If you prefer a news feed, point your reader to WebRss (for RSS 1.0 feeds) or WebAtom (for ATOM 1.0 feeds). Learn more at WebRssBase and WebAtomBase, respectively.
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/CROSS.Topic links.
Set SITEMAPLIST = on
Set SITEMAPWHAT = CROSS
Set SITEMAPUSETO = An Infrastructure for Certification and Re-engineering of Open Source Software
Exclude web from a web="all" search: (Set to on for hidden webs)
Set NOSEARCHALL =
Prevent automatic linking of WikiWords and acronyms (if set to on); link WikiWords (if empty); can be overwritten by web preferences:
#Set NOAUTOLINK =
Note: You can still use the [[...][...]] syntax to link topics if you disabled WikiWord linking. The <noautolink> ... </noautolink> syntax can be used to prevents links within a block of text.
Default template for new topics for this web:
WebTopicEditTemplate? : Default template for new topics in this web. (Site-level is used if topic does not exist)
Comma separated list of forms that can be attached to topics in this web. See TWikiForms for more information.
Set WEBFORMS =
Users or groups who are not / are allowed to view / change / rename topics in the Research/CROSS web: (See TWikiAccessControl). Remove the # to enable any of these settings. Remember that an empty setting is a valid setting; setting DENYWEBVIEW to nothing means that anyone can view the web.
#Set DENYWEBVIEW =
#Set ALLOWWEBVIEW =
#Set DENYWEBCHANGE =
Set ALLOWWEBCHANGE = MariaJoaoFrade,Main.PedroRangelHenriques,Main.LuisSoaresBarbosa,Main.JorgeSousaPinto,Main.JoaoSaraiva,Main.JoseJoao,Main.JorgeGustavo,Main.JoseCampos,Main.AlbertoSimoes,Main.NunoRodrigues,Main.DanielaCruz,Main.JoaoPedroSilva,Main.NunoCarvalho
Set ALLOWTOPICRENAME = MariaJoaoFrade,Main.PedroRangelHenriques,Main.LuisSoaresBarbosa,Main.JorgeSousaPinto,Main.JoaoSaraiva,Main.JoseJoao,Main.JorgeGustavo,Main.JoseCampos,Main.AlbertoSimoes,Main.NunoRodrigues,Main.DanielaCruz,Main.JoaoPedroSilva,Main.JoaoCarlosSilva
Web preferences that are not allowed to be overridden by user or topic preferences:
Preferences are used as TWikiVariables by enclosing the name in percent signs. Example:
When you write variable %WEBBGCOLOR% , it gets expanded to #D0D0D0
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 your own preferences variables and use them in your topics and templates.
TWiki search results for \.*
http://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS
The Research/CROSS web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise.en-usCopyright 2020 by contributing authorsTWiki Administrator [webmaster@di.uminho.pt]The contributing authors of TWikiTWikiDIUM.Research/CROSS
http://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS
/twiki/pub/Main/LocalLogos/um_eengP.jpgPublications
http://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/Publications
Project Publications and Reports Journal Papers A. Sanchez, N. Oliveira, L. S. Barbosa, and P. R. Henriques, "A perspective on architectural re engineering ... (last changed by MariaJoaoFrade)2013-07-12T20:15:38ZMariaJoaoFradeTools
http://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/Tools
Tools TreeCycle : a Sonar plugin for design quality assessment of Java programs (version 1.0) (version 1.2) GUISurfer : A Reverse engineering tool for GUI code ... (last changed by MariaJoaoFrade)2013-07-08T09:41:16ZMariaJoaoFradeWebHome
http://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/WebHome
An Infrastructure for Certification and Re engineering of Open Source Software This project aims at developing new program understanding and analysis techniques and ... (last changed by JorgeSousaPinto)2013-06-03T14:52:21ZJorgeSousaPintoWebPreferences
http://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/WebPreferences
Research/CROSS Web Preferences The following settings are web preferences of the Research/CROSS web. These preferences overwrite the site level preferences ... (last changed by JoseFaria)2013-01-09T15:43:54ZJoseFariaNews
http://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/News
17 Nov 12 CROSS Workshop 23 Jun 11 CROSS Workshop 22 Jun 10 First paper published! (GUISurfer tool: ...) 24 Feb 10 Kick Off Meeting 6 Oct 09 CROSS website ... (last changed by MariaJoaoFrade)2013-01-03T11:22:37ZMariaJoaoFrade2ndWorkshop
http://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/2ndWorkshop
2nd CROSS Workshop: 19th December 2012, Braga Location: DI A1 Programme 9:30 Welcome (Maria João Frade) 9:40 Policy Driven Electronic Governance and Opportunities ... (last changed by MariaJoaoFrade)2012-12-20T09:02:35ZMariaJoaoFradeWebSideBar
http://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/WebSideBar
Overview Home Project Description Intranet Team Research Team Job Opportunities Results Publications Tools Portal Events ... (last changed by MariaJoaoFrade)2012-12-17T13:16:52ZMariaJoaoFrade1stWorkshop
http://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/1stWorkshop
1st CROSS Workshop: 2nd July 2011, Braga Programme 9:20 Welcome (Maria João Frade) 9:30 Learning and Activity Patterns in OSS Communities and their Impact ... (last changed by MariaJoaoFrade)2012-12-17T11:02:10ZMariaJoaoFrade2stWorkshop
http://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/2stWorkshop
(last changed by MariaJoaoFrade)2012-12-17T01:54:14ZMariaJoaoFradeTeam
http://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/Team
Research Team Simões Cruz Carlos Silva (PhD Student) João Carlos Silva (PhD Student) Saraiva (UM Staff) Gustavo Rocha (UM Staff) ... (last changed by MariaJoaoFrade)2012-11-17T00:57:45ZMariaJoaoFradeJobs
http://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/Jobs
Job Opportunities BI 2 Informa se que se encontra aberto concurso para atribuição de uma Bolsa de Investigação, com a duração de 9 meses, eventualmente renovável ... (last changed by MariaJoaoFrade)2012-07-11T14:29:47ZMariaJoaoFradeCrossCafe
http://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/CrossCafe
CROSS Café Wednesdays at 14:30 in the DI meeting room The CROSS Café is a monthly scientific colloquium organized by the CROSS project. Moderator: João Frade. Attendance ... (last changed by MariaJoaoFrade)2011-06-29T17:00:58ZMariaJoaoFradeDescription
http://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/Description
Project Description Plan and Methods The goal of the CROSS project is to strengthen the role of open source software (OSS) in the European IT sector. Actually, open ... (last changed by MariaJoaoFrade)2011-06-29T16:59:49ZMariaJoaoFradePriv
http://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/Priv
MariaJoaoFrade 12 Nov 2009 (last changed by MariaJoaoFrade)2009-11-12T19:27:50ZMariaJoaoFradeCalendar
http://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/Calendar
(last changed by MariaJoaoFrade)2009-11-12T18:36:52ZMariaJoaoFradeProjectSummary
http://wiki.di.uminho.pt/twiki/bin/view/Research/CROSS/ProjectSummary
Project Summary The Problem Over the past decade, the Open Source Software (OSS) phenomenon has had a global impact on the way software systems and software based ... (last changed by MariaJoaoFrade)2009-10-08T17:31:38ZMariaJoaoFrade
Research/CROSS Web
Create New Topic
Index
Search
Changes
Notifications
Statistics
Preferences
DI
Tip: List names in alphabetical order to make it easier to find the names.
Rename, move or delete this web: 
If you already know the name of the topic, enter the name of the topic into the 
List topics that start with the letter: 
Once you have created the topic, consider adding links in related topics to the new topic so that there are more ways people can discover it.
Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.