Workshop em Engenharia de Requisitos
Workshop en Ingenier�a de Requerimientos
Workshop on Requirements Engineering

Anais do WER V. 25, 2022. Virtual mode - Natal, Brasil

Expediente Contato

@proceedings{WERpapers: WER22,
  editores = {Leandro Antonelli (UNLP, Argentina), Maria Lencastre (UPE, Brasil), , Victor Santander (Unioeste, Brasil)
},
  title = {Anais do WER22 - Workshop em Engenharia de Requisitos, Virtual mode, Natal, Brasil, Agosto 23-26, 2022},
  publisher = {Even3, Brazil},
  ISBN = {978-65-00-73495-9},
  ISSN = {2675-0066},
  year = {2022}
}

1. Research Track - Full papers

1 - An Iterative and Collaborative Approach to Specify Scenarios using Natural Language. Leandro Antonelli, Juliana Delle Ville, Felipe Dioguardi, Alejandro Fernandez, Luciana Tanevitch, Diego Torres. pp. , DOI 10.29327/1298262.25-2. [pdf] [scholar]

Abstract: Requirements engineering is one of the most important stages in software development. Errors committed at this stage require a lot of effort to fix in further stages. There are two main strategies to deal with software development: classic and agile. Classic software development relies on an extensive and very detailed specification, while agile development minimizes the effort on requirements specifications, relying on brief descriptions and a running prototype as a means of communication. Before the specification of requirements, there are some preliminary meetings held between the stakeholders and the IT team with the objective of discovering the goal and scope of the application to be developed. The knowledge transferred during these meetings is crucial to provide a context to requirements, no matters whether the approach is classic or agile. We argue that scenarios written in natural language are adequate artifacts to capture this knowledge. This paper proposes an iterative and collaborative approach to describe scenarios. The approach has two main activities: one of them is concerned with the description that stakeholders should perform, while the other provides guidelines to verify and possible improve the scenarios. This paper also presents a prototype tool that helps enforcing these guidelines automatically. This prototype relies on natural language processing. Finally, the paper shows the result of a preliminary evaluation of the proposed approach that indicates its results are promising

2 - A Collaborative Approach to specify Kernel Sentences using Natural Language. Leandro Antonelli, Alejandro Fernandez, Nicolas Ruffolo, Emiliano Sansone, Diego Torres. pp. , DOI 10.29327/1298262.25-3. [pdf] [scholar]

Abstract: Requirements engineering is a critical part of software development. Errors in the requirements, if not found and corrected early in the engineering process, become costly problems later on. Analysts commonly rely on Use Cases or Users Stories to capture requirements. However, there is domain knowledge that these artifacts don’t capture well (for example, business rules and given-then-when scenarios). Such domain knowledge is generally distributed among multiple stakeholders and domain experts with complementing perspectives. Therefore, it is important to use a collaborative technique with a simple artifact to acquire and validate their knowledge. Kernel sentences is a linguistic definition about small sentences (with only one verb) written in active voice. Some authors relate kernel sentences to business rules. We argue that kernel sentences are adequate to use in the collaborative acquisition and they can be used as the input to produce more complex artifacts. This paper proposes a collaborative approach to acquire and validate kernel sentences. The process has three main activities: acquisition of the kernel sentences, validation of them, and assessment of the activity of the experts who participate in the activity. This paper also describes a prototype to support the process. Finally, the paper shows the result of a preliminary evaluation with promising results about the applicability of the process.

3 - Obtendo Casos de Uso a Partir de Modelos de Processos de Neg�cio: Uma Revis�o Sistem�tica da Literatura. Victor F.A. Santander, Sidgley C. de Andrade, Ivonei F. da Silva, Alexandre L. B. Silva, Victor A. Pozzan, Marco A. Toranzo C�spedes. pp. , DOI 10.29327/1298262.25-4. [pdf] [scholar]

Abstract: Os modelos de processos de neg�cio servem como fonte de requisitos para a modelagem de sistemas de informa��o que podem ser constru�dos para operacionalizar processos organizacionais. Embora os requisitos possam ser representados atrav�s dos Casos de Uso, a transforma��o de um modelo em n�vel de neg�cio para um modelo em n�vel de sistema � dificultada devido � nota��o ou linguagem utilizada para modelar o neg�cio ser diferente da utilizada para modelar o sistema. Essa diferen�a entre modelos � uma das barreiras na obten��o ou defini��o de requisitos de qualidade, pois o engenheiro de requisitos pode ter pouco conhecimento sobre os conceitos de processos de neg�cio e a falta de iniciativas (abordagens, m�todos, t�cnicas, processos ou ferramentas) que apoiem esse processo pode induzir o profissional a projetar o sistema de forma equivocada. Este trabalho conduz uma revis�o sistem�tica com o objetivo de apresentar o atual estado da arte sobre a deriva��o de Casos de Uso a partir de modelos de processos de neg�cio, bem como fornecer um guia aos engenheiros de requisitos, apresentando um leque de possibilidades dessas iniciativas e seus principais conceitos e fundamentos.

