Weekly Seminars

* Timetables and rooms

(A palestra será proferida em inglês)
Biography: Tony Gorschek is a Professor of Software Engineering at Blekinge Institute of Technology – where he works as a research scientist in close collaboration with industrial partners. Dr. Gorschek has over fifteen years industrial experience as a CTO, senior executive consultant and engineer. In addition he is a serial entrepreneur – with five startups in fields ranging from logistics to internet based services and database register optimisation. At present he works as a research leader and in several research projects developing scalable, efficient and effective solutions in the areas of Requirements Engineering, Product Management, Value based product development, and Real Agile™ and Lean product development and evolution. Dr. Gorschek leads the SERT profile (Software Engineering ReThought) developing the next generation of applied empirical research movements to meet the challenges of the next generation of software intensive products and services.
www.gorschek.com
tony.gorschek@bth.se

07/12/2018

Tayse Virgulino (UFPE, MsC candidate)
Definição de Requisitos para o Domínio de Sistemas Robóticos (WER18) (Slides| Paper)
Resumo: Segundo Albuquerque (2018), muitos esforços de pesquisa nas últimas duas décadas foram investidos para apoiar a engenharia de requisitos (RE) para sistemas gerais. No entanto, para nosso conhecimento, não há estrutura para suportar adequadamente RE para sistemas robóticos. Os esforços de pesquisa relacionados a sistemas robóticos utilizam uma área de atuação específica, tal pode ser verificado nos estudos realizados por Albuquerque (2018), que propõe identificar algumas características técnicas que afetam diretamente a tarefa de definição de requisitos para sistemas robóticos.
A proposta da apresentação será evidenciar a definição de requisitos para o domínio da robótica, aplicando exemplos de missões na plataforma NAO, como também apresentando proposta de solução de definição de requisitos para o domínio da robótica.

Grennda Guerra (UFPE, MsC candidate)
Requirements Engineering for Embedded Systems: The REPES Process
Abstract: Business Process Models are a relevant input for the development of information systems. Since processes are performed in increasingly dynamic business environments, the processes are required to be flexible and dynamic as well, adapting to environmental changes. Thus, it is essential to properly represent variability in Business Process Models. Moreover, in order to allow for adaptive and autonomic systems, it is of paramount importance to reason on
the variability of a process, being able to select a process configuration for a given context. In this paper, we present an approach for such context-aware reasoning, on which the business process configuration is driven by Non-Functional Requirements. Using independent models for expressing variability representation, configuration knowledge, contextual information, and the process itself, we present algorithms and mechanisms to perform business process configuration at runtime. Furthermore, we describe experiments we conducted in order to assess the suitability of our approach.

14/11/2018

Jéssyka Vilela (UFPE, PhD candidate)
Safe-RE: a Safety Requirements Metamodel Based on Industry Safety Standards (SBES 2018)
Abstract: Context: The development of Safety-Critical Systems (SCS) requires an adequate understanding of safety terms to avoid the specification of poor, incomplete or unclear safety requirements. However, there are some misunderstandings, mostly by requirements engineers, about the definition of such concepts. Hence, integration of safety concerns in the Requirements Engineering (RE) and a common nomenclature is necessary to improve the specification of these systems. Objective: To fill this gap, this paper presents Safe-RE, a safety requirements metamodel based on industry safety standards whose aim is to support the specification of safety-related concepts in the RE process. Method: We rely on safety standards as a basis for our work since companies must follow them to have their systems certified. Results: To illustrate the Safe-RE metamodel usage, we applied its concepts in an insulin infusion pump system. Conclusions: We hope that Safe-RE can contribute to improving the elicitation and specifications of such systems and therefore, reducing accidents and safety-related catastrophes. We also discuss some benefits we envision of using the metamodel, its limitations, and open issues.

26/10/2018

Tarcísio Pereira (UFPE, PhD candidate)
A metamodel to guide a requirements elicitation process for embedded systems (WER18) (Slides | Paper)
Abstract: [Context] In the embedded systems (ES) area, more than 50% of problems occur at system delivery and are related to misconceptions in capturing requirements. Therefore, it is necessary to address what should be considered by requirements engineers in the elicitation and specification phases of embedded systems. However, understanding embedded systems and their environment is a strenuous activity. Hence, requirements engineers need to know the core concepts related to ES and also a systematic guide to consider these concepts in the development process. [Goal] This paper presents a metamodel based on a systematic literature review (SLR) that can support the elicitation of ES concepts. Additionally, we used the metamodel as a guide to the development of a requirements elicitation process. [Method] We used the studies of an SLR as a basis for the metamodel development and their concepts as input for an investigation of actions that are suitable to be used in our elicitation process. The proposed metamodel concepts were evaluated by a domain expert, and we applied the actions of the process to elicit requirements of an infusion pump system. [Results] The metamodel has 118 entities that represent the RE concepts for ES, and the elicitation process has 49 actions to guide requirements identification and definition. [Conclusion] The metamodel can be used by practitioners to check if they are eliciting the appropriate information for the development of embedded systems. Moreover, it can assist future research. Besides, the process can help organizations in improving their requirements practices to support completeness and correctness of ES elicitation.

