Talks

Upcoming seminars schedule: Click here.

2018.2

  • 24/08/2018: Mariana Maia Peixoto (CIN/UFPE/PhD Candidate)

    Title: Results from a Systematic Literature Review on Modeling Languages for Privacy Requirements

    Abstract: Data from software applications often reveals a large amount of personal information and can be used for purposes other than originally intended. Disclosure of this information in an unregulated way raises privacy concerns. Thus, the literature reports the need for systematic approaches to model and analyze privacy requirements from the early activities of software development. Objective: Motivated by this situation, it is necessary to investigate the concepts of privacy, as well as the modeling languages and requirements analysis techniques that support these concepts Method: Carry out to this investigation, a systematic literature review on requirements modeling languages for privacy was performed. Results: The study presents the main concepts of privacy in a conceptual model, as well as the taxonomy of the main languages and analysis techniques of requirements that support each concept of privacy found. Finally, the elements and relationships of each language are presented. Conclusions: this paper contributes by presenting a basis to standardize concepts for privacy, it can help developers to make choices about which modeling language to use and can serve as basis to help improving the existing modeling languages for privacy requirements.

  • 17/08/2018: Enyo Gonçalves (CIN/UFPE/PhD Candidate)

    Title: iStar Extensions: Looking Back and Thinking about the Future

    Abstract: Recently the iStar modeling language has evolved to a new version (iStar 2.0), where this version joins the different variations of iStar and standardizes it. We believe that it is natural and necessary the core of iStar and any other language to evolve. Nevertheless, iStar has been extended many times, so it is time to research about iStar extensions. Extending a modeling language is to add new constructs or modify the old ones. According to the way new concepts are proposed, an extension can be developed using a light-weight or heavy-weight strategy. The first iStar extension was proposed 16 years ago (2001 - 2017). So, this talk reviews the existing iStar extensions by presenting a quantitative analysis and the perspectives of iStar researchers. Some challenges will be discussed such as extension mechanisms and a process to guide iStar extensions.

2018.1

  • 20/06/2018: Paulo Silva (CIN/UFPE/MSc Candidate)

    Title: Requisítos 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.

    20/06/2018: Tiago Nogueira (CIN/UFPE/MSc Candidate)

    Title: 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: Moniky Ribeiro(CIN/UFPE/MSc Candidate)

    Title: Specifying Safety Requirements with GORE languages(SBES-Jessyka)

    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.

    13/06/2018: Sandrine Martins(CIN/UFPE/MSc Candidate)

    Title: 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)

    Title: 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.

    08/06/2018: Débora Silva(CIN/UFPE/MSc Candidate)

    Title: 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)

    Title: 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.

    06/06/2018: Carolline Pena(CIN/UFPE/MSc Candidate)

    Title: 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)

    Title: 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)

    Title: 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.

  • 2018/05/04: Jéssyka Vilela (CIN/UFPE/PhD Candidate)

    Title: Integration between requirements engineering and safety analysis

    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.

  • 2018/04/27: Reinaldo Silva (CIN/UFPE/MSc Candidate)

    Title: 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.

  • 2018/04/20: Helena Bastos (CIN/UFPE/PhD Candidate)

    Title: 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.

  • 2018/04/13: Sérgio Mendonça (CTG/UFPE/PhD Candidate)

    Title: 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.

  • 2018/04/06: Arianna Olivera (CTG/UFPE/Postdoc)

    Title: Redes de Petri: visão geral

    Abstract (in Portuguese): 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.

  • 2018/03/23: Professor João Pimentel (UFRPE)

    Title: A Gamified Requirements Inspection Process for Goal Model

    Abstract: Despite its potential benefits, requirements inspection is an often overlooked activity. When it is performed, it is usually in an unstructured, ad hoc fashion. This is particularly the case for requirements documented as i* goal models, considering that there is no inspection process designed specifically to address this kind of models. In this paper, we propose a gamified requirements inspection process that goes beyond the straightforward application of game mechanics. The Ring-i process (Requirements Inspection Gamified process for i* Models) allows stakeholders to verify i* models together, in a playful environment. Empirical evaluation with students in a Requirements Engineering course provided indications that the process is not only useful but also fun and easy to use.

  • 2018/03/16: Camilo Almendra (CIn/UFPE/PhD candidate)

    Title: Introduction to Requirements Engineering for Safety-Critical Systems

    Abstract: Risks of software-related accidents raise as result of growing complexity of safety-critical systems (SCS) and reliance on software components. We introduce fundamental concepts of SCS development and discuss the role of software in modern systems. We bring on the interrelations between safety engineering and requirements engineering and review some research and industry challenges.

  • 2018/03/09: Mariana Peixoto (CIn/UFPE/PhD candidate)

    Title: Modeling Language to Support Privacy Requirements

    Abstract: Data from software applications often reveals a large amount of personal information and can be used for purposes other than originally intended. Disclosure of this information in an unregulated way raises privacy concerns. Thus, the literature reports the need for systematic approaches to model and analyze privacy requirements from the early activities of software development. Motivated by this situation, it is necessary to investigate the concepts of privacy, as well as the modeling languages and requirements analysis techniques that support these concepts. As part of this investigation, an overview of the area will be presented.

  • 2016/02/19 (by LER): Professor Daniel Berry talks on CIn-UFPE, titled The Four Levels of Requirements Engineering for and in Dynamic Adaptive Systems

  • 2013/08/02 (by LER): Professor João Araújo talks on CIn-UFPE, titled "Evaluating and Creatively Building KAOS Goal Models".

  • 2013/07/26 (by LER): Professor Óscar Pastor presents a lecture on CIn-UFPE, when he presented his study, titled "From Requirements do Code: A Full Model-Driven Development".

  • 2013/07/16 (by LER): Professor John Mylopoulos talks on ER@BR'2013, where his presentation was titled: "Requirements Models at Design and Runtime".

  • 2013/07/16 (by LER): Professor Anthony Finkelstein talks on CIn-UFPE and ER@BR'2013, where his presentation was titled: "The Next 10 Years: the shape of software to come and what it means for software engineering".