4 - Requisitos N�o-Funcionais de Confian�a: Um Cat�logo para Rob�s Socialmente Assistivos. Larissa Rodrigues da Costa, Jaelson Castro, Judith Kelner, Maria Lencastre. pp. , DOI 10.29327/1298262.25-5. [pdf] [scholar]

Abstract: Temos observado crescimento significativo no desenvol-vimento e utiliza��o de rob�s socialmente assistivos (Socially Assistive Robots � SARs) que interagem com humanos. Um dos aspectos cr�ticos para a ado��o desses rob�s � a confian�a (trust). Para a Engenharia de Requisitos, a confian�a poder� ser considerada um requisito n�o-funcional a ser satisfeito. As fases de elicita��o e especifica��o dos requisitos de confian�a contribuir� diretamente para a qualidade dos SARs. Na literatura h� uma escassez de trabalhos que abor-dam a confian�a no contexto de SARs. [Objetivo]: Este trabalho prop�s um ca-t�logo de Requisitos N�o-Funcionais de Confian�a para Rob�s Socialmente As-sistivos - NFR4TRUST. [M�todo]: Foi realizado um levantamento bibliogr�fico, abrangendo o contexto de confian�a em intera��o humano-rob�. Em seguida, foi constru�da uma taxonomia de confian�a para SARs que ir� auxiliar a descoberta de requisitos, servindo de base para a elabora��o do NFR4TRUST. A valida��o do cat�logo incluiu o seu uso na defini��o de requisitos de confian�a de um rob� que auxilia na reabilita��o de membros superiores, e a realiza��o de entrevistas com especialistas das �reas de NFR Framework, intera��o-humano-rob�, enge-nharia de requisitos e fisioterapia. [Resultados]: De acordo com os especialistas e engenheiros de requisitos consultados, o cat�logo NFR4TRUST � um artefato �til, de f�cil entendimento, apresentando uma boa abrang�ncia em rela��o aos requisitos n�o-funcionais de confian�a no dom�nio da SARs. [Conclus�o]: O NFR4TRUST foi considerado �til e adequado para apoiar as etapas de elicita��o e especifica��o em projetos de rob�s socialmente assistivos, permitindo a identi-fica��o de poss�veis problemas sobre a perspectiva de confian�a.

5 - Design Thinking and Non-Functional Requirements Elicitation: A Survey. F�bio Avigo de Castro Pinto, Anarosa Alves Franco Brand�o, F�bio Levy Siqueira. pp. , DOI 10.29327/1298262.25-6. [pdf] [scholar]

Abstract: Design Thinking (DT) is a human-centered approach used in innovative problem-solving. In software development projects, it can be usually applied as a toolbox, mindset or process. Moreover, DT has seen a large rise in popularity over the past decade, especially in its upfront use for eliciting requirements. Despite its many benefits and successful use cases in this scenario, some of the shortcomings related to its uses in Requirements Engineering (RE) have started to show up. One of them lies in the difficulty with eliciting other non-functional requirements (NFR) – besides usability –, possibly jeopardizing the subsequent software development life-cycle if these requirements are not properly addressed. This article presents a qualitative survey conducted via LinkedIn with 53 software developers that have had previous experiences with the use of DT as an upfront process in software projects. The focus of the research has been on identifying the existence of problems, how they became manifest, and whether the software community has tools for mitigating them. The results suggest the neglect of DT for requirements other than those of a functional or usability nature in this situation. Since this use of DT is focused on improving the users’ experience, and identifying their needs, we argue that such needs are not limited only to the functions of a software or its usability. In fact, we also advocate that other aspects that are intrinsic to NFR, such as performance and reliability are part of such needs.

6 - Organizing the TD Management Landscape for Requirements and Requirements Documentation Debt. Larissa Barbosa, S�vio Freire, Nicolli Rios, Robert Ramac, Neboj�a Tau�an, Boris P�rez, Camilo Castellanos, Dar�o Correal, Alexia Pacheco, Gustavo L�pez, Vladimir Mandic, Rita S. P Maciel, Manoel Mendon�a, Davide Falessi, Clemente Izurieta, Carolyn Seaman, Rodrigo Sp�nola. pp. , DOI 10.29327/1298262.25-7. [pdf] [scholar]

Abstract: Requirements and requirements documentation debt (R2DD) indicate shortcuts taken in software development projects, resulting in requirements partially implemented and with outdated documentation, respec-tively. Knowing the causes and effects of R2DD can support software teams in defining actions to prevent the occurrence of these items and aid in the prioriti-zation for eliminating them, respectively. Besides, having information on how practitioners deal with R2DD items can support developing new strategies and artifacts for managing these items. However, little is known on the state of the practice of R2DD. [Aims:] To investigate the state of the practice of R2DD, re-vealing its causes, effects, and practices and practice avoidance reasons (PARs) considered for its prevention and repayment. [Method:] We analyzed quantita-tively and qualitatively a corpus of responses from a survey with software prac-titioners on R2DD and its elements (causes, effects, prevention, and repayment). [Results:] We identified 55 causes, 33 effects, 26 prevention practices, three PARs related to nonprevention, 18 repayment practices, and 16 PARs associated with nonrepayment of R2DD items. [Conclusion:] We organized those practices into a conceptual map. Software practitioners can use the map to start or improve their initiatives for dealing with R2DD items.