Requirements Engineering for Embedded Systems: The REPES Process (QUATIC 18)
Abstract: [Context] Requirements Engineering (RE) for Embedded Systems (ES) is challenging since it has unique properties that make it complex, expensive and error-prone compared with other software categories, such as information systems. Due to their complexity, the risk of undetected requirements errors and deficiencies increases considerably. [Goal] Thus, this paper presents a specific process for requirements development and management named REPES which is tailored for embedded systems. [Method] In this proposal, we used the results of a Systematic Literature Review (SLR), metamodel and RE standards to guide the development of the process. [Results] REPES has four main process areas, 24 sub-processes, and 89 actions. [Conclusion] We argue that the proposed process can help organizations in improving their requirements practices to support completeness and correctness of RE for ES.

19/10/2018

Timóteo Gomes da Silva (UFPE, PhD candidate)
De KAOS para SysML na Modelagem de Sistemas Embarcados: Uma Revisão da Literatura (WER)
Abstract: (in portuguese): Resumo: Na modelagem de sistemas, de modo em geral, não se leva em consideração as razões e intenções que determinam as funcionalidades desses sistemas. A Engenharia de Requisitos Orientada a Objetivos (do inglês, Goal Oriented Requirements Engineering – GORE) visa resolver esse problema. Nesse contexto, está KAOS, que chega aos requisitos, pretendendo dar respostas às questões “Por quê?”, “Quem?” e “Quando?” sobre os objetivos/metas previamente declarados. Por outro lado, no desenvolvimento de sistemas complexos, nos quais os sistemas embarcados estão inseridos, utiliza-se a linguagem de modelagem SysML, mas que como UML, não dá muita atenção a dimensão das razões e intenções. Desta feita, pretende-se integrar KAOS a SysML através do mapeamento de seus quatro modelos para os diagramas da SysML. Alguns desses modelos são naturais à UML, no entanto SysML tem outras dimensões que precisam ser consideradas, sobretudo os novos diagramas: o de requisitos e o paramétrico. Como forma de verificar o grau de correção do pretendido mapeamento, pensa-se utilizar simulações através da modelagem em redes de Petri. Neste artigo são apresentados os primeiros resultados da revisão sistemática da literatura para a identificação de abordagens similares e de problemas ainda em aberto no contexto da modelagem de sistemas embarcados.

Etelvina Raimundo Domingos (UFPE, MSc Candidate)
An Environment-Driven Ontological Approach to Requirements Elicitation for Safety-Critical Systems
Abstract: The environment, where a safety critical system (SCS) operates, is an important source from which safety requirements of the SCS can originate. By treating the system under construction as a black box, the environment is typically documented as a number of assumptions, based on which a set of environmental safety requirements will be elicited. However, it is not a trivial task in practice to capture the environmental assumptions to elicit safety requirements. The lack of certain assumptions or too strict assumptions will either result in incomplete environmental safety requirements or waste many efforts on eliciting incorrect requirements. Moreover, the variety of operating environment for an SCS will further complicate the task, since the captured assumptions are at risk of invalidity, and consequently the elicited requirements need to be revisited to ensure safety has not been compromised by the change. This short paper presents an on-going work aiming to 1) systematically organize the knowledge of system operating environment and,
2) facilitate the elicitation of environmental safety requirements. We propose an ontological approach to achieve the objectives. In particular, we utilize conceptual ontologies to organize the environment knowledge in terms of relevant environment concepts, relations among them and axioms. Environmental assumptions are captured by instantiating the environment ontology. An ontological reasoning mechanism is also provided to support elicitation of safety requirements from the captured assumptions.

28/09/2018

Enyo Gonçalves (UFPE, PhD candidate)
Understanding what is important in iStar extension proposals: the viewpoint of researchers (Publicado no Requirements Engineering Journal) (Slides | Paper)
Abstract: iStar is a goal-based requirements modelling language, being used in both industrial and academic projects of different domains. Often the language is extended to incorporate new constructs related to a particular application domain or to adjust it to practical situations during requirements modelling. Currently, the language is undergoing standardisation, and several studies have focused on the analysis of iStar variations to identify similarities and to define a core. This does not imply or constrain the need for iStar to continue to be extended. This paper contributes to the understanding of how iStar is extended by analysing how iStar researchers perform iStar extensions. To address this question, we followed a qualitative approach based on interviews involving 20 researchers from different research groups that proposed iStar extensions. The analysis revealed a good understanding about what extending a modelling language means and pointed out differences about how extensions are proposed. We discovered categories that impact positively on iStar extensions (such as reusing existing extensions, proposing
extensions in abstract and concrete syntaxes, and creating new modelling tools), and other categories that impact negatively (such as modifying representations of the original constructs, proposing extensions in an ad hoc fashion and not carefully choosing graphical representations). We also evaluated the findings of interviews through an online survey answered by 30 iStar researchers. Finally, we proposed a set of guidelines to support the proposal for better future iStar extensions.

A Catalogue of iStar Extensions (Um dos Best Papers do 21st Workshop on Requirements Engineering) (Slides | Paper)
Abstract: iStar has been extended since its initial proposal in the 90’s. It is worth noting that since 2016 the language notation is under standardisation. However, new extensions continue to be proposed. The search for previous extensions and its constructs can be a starting point in the proposal of new ones. So, to ease the identification of the previous extensions and its constructs is essential to next proposals. Motivated by this situation, the objective of this paper is to present a catalogue of iStar extensions. The extensions and their constructs were identified from a systematic literature review, which identified that 96 extensions had been proposed until 2016. The results suggest that catalogue is important during future iStar extensions proposal.