7 - Uma taxonomia para requisitos de privacidade e sua aplica��o no Open Banking Brasil. S�mmara �llen Renner Ferr�o, Edna Dias Canedo. pp. , DOI 10.29327/1298262.25-8. [pdf] [scholar]

Abstract: A preocupa��o com a privacidade de dados � vem se destacando ao longo dos anos em diversos pa�ses. No Brasil a Lei Geral de Prote��o de Dados (LGPD) foi publicada em agosto de 2018, entrando em vigor em 2020 por�m, algumas dificuldades ainda s�o enfrentadas pelos profissionais de TIC na adequa��o dos mecanismos tecnol�gicos, por parte das organiza��es. Assim, este trabalho prop�e uma taxonomia de requisitos de privacidade baseada na LGPD e na ISO/IEC 29100 com o objetivo de apoiar as equipes de desenvolvimento de software no alcance da conformidade com os princ�pios da LGPD. A aplica��o pr�tica da taxonomia proposta foi realizada no processo de solicita��o de consentimento e no termo e condi��es de consentimento do projeto Open Banking de tr�s bancos no Brasil. A taxonomia de requisitos proposta � composta por 129 requisitos de privacidade divididos em 10 categorias e 5 contextos. A aplica��o pr�tica da taxonomia resultou em um percentual satisfat�rio de ader�ncia aos requisitos de privacidade demonstrando a possibilidade de apoio as equipes de desenvolvimento de software na busca pela adequa��o � LGPD especificamente no �mbito dos requisitos de privacidade.

8 - A Catalogue of KAOS Extensions. Pedro Rodrigues de Carvalho Junior, Enyo Jos� Tavares Gon�alves, Rainara Maia Carvalho, Marcos Antonio de Oliveira. pp. , DOI 10.29327/1298262.25-9. [pdf] [scholar]

Abstract: KAOS, a goal-based modeling language, has been extended since its creation. Searching for existing KAOS extensions and their constructs is a task that can be the start point for requirements modeling or for the creation of new KAOS extensions. This search can be performed by using strings searches in databases or through a catalogue that supports them. This exploratory task about extensions can take a great deal of time and be prone to failure when performed without specific and adequate support. catalogues have been used successfully to bring together a body of knowledge, including knowledge of modeling language extensions. Motivated by this scenario, this work proposes a catalogue of extensions to the KAOS modeling language. The results suggest that the proposed catalogue can be used to retrieve information about extensions and their constructs correctly and that it is easy to use.

9 - Requirements Engineering Processes in the Context of IoT and Requirements Validation Techniques. Lucas da Silva Souza, Felipe Brito Ayres, Pedro Henrique Teixeira Costa, Edna Dias Canedo. pp. , DOI 10.29327/1298262.25-10. [pdf] [scholar]

Abstract: The Internet of Things made possible an increase in the possibilities of automation and facilitation of people’s daily lives. From home automation to smart buildings, the rise in IoT's popularity brings a challenge to software development and requirements engineering. Developers and companies are not familiar with the requirements validation processes and techniques that exist in the context of an IoT system. Therefore, possible project failures and rework during software development are issues to be considered by development teams. This work aims at investigating the requirements engineering process and the requirements validation techniques in the IoT context described in the literature. Also, present a guide to support software development teams to have easy access to the processes and techniques proposed in the literature for this context. We conducted a survey of industry practitioners to investigate whether they use and know the processes and techniques identified in the literature. Our findings reveal that the technique most used by practitioners to perform requirements specification are stakeholders meeting and brainstorming and to validate requirements are prototypes and use cases.

10 - Engenharia de Requisitos de Sistemas IoT e Ciber-F�sicos: Resultados Preliminares. Ernesto Fonseca Veiga, Renato F. Bulc�o-Neto. pp. , DOI 10.29327/1298262.25-11. [pdf] [scholar]

Abstract: Internet of Things (IoT) e Cyber-Physical Systems (CPS) referem-se a um conjunto relacionado de tend�ncias na integra��o de recursos digitais (conectividade de rede e capacidade computacional) com dispositivos f�sicos e sistemas, visando melhorar seu desempenho e funcionalidade. Esses paradigmas t�m criado oportunidades de progresso e crescimento econ�mico em diversos setores, como ind�stria, energia e transportes. O desenvolvimento de IoT/CPS e as suas aplica��es t�m possibilitado a cria��o de sistemas cada vez mais complexos. Por�m, os projetos destes sistemas, muitas vezes, se mostram desafiadores para o processo tradicional de Engenharia de Requisitos (ER), levando � adapta��o de t�cnicas pr�-existentes, ou mesmo � cria��o de novas abordagens de ER, no intuito de atender as caracter�sticas espec�ficas desses sistemas. Neste contexto, o objetivo deste artigo � fornecer uma vis�o abrangente sobre o processo de ER para sistemas IoT/CPS. Para atingir esse objetivo, realizou-se um Mapeamento Sistem�tico em que foram encontrados, por meio de busca autom�tica e crit�rios de sele��o, 31 estudos prim�rios de ER para IoT/CPS. Desses estudos, foram extra�dos tipos e fontes de requisitos, atividades de ER, t�cnicas utilizadas e problemas tratados. Como resultado, a principal contribui��o deste trabalho � um levantamento do estado da arte sobre ER para sistemas IoT/CPS.