21/09/2018

Amora Sukar (UPE, MSc candidate)
Configuração de Processos de Negócio em Organizações Públicas Considerando Informações de Contexto e Requisitos Não-Funcionais
Abstract: (in portuguese): Resumo: Atualmente, o gerenciamento e a modelagem de processos de negócio são práticas bem estabelecidas no setor privado. No entanto, verifica-se que a orientação a processos nas organizações públicas ainda está em seus estágios iniciais. Devido à natureza dos processos de negócio desse setor, normalmente sujeitos a diversas limitações, tais como leis, diretrizes políticas e orçamentos, é fundamental que seus modelos de processos de negócio sejam suficientemente flexíveis para suportarem mudanças e restrições. Assim, essa pesquisa tem como objetivo apresentar um diagnóstico sobre como são consideradas informações de contexto e a influência dos RNFs durante a configuração dos processos de negócio no setor público. Para isso, uma RSL foi realizada com objetivo de identificar e se avaliar abordagens existentes que tratem aquelas informações em conjunto na modelagem de processos. Também foi realizado um estudo empírico, em uma organização pública, para analisar como aqueles conceitos são ou podem ser considerados de fato na prática. Ao fim da pesquisa, buscou-se apontar evidências sobre a necessidade de adaptação da modelagem dos processos de negócio atuais para a construção de modelos que sejam capazes de considerar sensibilidade ao contexto através da configuração dos RNFs, bem como as vantagens e desvantagens envolvidas nesse processo.

Kádna Camboim (CTG/UFPE, PhD Candidate)
Requisitos não Funcionais e Sustentabilidade para Computação em Nuvem: uma Revisão Sistemática da Literatura
Abstract: (in portuguese): Resumo: A computação em nuvem continua a se disseminar no mundo web, possibilitando o uso de aplicações, plataformas e infraestruturas através de conexões remotas. Requisitos não funcionais de grande importância para computação em nuvem devem considerar desempenho e sustentabilidade, de modo a impactar diretamente nos custos e na qualidade dos serviços prestados, considerando ainda evitar (maiores) danos à saúde ambiental. Uma das grandes dificuldades enfrentadas é a falta de padrões na adoção desta tecnologia, o que implica na maneira de melhor configurar infraestruturas, levando em conta a diversidade de requisitos essenciais que devem ser atendidos para garantias de entrega e fornecimento dos serviços. Este trabalho apresenta quais requisitos não funcionais e parâmetros de sustentabilidade necessitam de especial atenção no processo de migração para computação em nuvem. Os dados são apresentados como resultados de uma revisão sistemática da literatura.

14/09/2018

Dorgival Netto (UFPE, PhD candidate)
Addressing ambiguity in legal requirements engineering of software systems
(accepted for CBSoft and WTDsoft)
Abstract: (in portuguese): Contexto: Os textos legais estão cada vez mais presentes no desenvolvimento de software e na Engenharia de Requisitos (ER), por serem uma fonte de requisitos e devido as exigências da conformidade legal do sistema. Quando as leis são alteradas impactam nesses requisitos e, consequentemente, na conformidade legal do software. Em sua estrutura, as leis possuem condições, revogações e exceções que representam alternativas de solução para a conformidade. Os analistas de requisitos elicitam e especificam requisitos, geralmente, em linguagem natural. Esse tipo de abordagem é um desafio para a ER devido a ambiguidade própria da linguagem natural, que também predomina no texto legal. Possuir termos ambíguos em qualquer uma das situações pode fazer com que o sistema não satisfaça os desejos dos stakeholders ou não esteja em conformidade com a legislação. Objetivo: Essa tese se preocupa em resolver a ambiguidade de requisitos no contexto do desenvolvimento de software com conformidade legal. Assim, este trabalho visa definir um conjunto de diretrizes que auxilie o analista de requisitos, com a participação de um especialista legal, na elaboração de uma especificação de requisitos em conformidade com as regulamentações e sem ambiguidade. A resolução da ambiguidade baseia-se nas melhores práticas da literatura e da indústria. As alternativas a conformidade serão identificadas através de um modelo de normas, e para que seja possível avaliar o efeito e responder satisfatoriamente quando a lei sofrer qualquer tipo de alteração, manteremos a rastreabilidade entre o trecho legal e os requisitos. Método: Realizamos um estudo exploratório utilizando a especificação de requisitos do iTrust. Pretendemos demonstrar a aplicação das diretrizes propostas através da modelagem de cenários do iTrust. Realizaremos um estudo empírico no setor de conformidade legal de TI de organizações governamentais para identificar como a ambiguidade em requisitos legais é tratada na prática. Realizaremos a um estudo de caso com especialistas a fim de verificar e validar a aplicabilidade e utilidade das diretrizes do ponto de vista do analista de requisitos. Resultados: As diretrizes produzirão artefatos que auxiliam o analista de requisitos a elaborar uma especificação de requisitos sem ambiguidade e em conformidade com a legislação. Esperamos reduzir a quantidade de requisitos ambíguos na especificação de requisitos facilitando assim a conformidade legal.

Mariana Maia (CIN/UFPE/PhD Candidate)
Specifying Privacy Requirements with Goal-Oriented Modeling Languages (accepted for CBSoft and SBES)
Abstract: Context: Privacy of personal data is a growing concern regarding users of software systems. In this sense, the literature reports that in order to avoid privacy breaches, there must be systematic approaches to specify privacy requirements from the early activities of software development. Objective: Motivated by this situation, this paper presents a framework of privacy modeling capabilities that must be addressed by requirements modeling languages to better support privacy specification. The capabilities will be used to compare three goal-oriented modeling languages (i*, NFR-Framework and Secure-Tropos). Method: The framework was created with basis on a conceptual foundation and a conceptual model of privacy built from an analysis of a standard, a regulation, guidelines and other bibliographical sources related to privacy. A health care example is used to illustrate how the framework can be used to compare the chosen modeling languages. Results: Fourteen privacy modeling capabilities were defined in the framework and it was observed that the analyzed modeling languages do not fully support them. Conclusions: The proposed framework contributes towards the consolidation of a privacy conceptual foundation that can be used to evaluate modeling languages for privacy in Requirements Engineering. The comparison performed by using this framework indicates Secure-Tropos as the most complete language to model privacy among the analyzed goal-oriented modeling languages.

06/09/2018

Dorgival Netto (CIN/UFPE/PhD Candidate)
Addressing Ambiguity in Legal Requirements Engineering of Software Systems (Prévia da Qualificação)
Abstract (in portuguese): Contexto: Os textos legais estão cada vez mais presentes no desenvolvimento de software e na Engenharia de Requisitos (ER) por serem uma fonte de requisitos e devido as exigências para a conformidade legal do sistema. Os analistas de requisitos, geralmente, elicitam e especificam requisitos em linguagem natural. Esse tipo de abordagem é um desafio para a ER devido a ambiguidade própria da linguagem natural, que também predomina no texto legal. Os trabalhos existentes não se baseiam no modo como a indústria resolve o problema da ambiguidade na especificação de sistemas em conformidade legal. Portanto, possuir termos ambíguos na especificação de requisitos pode fazer com que o sistema não satisfaça os desejos dos stakeholders ou não esteja em conformidade. Objetivo: Esta tese se preocupa em reduzir a ambiguidade de requisitos no contexto do desenvolvimento de software com conformidade legal. Assim, este trabalho visa definir um conjunto de diretrizes, baseadas nas melhores práticas da academia e da indústria, que auxilie o analista de requisitos, com a participação de um especialista legal, na elaboração de uma especificação de requisitos com ambiguidade reduzida e em conformidade com a legislação. Método: O método de pesquisa design science foi utilizado para resolver um problema da prática, especificar requisitos, com ambiguidade reduzida, e garantir que a especificação esteja em conformidade com a legislação. Para alcançar o objetivo, inicialmente realizamos um estudo amplo na literatura para caracterizar o panorama da engenharia de requisitos legais em relação a ambiguidade e conformidade. Em seguida, realizaremos dois estudos de caso exploratório, utilizando como fonte de dados entrevistas semiestruturadas, no setor de conformidade legal de TI de organizações governamentais para identificar como o problema é tratado na prática. Os dados coletados a partir das entrevistas serão analisados utilizando técnicas de teoria fundamentada. A análise do estudo de caso e da literatura resultou em um conjunto de diretrizes para especificação de requisitos legais com ambiguidade reduzida e em conformidade com a legislação. Os métodos de avaliação descritivo (cenário) e observacional (estudo de caso) são utilizados para avaliar a proposta. Resultados: Assim, esperamos que o conhecimento advindo das práticas da academia e da indústria possa ser reusado por outras empresas e que as diretrizes auxiliem o analista de requisitos a identificar a ambiguidade presente nos requisitos e no texto legal e a especificar um sistema em conformidade com a legislação.

31/08/2018

Rodrigo Cursino (ECOMP/UPE, MSc candidate)
Gamification in Requirements Engineering: a Systematic Review (accepted for QUATIC’18)
Abstract: Gamification has been applied to a large diversity of settings in recent years, with encouraging and promising results. In the Software Engineering context, there are some research works that focused on the application of gamification in Requirements Engineer that need to be better analyzed and understood. Does gamification impact RE? What are the gamification elements that have been used? What sub-processes and RE tasks have been the subject of gamification? The objective of this paper is to carry out a systematic review to characterize the state of the art of gamification in RE, answering those and other questions, identifying gaps and opportunities for further research. It was conducted a systematic review to find the primary studies in the existent literature which objectives is applying gamification in RE and its sub-processes. As a result of the systematic review, 8 primary studies were found. They were published between 2012 and 2017 and most of them focus on the application of gamification on the elicitation, negotiation and prioritization RE sub-processes.