11 - A Catalogue of Concerns for Specifying Machine Learning-Enabled Systems. Hugo Villamizar, Marcos Kalinowski, H�lio Lopes. pp. , DOI 10.29327/1298262.25-12. [pdf] [scholar]

Abstract: Requirements engineering (RE) activities for machine learning (ML) are not well-established and researched in the literature. Many issues and challenges exist when specifying, designing, and developing ML-enabled systems. Adding more focus on RE for ML can help to develop more reliable ML-enabled systems. Based on insights collected from previous work and industrial experiences, we propose a catalogue of 45 concerns to be considered when specifying ML-enabled systems, covering five different perspectives we identified as relevant for such systems: objectives, user experience, infrastructure, model, and data. Examples of such concerns include the execution engine and telemetry for the infrastructure perspective, and explainability and reproducibility for the model perspective. We conducted a focus group session with eight software professionals with experience developing ML-enabled systems to validate the importance, quality and feasibility of using our catalogue. The feedback allowed us to improve the catalogue and confirmed its practical relevance. The main research contribution of this work consists in providing a validated set of concerns grouped into perspectives that can be used by requirements engineers to support the specification of ML-enabled systems.

12 - Um survey com especialistas como valida��o de elementos para composi��o de uma ontologia para Sistemas AAL (Ambient Assisted Living). Tim�teo Gomes, Fernanda Alencar. pp. , DOI 10.29327/1298262.25-13. [pdf] [scholar]

Abstract: O Ambient Assisted Living (AAL) se constitui em uma abordagem tecnol�gica que surgiu para atender �s demandas do p�blico idoso e pessoas com defici�ncia. Por serem considerados sistemas complexos e multidisciplinares � necess�rio se ter como identificar e definir quais m�dulos precisam compor esses sistemas. Dentre os desafios encontrados no desenvolvimento de sistemas AAL est� o alinhamento com os requisitos funcionais e/ou n�o funcionais e o cumpri-mento das restri��es �ticas, legais, sociais, m�dicas e t�cnicas que balizam esses tipos de sistemas. Diante disso, nesse trabalho � apresentado o resultado de um survey sobre o desenvolvimento de sistemas AAL, realizado com 28 especialistas (academia e ind�stria) sobre: tipos de sistemas AAL; ambientes; dispositivos; compliance; requisitos n�o-funcionais (qualidade do produto, qualidade de uso e requisitos �ticos); e, stakeholders. A partir das contribui��es recebidas e das evi-d�ncias da literatura foram realizados ajustes em um modelo, de forma a ser pos-s�vel a proposi��o de uma ontologia para orientar o desenvolvimento de sistemas AAL e ampliando-se o conhecimento a esse respeito.

13 - Requirements: The Never-Ending Story. Julio Cesar Sampaio do Prado Leite, . pp. , DOI 10.29327/1298262.25-14. [pdf] [scholar]

Abstract: A magic medallion is central in Michael Ende's novel, and it is depicted as two snakes biting each other, in a loop. Folk tale says that the design of the medallion changed for the Wolfgang Petersen's movie, depicting an even deeper image of infinity. The medallion turned out to be an icon for the story's fans. This vision paper will unleash a broad view of the realm of requirements and requirements engineering, comparing it to Percival's quest for the Holy Grail. Using literate and pop metaphors the paper posits that requirements engineering is an education process, which must be performed with transparency. Historical misunderstandings of "requirements" is reviewed, pitfalls to avoid are signaled and new trails to be built are proposed

2. Research Track - Short papers

14 - Relato de experi�ncia da linguagem de modelagem SysADL para documenta��o de sistemas embarcados com Arduino. Sara Guimar�es, Marcia Lucena, Roberta Coelho. pp. , DOI 10.29327/1298262.25-15. [pdf] [scholar]

Abstract: O presente artigo discute como foi realizada a documenta��o de um sistema embarcado com a placa Arduino. Os sistemas embarcados s�o caracterizados por realizarem a automa��o de atividades, que muitas vezes se utilizam de elementos do tipo sensor e atuador (e.g., irriga��o, monitoramento e explora��o espacial). Diante da relev�ncia desses sistemas, a utiliza��o t�cnicas adequadas de documenta��o tornase premente. Neste artigo apresentamos um sistema embarcado utilizado em uma base de lan�amento de foguete PET para automatizar o acionamento do lan�amento e a inser��o de combust�vel no foguete. Neste artigo apresentamos como este sistema foi modelado utilizando a vis�o estrutural, a vis�o comportamental e o diagrama de requisitos da SysADL, e discutimos sobre vantagens e desvantagens observadas com a modelagem adotada.