Daniel Ferreira (ECOMP/UPE, MSc candidate)
Aplicando Gamificaçao na Piorização de Requisitos em Projetos Ágeis
Abstract (in portuguese): Nos últimos anos, metodologias de desenvolvimento ágil de software têm sido amplamente utilizadas devido aos seus inúmeros benefícios, como o foco explícito na tarefa de criar valor de negócio e a potencial diminuição do risco do projeto. Softwares que não atendem às necessidades ou não agregam valor aos seus usuários tendem a enfrentar dificuldades no mercado. Sendo assim, as tarefas da Engenharia de Requisitos que envolvem elicitar, priorizar e gerenciar corre- tamente os requisitos, durante o desenvolvimento de software, são tarefas cruciais para o seu sucesso. Uma característica importante das metodologias ágeis é que a priorização dos requisitos é feita de maneira contínua e cíclica. Como ao final de cada iteração, o conjunto de requisitos entregue precisa agregar valor ao cliente, a entrega realizada é, na verdade, um conjunto de decisões a cerca dos requisitos e sua prioridade. Entretanto, motivar os stakeholders a participar voluntariamente e contribuir para a priorização de requisitos ainda é um problema em aberto. Apesar dos vários benefícios conhecidos das mais diversas técnicas de priorização de requisitos existentes, não se encontram na literatura abordagens com foco em atrair a atenção dos stakehol- ders para que elas sejam utilizadas efetivamente dentro das organizações. A gamificação (do inglês, gamification), é um conceito que surge como uma oportunidade de suprir essa carência. Um dos principais propósitos da gamificação é aumentar a motivação e engajamento dos usuários na execução de determinadas tarefas, deixando a competência de cada um emergir. Esta pesquisa tem como principal objetivo propor a utilização de gamificação dentro da tarefa de priorização de requisitos em projetos que utilizam metodologias ágeis. Seguindo os passos recomendados por um framework de gamificação já existente na literatura, este trabalho combina a técnica de priorização de requisitos Matriz de Wiegers com os alguns elementos de jogos. Para avaliar a proposta, uma ferramenta de apoio que permite a priorização colaborativa de estórias do usuário foi construída e utilizada em um experimento com dois grupos distintos de usuários. Um dos grupos utilizou a proposta com a camada de gamificação ativa, enquanto o outro grupo realizou a priorização sem esta camada. Os resultados encontrados sugerem que a abordagem proposta apresenta impactos positivos em alguns aspectos de engajamento na tarefa de priorização.

24/08/2018

Mariana Maia Peixoto (CIN/UFPE/PhD Candidate)
Privacy Requirements Engineering in Agile Software Development (accepted for WTDSoft’18)
Abstract: Context: Data from software applications often reveal a large amount of personal information and can be used for purposes other than those originally intended. Disclosure of this information in an unregulated way raises privacy concerns. Thus, the literature reports the need for systematic approaches to specify privacy requirements. Moreover, it is well-known that agile software development (ASD) has been increasingly adopted in industry as it can minimize the challenges related to requirements changes through short iterations and active stakeholders. Objective: In this context, this work explores privacy in Requirements Engineering (RE) and aims at providing a guide to deal with privacy during requirements elicitation and specification activities in ASD. Method: This research is organized into four steps. First, a systematic literature review (SLR) to understand how privacy concepts and their relationships are addressed by current approaches for modeling requirements. Second, two exploratory studies: a survey with privacy experts to validate the concepts found in the SLR and an analysis of a standard, a regulation, guidelines and other bibliographical sources related to privacy which were not captured in the SLR. Third, the creation of an approach to guide the elicitation and specification of privacy requirements in ASD. Fourth, the evaluation of the approach through interviews with privacy and ASD experts, illustrative scenarios and a controlled experiment. Results: As a result from the first step, a catalog of privacy requirements is created. The second step resulted in: i) a conceptual model of privacy requirements and ii) a set of privacy specification capabilities that should be supported during requirements specification of privacy-sensitive systems. In the third step, an approach to guide privacy requirements specification in ASD is proposed. The fourth step results in the data from the evaluations and a discussion on this data to formulate the conclusions. Conclusion: The proposed approach is expected to provide high quality privacy requirements specifications and to be considered useful and ease to use by requirements engineers.

17/08/2018

Jéssyka Vilela
Assessment of Safety Processes in Requirements Engineering (accepted for RE’18)
Abstract:

João Pimentel
piStar Tool – A Pluggable Online Tool for Goal Modeling (accepted for RE’18)
Abstract: Since its proposal in the nineties, the i* goal modeling proposal has spawned a number of complementary work, ncluding: language extensions, automated reasoning, and transformation to/from i* models. In order to automate their proposals, researchers need to either create a new tool from scratch or to extend an existing tool. In fact, the i* Wiki lists 29 different i* modeling tools. A common approach for creating such tools has been to use the Eclipse tools as a foundation (12 listed tools), which presents complexity issues of its own. The main idea of this work is the creation of an i* modeling tool with low entry barriers for developers wishing to extend it. Our piStar tool can be extended with JavaScript, requiring no specific development tools. Alternatively, developers can adopt their language of choice (such as Java and Python), using piStar models as input either through manually downloading the model file or by sending it for processing through a REST request.

15/08/2018

Prof. João Araújo
On the Impact of Semantic Transparency on Understanding and Reviewing Social Goal Model (Slides)
Abstract: Context: i* is one of the most influential languages in the Requirements Engineering research community. Perhaps due to its complexity and low adoption in industry, it became a natural candidate for studies aiming at improving its concrete syntax and the stakeholders’ ability to correctly interpret i* models. Objectives: We evaluate the impact of semantic transparency on understanding and reviewing i* models, in the presence of a language key. Methods: We performed a quasi-experiment comparing the standard i* concrete syntax with an alternative that has an increased semantic transparency. We asked 57 novice participants to perform understanding and reviewing tasks on i* models, and measured their accuracy, speed and ease, using metrics of task success, time and effort, collected with eye-tracking and participants’ feedback. Results: We found no evidence of improved accuracy or speed attributable to the alternativeconcretesyntax.Althoughparticipants’perceivedease was similar, they devoted significantly less visual effort to the model and the provided language key, when using the alternative concrete syntax. Conclusions: The context provided by the model and language key may mitigate the i* symbol recognition deficit reported in previous works. However, the alternative concrete syntax required a significantly lower visual effort.

Matheus Marinho
A Systematic Approach of Dataset definition for a Supervised Machine Learning using NFR  Framework (accepted for QUATIC’18) (Slides)
Abstract: Non-functional requirements describe important constraints upon the software development and should therefore be considered and specified as early as possible during the system analysis. Effective elicitation of requirements is arguably among the most important of the resulting recommended RE practices. Recent research has shown that artificial intelligence techniques such as Machine Learning and Text Mining perform the automatic extraction and classification of quality attributes from text documents with relevant results. This paper aims to define a systematic process of dataset generation through NFR Framework catalogues improving the NFR’s classification process using Machine Learning techniques. A well-known dataset (Promise) was used to evaluate the precision of our approach reaching interesting results. Regarding to security and performance we obtained a precision and recall ranging between ~85% and ~98%. And we achievement a F1 above ~79% when classified the security, performance and usability together.

20/06/2018

Moniky Ribeiro (CIN/UFPE/MSc Candidate)
Specifying Safety Requirements with GORE languages (Slides | Paper) 
Abstract: A suitable representation of Safety-Critical Systems (SCS) requirements is crucial to avoid misunderstandings in safety requirements and issues in safety specification. However, current general requirements specification languages do not fully support the particularities of specifying SCS. Objective: In this paper, our goal is to identify and propose a set of important features that should be provided by requirements languages to support an early safety requirements specification. Moreover, we aim to compare the ability of the four most used Goal-Oriented Requirements Engineering (GORE) languages (i*, KAOS, GRL, NFR-Framework) in supporting the proposed features. Method: We first established a conceptual foundation and a conceptual model based on the literature, challenges elicited in previous works, and demands of safety standards at the requirements level that practitioners must satisfy in order to certify their systems. Results: We proposed a set of 15 features that requirements languages should provide to an early safety requirements specification. Regarding the comparison of GORE languages, in summary, all surveyed languages lacks explicit modeling constructs to express how hazards can occur in the system, the accidents, their impact and how they can mitigated. Conclusions: The conceptual foundation, conceptual model, and the set of features is a novelty. Finally, the features can be used to propose new requirements languages for SCS or to define extensions for the ones already available.

Tiago Nogueira (CIN/UFPE/MSc Candidate)
Engenharia de requisitos em pequenas empresas
Abstract: Pequenas Empresas representam grande parte da economia e os desafios enfrentados por elas são únicos e diferentes de organizações de grande porte. Um grande problema enfrentado por esses tipos de organizações é o gerenciamento das atividades de Engenharia de Requisitos, uma das fases mais importantes e críticas em qualquer projeto de desenvolvimento de software. As atividades bem gerenciadas e precisas de Engenharia de Requisitos unidas a processos otimizados podem desempenhar um papel vital no planejamento e execução bem-sucedidos de qualquer projeto de desenvolvimento de software, principalmente em organizações com baixo nível de maturidade como as pequenas empresas.

13/06/2018

Paulo Silva (CIN/UFPE/MSc Candidate)
Requisitos de desempenho em softwares
Abstract: A única maneira de os sistemas atingirem suas metas de desempenho é que elas sejam especificadas de forma clara e inequívoca. Se o desempenho não for um critério declarado nos requisitos do sistema, os projetistas e desenvolvedores normalmente não darão importância a problemas de desempenho. Em muitos casos, os requisitos de desempenho não são fatores impeditivos para o lançamento de um sistema, porém há softwares em que o desempenho é um ponto crítico para seu correto funcionamento. Nesses casos é necessário entender qual a melhor aplicação da engenharia de requisitos para atender a esse tipo de necessidade.

Sandrine Martins(CIN/UFPE/MSc Candidate)
Conceitos e práticas no ensino da Engenharia de Requisitos
Abstract: A engenharia de requisitos é fundamental para o sucesso de um projeto de software, e a fim de ter profissionais que são capazes de realizar esses projetos com êxito, a educação em engenharia de requisitos é, portanto, um importante esforço. Essa educação idealmente pode ser fornecida a nível universitário, como parte integrante do desenvolvimento das habilidades e conhecimentos necessários pouco antes dos alunos se tornarem engenheiros e entrarem no mercado de trabalho. Um desafio em ensinar os alunos sobre a realidade da engenharia de requisitos envolve o gerenciamento de mudança de requisitos e suas incertezas associadas. Neste contexto, o objetivo deste trabalho é apresentar os conceitos e práticas envolvidas no ensino da engenharia de requisitos.