15 - Requirements management improvements for an agile project: an experience report. Amanda Sousa, Paulo Duarte, Ismayle S. Santos, Marina Reis Fernandes, Mariana Salamoni Francisco, Rossana M. C. Andrade. pp. , DOI 10.29327/1298262.25-16. [pdf] [scholar]

Abstract: Software requirements management is a process that involves several activities that generate artifacts that serve as a basis for project development. This process occurs continuously and is responsible for performing analysis, tracking, documentation, prioritization and change control so that all stakeholders agree on the requirements. However, these activities are not trivial and their form of execution varies according to the nature of each project. With this in mind, teams should be able to identify points for improvement, such as applying new practices, new technologies or tools and allocating resources to make the process more optimized and more productive. The present work presents our initial results towards improving a requirements engineering process within an agile team. Hence, this paper describes an experience report about identifying and applying good practices within a software development project. The difficulties and main lessons learned are also discussed.

16 - Diretrizes para apresenta��o de pol�ticas de privacidade voltadas � experi�ncia do usu�rio. Egberto Santana, J�ssyka Vilela, Mariana Peixoto. pp. , DOI 10.29327/1298262.25-17. [pdf] [scholar]

Abstract: Contexto: As empresas buscam o cumprimento e adequa��o de suas Pol�ticas de Privacidade �s novas Leis de Prote��o de Dados. No entanto, as Pol�ticas de Privacidade, geralmente, s�o apresentadas de forma longa e com um vocabul�rio muito formal, fazendo com que o usu�rio acabe perdendo o interesse em ler o documento. Objetivo: propor um Guia composto por diretrizes para melhorar a apresenta��o das interfaces de pol�ticas de privacidade voltadas � experi�ncia do usu�rio. M�todo: A avalia��o heur�stica de Nielsen combinada com a t�cnica de Design Sprint do Google foram utilizadas. Resultado: Foi poss�vel verificar que os usu�rios atingiram um bom n�vel de satisfa��o com as mudan�as propostas pelo Guia, resultando em uma melhor interpreta��o e compreens�o desta pol�tica apresentada. Conclus�o: As melhorias na interface levam a uma melhor experi�ncia do usu�rio.

17 - Avalia��o Experimental de um Cat�logo de Padr�es de Requisitos para Sistemas de Registro Eletr�nico de Sa�de. Mariana Crisostomo Martins, Taciana Novo Kudo, Renato F. Bulc�o-Neto. pp. , DOI 10.29327/1298262.25-18. [pdf] [scholar]

Abstract: Este artigo apresenta uma experimenta�c�o de um cat�logo de padr�es de requisitos (CPR) para Sistemas de Registro Eletr�nico de Sa�de (S-RES). A avalia�c�o do CPR inclui um estudo de caso e uma survey aplicados a duas turmas de gradua�c�o de disciplinas de Engenharia de Requisitos. Ap�s elaborarem documentos de especifica�c�o de requisitos com e sem o aux�lio do cat�logo, os estudantes responderam a um question�rio para identificar a utilidade e facilidade de uso do CPR para elicita�c�o e especifica�c�o de S-RES. Ao analisar a completude, o escopo e a consist�ncia dos documentos elaborados pelos estudantes, constatou-se que o CPR para S-RES melhorou a qualidade das especifica�c�es. Al�m disso, h� evid�ncias de que o CPR para S-RES � �til, f�cil de usar e tornou a elicita�c�o e a especifica�c�o mais r�pidas.

18 - Do Platforms Care About Your Child�s Data? A Proposal of Legal Requirements for Children�s Privacy and Protection. George Valen�a, Maria Wanick Sarinho, Vin�cius Polito, Fernando Lins. pp. , DOI 10.29327/1298262.25-19. [pdf] [scholar]

Abstract: To promote children's data protection, the design of services and products matters, as well as continued enforcement of terms of use and privacy policies by tech companies. However, the child, their rights and Privacy by Design principles place the burden on platforms to develop age-appropriate and rights-oriented experience. To highlight the duties of Big Techs and guide them in implementing children's privacy and data protection, we present 19 legal requirements (LR) based on UNICEF's Manifesto and the standard Children's Right by Design. Besides, to illustrate how each LR can be implemented, we consider examples from Youtube Kids and TikTok platform ecosystems. Our goal is to pave the way for a shift towards children's protection and promotion by tech companies, reducing the detrimental use of their data.

19 - Ensino de preven��o e gerenciamento de conflitos na Engenharia de Software baseado em Metodologias Ativas. Patricia Mergulh�o, Maria Lencastre, Aline Barbosa. pp. , DOI 10.29327/1298262.25-20. [pdf] [scholar]

Abstract: Este artigo apresenta um componente curricular para a Engenharia de Software que prop�e o ensino relacionado � preven��o e ao gerenciamento de conflitos, atrav�s do uso de Metodologias Ativas. Esta proposta � promissora para a forma��o, principalmente, de engenheiros de requisitos, que est�o em constante intera��o com stakeholders e, por isso, mais sujeitos a problemas de comunica��o e conflitos. O componente foi descrito atrav�s de um Canvas de Inova��o Curricular, que orientou na defini��o dos elementos a serem inclu�dos e na sua articula��o. O componente foi avaliado atrav�s de um estudo de caso que mostrou que este era promissor, din�mico e propositivo.

20 - A catalog of quality criteria to guide the assessment of applications� privacy policies. Augusto Terra, J�ssyka Vilela, Mariana Peixoto. pp. , DOI 10.29327/1298262.25-21. [pdf] [scholar]

Abstract: Context: The information about personal data processing must be described in the companies' privacy policies. Problem: privacy policies are long documents, full of jargon, and do not always comply with the current privacy law. Besides, the privacy policies should be consistent with requirements document and application behavior, hence, it is of paramount importance that stakeholders should be able to evaluate the quality of the privacy policies. Objective: This work proposes a catalog of criteria for assessing the quality of privacy policies. Method: the snowballing technique was performed to find relevant studies that evaluate privacy policies. Results: The proposed catalog, elaborated from the empirical results of 48 studies, has 29 different criteria grouped into five categories. Contributions: The developed catalog can help: (i) requirements engineers to check the consistency of the privacy policies content with the requirements document; (ii) writers to create more precise and complete documents regarding users' rights in accordance with the requirements document, (iii) analysts and developers to make them more straightforward which information must be properly documented about the practice of data collection; (iv) end-users to understand the content of the privacy policies.

3. Master�s and Doctoral Track

21 - ASP: An Aerospace Specification Process for Hardware Logic. Carlos Renato dos Santos, Johnny Cardoso Marques. pp. , DOI 10.29327/1298262.25-22. [pdf] [scholar]

Abstract: This work intends to specify a process to develop aerospace devices that use VHDL (Very High-Speed Integrated Circuit (VHSIC) Hardware Description Language) to describe the digital hardware logic and assure all safety-critical features involved in the process were assessed. This work aims to a process that goes from the requirements to the logic implementation at the component described level. The research methodology contains 4 phases (Phases 1 to 4). We have already completed Phases 1 and 2. Currently, we are working on Phase 3. This work is being developed as part of a master's degree to be concluded by the end of 2023 inside of the Postgraduate Program in Space Sciences and Technologies of the Instituto Tecnol�gico de Aeron�utica.

22 - Explorando a especifica��o de cen�rios de teste de seguran�a no desenvolvimento orientado por comportamento (Behavior Driven Development). Maria Y�da Lima, Carla Silva, Renata Souza. pp. , DOI 10.29327/1298262.25-23. [pdf] [scholar]

Abstract: Contexto: O aumento da coleta de dados pessoais tem levantado preocupa��es tamb�m crescentes sobre a seguran�a da informa��o em sistemas de software dos quais a sociedade est� cada vez mais dependente. Neste cen�rio, desenvolver software seguro que esteja protegido de amea�as � uma preocupa��o que deve ser considerada na Engenharia de Requisitos. O desenvolvimento orientado por comportamento (Behavior Driven Development - BDD) � uma abordagem �gil de desenvolvimento de software que tem a caracter�stica de estimular a cont�nua intera��o entre o time de desenvolvimento e o cliente, facilitando a comunica��o entre as partes, al�m de integrar a especifica��o de cen�rios de teste com a especifica��o dos requisitos do sistema. Objetivo: O objetivo geral desta pesquisa � investigar como a ind�stria de desenvolvimento de software vem realizando a especifica��o de cen�rios de teste em projetos que adotam o BDD e descrever um conjunto de cen�rios de teste de seguran�a que poder�o ser usados por aqueles que desejam aprender sobre seguran�a de sistemas, bem como por engenheiros de software que desejam desenvolver sistemas mais seguros por projeto (secure by design). Metodologia: Esta pesquisa prop�e inicialmente a realiza��o de estudo da literatura para delimitar o problema de pesquisa a ser resolvido e analisar os trabalhos relacionados. Em seguida, um survey ser� conduzido para investigar as pr�ticas que a ind�stria adota e as dificuldades que a ind�stria enfrenta em projetos que adotam BDD. Tamb�m realizaremos um estudo explorat�rio baseado em entrevista em empresas da ind�stria nacional que adotam o BDD, a fim de identificar boas pr�ticas j� adotadas e oportunidades de melhorias no processo de especifica��o de cen�rios de teste de seguran�a da informa��o. Com base nestes dados coletados, vamos definir cen�rios de teste de seguran�a que atendam as necessidades identificadas na literatura e na ind�stria. Por fim, esses cen�rios de teste de seguran�a ser�o avaliados considerando a sua utilidade e seu impacto por meio de um experimento controlado. Resultados: Com os resultados obtidos nesta pesquisa, pretendemos contribuir com a defini��o de artefatos de teste de seguran�a que auxiliem no desenvolvimento de software mais seguro.

23 - Modelagem de Requisitos Iniciais de Seguran�a com Requirements4Safety. Moniky Ribeiro, Jaelson Castro, Ricardo Argenton. pp. , DOI 10.29327/1298262.25-24. [pdf] [scholar]