08/06/2018

Júlia Almeida (CIN/UFPE/MSc Candidate)
Engenharia de requisitos aplicada ao contexto de softwares ubíquos
Abstract: Em consequência aos avanços tecnológicos, o número de dispositivos aumentou, surgindo diferentes smartphones, tablets e smartwatches presentes tanto na realização de atividades pessoais como profissionais. Diante desses avanços surgiu a computação ubíqua, a qual une características da computação móvel com suas próprias características de onipresença e sensibilidade ao contexto. Desse modo, em decorrência desse novo paradigma, surgiram os softwares ubíquos e com eles a necessidade de técnicas e métodos da engenharia de software e engenharia de requisitos que proporcionem suporte para a realização das atividades de desenvolvimento e concepção de um software ubíquo. Então, o objetivo deste seminário é apresentar um pouco sobre atividades da engenharia de requisitos aplicada ao contexto ubíquo.

Débora Silva(CIN/UFPE/MSc Candidate)
Testes de requisitos não funcionais para aplicações Android
Abstract: O número de dispositivos móveis que utilizam a plataforma Android, tem crescido ano a ano. Em todo o mundo, muitas empresas estão focadas em desenvolver aplicações para este sistema operacional, desta forma, novos requisitos surgem para atender as especificações do usuário. Para garantir uma melhor experiência para os utilizadores destes aplicativos, é importante que tenhamos software com boa qualidade e que atendam os requisitos especificados. Diante deste cenário um dos grandes desafios do time de qualidade é garantir que os requisitos não-funcionais foram implementados conforme o especificado, para este fim, alguns métodos de validação são utilizados. A proposta deste trabalho é apresentar técnicas, ferramentas e processos que podem ser utilizados para auxiliar os testes durante a validação dos requisitos não funcionais para aplicativos Android.

06/06/2018

Paulo Nascimento(CIN/UFPE/MSc Candidate)
Requisitos Emocionais
Abstract: Requisitos Emocionais é um tipo de requisito não funcional normalmente explorado nos video games para atrair os usuários pela jogabilidade e despertar engajamento. Agora, a indústria de software passa a identificar esse requisito para os seus produtos a fim de obter o mesmo resultado obtido pelos produtores de vídeo games. Dessa forma ela evita que suas ferramentas sejam desprezadas pelos usuários cuja falta de emoção, ou até a presença de outras indesejadas, reflitam no abandono do produto. Algumas pesquisas mostram que quando um software contém requisitos emocionais bem mapeados com o objetivo de tocar na emoção do usuário as chances de abandono são baixas. Então, o objetivo deste seminário apresentar uma introdução a requisitos emocionais e mostrar influência na adesão/rejeição de um produto.

Carolline Pena(CIN/UFPE/MSc Candidate)
A dimensão social do trabalho e a Engenharia de Requisitos
Abstract: As características implícitas na natureza do trabalho fornecem uma compreensão sobre o valor da organização de suas tarefas e demonstram como é possível apoiar o desenvolvimento de sistemas a partir da integração, colaboração e resolução de conflitos entre equipes. É nesta perspectiva que uma abordagem voltada para a análise da dimensão social do trabalho pode contribuir para a Engenharia de Requisitos.

18/05/2018

Tarcisio Pereira (CIN/UFPE/PhD Candidate)
Seminar: Requirements Engineering for Embedded Systems
Abstract: Context: In the Embedded Systems (ES) area, more than 50% of problems occur at system delivery and are related to misconceptions in capturing requirements. A Requirements Engineering (RE) process is crucial to meeting time, cost, and quality goals. Despite advances in embedded development, we argue that few requirements engineering initiatives meet these systems particularities. Objective: In order to cope with the complexity of embedded systems, we investigate the studies proposed to improvethe requirements engineering activities in ES domain. Method: We use a Systematic Literature Review (SLR) as the basis forour work. Results: We analyzed 84 studies and found (1) evidence of benefits to using the studies in requirements engineeringactivities; (2) the majority of studies only partially address the requirements engineering process; (3) there is a great diversity of REmodeling styles used by the studies; (4) non-functional requirements need further investigation; (5) there are several characteristicsto be considered during ES development; (6) we found 5 embedded systems domain in which requirements engineering is takeninto account; (7) several studies depicts the use of tools to support their approaches and (8) evidence suggesting topics for future developments Conclusions: This paper is a step towards developing a body of knowledge in RE for ES that is derived from a large-scale SLR. We believe the results will benefit both researchers and practitioners.

11/05/2018

Elias Elnatã (CTG/UFPE/MSc Candidate)
Seminar: “Primeiro contato com Sistemas Embarcados: uma visão generalista”
Abstract: São apresentados ASICs, FPGA e microcontroladores(Launch Pad). É apresentado uma proposta consolidada de onde usar cada dispositivo definindo o custo de determinada aplicação, assim garantindo que o sistema embarcado esteja dentro das necessidades da aplicação. Também são apresentados os principais processadores da ARM e suas subfamílias. Aplicações em sistemas informatizados tais como dispositivos celulares, tablets, sistemas de controle de automóveis, relógios inteligentes e aplicações para Internet das Coisas – IoT.