Abstract: Contexto: Os requisitos de seguran�a de Sistemas Cr�ticos de Seguran�a (SCSs) devem refletir as descobertas da fase de an�lise de seguran�a inicial. Portanto, � fundamental um alinhamento entre as pr�ticas da Engenharia de Requisitos Orientada � Objetivos e as da Engenharia de Seguran�a. Observa-se o crescente interesse da comunidade de Engenharia de Seguran�a na ado��o da t�cnica de an�lise de perigos STPA (System-Theoretic Process Analysis). Objetivo: Este trabalho tem por objetivo propor uma nova abordagem chamada Requirements4Safety para modelagem dos requisitos iniciais de seguran�a. Ela possibilitar� alinhar os requisitos de seguran�a modelados na linguagem iStar4Safety, aos elementos correlatos identificados atrav�s do uso da t�cnica de an�lise de perigos STPA. M�todo: Ser�o estudadas as t�cnicas de modelagem iStar4Safety e STPA. Depois ser�o definidos passos para integr�-las, sendo estes definidos atrav�s do uso de uma nota��o adequada (ex. BPMN). Requirements4Safety ser� aplicada na defini��o dos requisitos de seguran�a de alguns sistemas cr�ticos. Por �ltimo, espera-se que especialistas das �reas de requisitos e seguran�a avaliem a abordagem. Resultado: Espera-se que Requirements4Safety permita o alinhamento de t�cnicas conhecidas da comunidade de Engenharia de Requisitos (i.e., iStar4Safety) e Engenharia de Seguran�a (i.e., STPA). A abordagem ser� documentada e ilustrada. Tamb�m ser�o disponibilizados os resultados de surveys com a opini�o de especialistas de Engenharia de Requisitos e de Seguran�a. Conclus�o: Com o uso de Requirements4Safety, os requisitos de seguran�a dos SCs estar�o alinhados aos elementos identificados durante a fase de an�lise preliminar de seguran�a. A certifica��o destes tipos de SCs ser� facilitada.

24 - Safety & Security Alignment in Requirements Engineering Process for Autonomous Vehicles. Quelita Ribeiro, Jaelson Castro. pp. , DOI 10.29327/1298262.25-25. [pdf] [scholar]

Abstract: Autonomous Vehicles (AVs) will transform the way we live and work. In order to cope with the complexity of AVs, we want to pro- vide an understandable process for organizations to analyze the areas of safety and security in requirements engineering for AVs. Initially, a bibliographic survey was carried out to verify the current state of the art. Based on this survey, we carried out a systematic literature review to find answers to our questions and better understand the requirements engineering context for AVs. From the review responses, a process will be built to unite safety and security analysis for AV. STPA, and Misuse Case techniques will be verified, and the advantages can be used in our process. Finally, we intend to evaluate and validate our re- search within the industry with requirements engineers in the automotive sector. This work is a step towards developing a body of knowledge in RE for AVs.

25 - SAFE-Robot: Uma Abordagem para Sistematizar a Elabora��o de Casos de Garantia de Seguran�a que Auxilie na Certifica��o de Sistemas Rob�ticos. Mozart de Melo Alves J�nior, Maria Lencastre, Jaelson Castro. pp. , DOI 10.29327/1298262.25-26. [pdf] [scholar]

Abstract: Os sistemas rob�ticos est�o presentes em nosso dia-dia, seja no trabalho colaborativo dentro das ind�strias ou em casa auxiliando pessoas em diversas tarefas, acarretando um conv�vio intensivo com os seres humanos. Estas rela��es humanos-rob�s precisam ser prudentes e planejadas, uma vez que s�o Sistemas Cr�ticos (SC), onde a falha pode acarretar danos irrepar�veis. Na maioria das vezes esses sistemas precisam ser certificados por �rg�os reguladores que exigem evid�ncias de seguran�a, o que n�o � um processo simples em fun��o do grande volume de informa��es e artefatos que devem ser disponibilizados. Apesar da evolu��o constante das normas e dos processos de certifica��o, pesquisas cient�ficas e de organiza��es internacionais relatam que existe uma grande dificuldade em descrever, de forma clara e rastre�vel essa documenta��o, por isso entidades regulat�rias tem adotado os Casos de Garantia de Seguran�a (CGS) para auxiliar nesse processo. Objetivo: Propor uma abordagem que sistematize a elabora��o de Casos de Garantia de Seguran�a, auxiliando o processo de certifica��o para sistemas rob�tico. M�todo: Aplica��o de uma abordagem orientada para a melhoria evolutiva, dividida nas fases: informativa, anal�tica, proposicional e fase avaliativa. Conclus�o: Desenvolver uma abordagem para sistematizar a elabora��o de Casos de Garantia de Seguran�a, visando a constru��o de argumentos convincentes endere�ando as evid�ncias no auxilio da certifica��o de sistemas rob�ticos.

26 - Towards an approach to conflict assessment in software teams. Aline Barbosa, Maria Lencastre. pp. , DOI 10.29327/1298262.25-27. [pdf] [scholar]