04/05/2018

Jéssyka Vilela (CIN/UFPE/PhD Candidate)
Seminar: “Integration between requirements engineering and safety analysis” (Slides)
Abstract: Safety-Critical Systems (SCS) require more sophisticated requirements engineering (RE) approaches as inadequate, incomplete or misunderstood requirements have been recognized as a major cause in many accidents and safety-related catastrophes. In this talk, we will discuss the challenges regarding the complexity of specifying SCS by presenting the approaches proposed to improve the communication or integration between RE and safety engineering in SCS development. We will present the results of a SLR we conducted to investigate the activities that should be performed by RE during safety analysis, the hazard/safety techniques it could use, the relationships between safety information that it should specify, the tools to support safety analysis as well as integration benefits between these areas. Finally, we will present the status of our research.

27/04/2018

Reinaldo Silva (CIN/UFPE/MSc Candidate)
Seminar: “Requisitos não Funcionais para Sistemas Embarcados”
Abstract: Sistemas Embarcados auxiliam as pessoas nas mais variadas atividades em seu cotidiano e a demanda e necessidade por esse tipo de software cresce a cada dia. Dessa forma buscam-se métodos, técnicas e abordagens que ajudem no projeto de software embarcado. Um dos desafios na fase de elicitação e especificação de requisitos é identificar e entender os requisitos não funcionais abordados dentro desse domínio, bem como suas particularidades. Nesse cenário esta pesquisa tem como objetivo realizar o levantamento dos requisitos não funcionais no domínio de sistemas embarcados e a criação de um catálogo de requisitos apresentando definições, atributos e características.

20/04/2018

Helena Bastos (CIN/UFPE/PhD Candidate)
Seminar: “Integração de BPM e Engenharia de Requisitos considerando os conceitos de agilidade”
Abstract: Agilidade em BPM (Business Process Management) é um aspecto apontado como fundamental para o sucesso dos negócios nas empresas. Entretanto, os projetos de BPM costumam ser longos, o que ocasiona uma demora grande para que os clientes obtenham resultados. Por outro lado, a especificação de requisitos é apontada como um dos desafios que comprometem a adoção dos métodos ágeis no desenvolvimento. Estudos apontam que especificações baseadas em User Stories se mostram insuficientes para a implementação e requerem uma constante presença do cliente para esclarecer os requisitos e sua disponibilidade é insatisfatória. Nesse contexto, o objetivo desta pesquisa é construir uma abordagem para integrar BPM e a Engenharia de Requisitos considerando os conceitos de Agilidade visando acelerar projetos de BPM e melhorar a qualidade das Especificações de Requisitos.

13/04/2018

Sérgio Francisco Tavares de Oliveira Mendonça (PhD Candidate at CTG/UFPE).
Seminar: “Internet of Things: an overview”
Abstract: “The Internet of Things (IoT) is a futuristic technology and it is proposed as an ecosystem of connected physical objects or “things” embedded with electronics, software, sensors, and network connectivity, which enables these objects to collect and exchange data, that are accessible through the internet, and it is also referred to as Machine-to-Machine (M2M), Skynet or Internet of Everything. IEEE (2014) described the phrase “Internet of Thing” as “a network of items – each embedded with sensors – which are connected to the Internet”. As a consequence of the numerous devices (or things) and their rich interactions, about 20 billion connected things will be in use by 2020. Moreover, regarding hardware expenses, consumer and enterprise applications will amount to about $3 trillion by 2020, according to Gartner (MEULEN , 2015). We will introduce some concepts, advantages of IoT: data and information, tracking, time, money, communication, automation and control, and better quality of life; and disadvantages of IoT: compatibility, complexity, privacy and security, and safety. We will also talk about the general applications, such as, smart cities, home and industrial automation, health monitoring, and smart environment. Finally, we will present an overview about a smart city application and some privacy and security principle has been carried out more and more during the past decades.“

06/04/2018

Arianna Olivera (Postdoc at CTG/UFPE)
Seminar: “Redes de Petri: visão geral” (Slides)
Abstract: “Desde a sua criação em 1962, na tese de doutorado de Carl Adam Petri, as Redes de Petri vêm se consolidando como esquema formal para representação de processos de diversas naturezas, aplicados a um numero grande de casos práticos. As Redes de Petri e suas extensões, são amplamente usadas na modelagem e análise de sistemas complexos, devido fundamentalmente à expressividade da linguagem de descrição e as poderosas ferramentas de análise. Estas redes constituem uma potente ferramenta de modelagem gráfica e formal que permite a descrição e o estudo de sistemas dinâmicos discretos. Além disto possuem uma sólida base matem atica que facilita a análise e a verificação de um numero grande de propriedades presentes nos sistemas. A análise destas propriedades permite a verificação dos requisitos funcionais dos sistemas modelados, o que facilita a detecção de possíveis erros e portanto facilita a correção destes, antes de iniciar a fase de implementação. As redes de Petri tem sido usadas tanto para modelar sistemas de software como sistemas de hardware, podendo ser aplicadas em diferentes níveis do processo de engenharia de sistemas. Comparadas com outros formalismos, as redes de Petri são mais adequadas para a visualização e compreensão do comportamento dos sistemas.”