Abstract: [Background] Conflicts are inherent in human relationships; people have different experiences, values, opinions, and ways of carrying out tasks, which can lead to disagreements. The composition of a software development team has a heterogeneity of individuals with different competencies, which impacts their interaction. Conflicts in the software development cycle are inevitable and can occur at any stage; if not well managed, they tend to generate adverse results and financial and time expenses. [Objective] In this thesis proposal, we aim to create an approach for evaluating the maturity of conflict management and prevention in software development environments; this occurs based on the analysis of a set of well-established metrics and extracted indicators. [Method] Initially, a Systematic Literature Review (SLR) was carried out to verify the state of the art on conflicts and their management in software development. After, a proposal is built to consider ways of identifying the team's level of maturity in terms of conflicts treatment; this evaluation includes an analysis of applied forms of conflict prevention and management and variables that point to high impacts on project success. Also, we want to analyse team members' symptoms that stand out at any given time, as they usually represent a thermometer of conflict problems. Finally, the approach will be validated in a work environment. [Expected results] An approach that supports the conflict assessment and management in software teams. [Conclusions] The proposed approach aims to help track a team's functioning during the software development life cycle, supporting team managers in a new way to guide the team appropriately.

27 - Documenta��o de Requisitos de Sistemas Legados Uma proposta baseada na Engenharia de Requisitos Orientada a Objetivos. Renato G. Fritola, Victor A. Santander. pp. , DOI 10.29327/1298262.25-28. [pdf] [scholar]

Abstract: Sistemas legados est�o presentes em muitas organiza��es e muitas vezes s�o respons�veis por gerenciar os dados principais e mais valiosos da organiza��o. Devido � falta de documenta��o e c�digo n�o estruturado, a manuten��o desses sistemas normalmente � muito cara e proporciona um trabalho de baixa qualidade tornando-se um pesadelo para as equipes de desenvolvimento. Este trabalho aborda a quest�o da documenta��o inicial de requisitos de sistemas legados utilizando t�cnicas propostas pelo GORE, priorizando o contexto em que o uso de c�digo fonte n�o � vi�vel. T�cnicas como i* (leia iStar), framework NFR, Kaos, entre outras, podem ser utilizadas para documentar requisitos funcionais e n�o funcionais destes sistemas. Essas t�cnicas t�m a vantagem de focar nos objetivos e outras inten��es que stakeholders possuem em ambientes organizacionais, neste caso, ambientes nos quais sistemas legados funcionam. Outro aspecto importante est� relacionado ao processo a ser utilizado para gerar esses artefatos. Estudos iniciais apontam para o uso de entrevistas e question�rios como alternativas vi�veis para obter essas informa��es. O primeiro autor deste trabalho aplicou estas t�cnicas em um pequeno exemplo, visualizando diversas vantagens. Como continua��o da proposta, uma revis�o sistem�tica da literatura (RSL) est� em andamento para investigar os trabalhos que contemplam estrat�gias e uso de t�cnicas para extra��o e documenta��o de requisitos de sistemas legados, com foco especial no uso de t�cnicas GORE. Os resultados desta RSL ser�o usados para apoiar e enriquecer a proposta a qual se pretende validar utilizando uma das abordagens recomendadas pela engenharia de software experimental.

4. Software Requirements Tools Track

28 - rTiWIM: Uma Ferramenta para Elicita��o e Valida��o de Requisitos de Software Utilizando Linguagem de Interface. Jo�o Victor R. Ara�jo, Carla Bezerra, Andr�ia Lib�rio Sampaio. pp. , DOI 10.29327/1298262.25-29. [pdf] [scholar]

Abstract: O processo de levantamento de requisitos � uma das etapas fundamentais no ciclo de vida de um produto de software. No contexto de desenvolvimento de software, h� cada vez mais a necessidade de ferramentas que apoiem os stakeholders no processo de elicita��o e valida��o��o dos requisitos do sistema. A participa��o do usu�rio final nesse processo consolida a comunica��o entre as partes interessadas para novas descobertas e problem�aticas que o sistema possa apresentar. Dessa forma, este artigo prop�e uma ferramenta de apoio aos stakeholders do sistema, denominada rTiWIM, que utilizar� o modelo de comunica��o TiWIM para elicitar e validar requisitos de software em sistemas web atrav�s da linguagem de interface. A ferramenta ir� dispor das seguintes funcionalidades: (i) cadastro de usu�rios, (ii) valida��o de p�ginas, (iii) cadastro de p�ginas para valida��o e (iv) verifica��o das valida��es realizadas por usu�rios finais. Para validar a ferramenta, foi realizado um grupo focal com desenvolvedores e profissionais da �rea. Com base nos argumentos dos grupos, foi poss�vel identificar melhorias e fortalecer a import�ncia desta ferramenta dentro deste cen�rio.

voltar

Workshop em Engenharia de RequisitosWorkshop en Ingenier�a de RequerimientosWorkshop on Requirements Engineering Anais do WER V. 25, 2022. Virtual mode - Natal, Brasil