J. M. Pérez-Verdejo, Á. Sánchez-García, J. O. Ocharán-Hernández
{"title":"A Systematic Literature Review on Machine Learning for Automated Requirements Classification","authors":"J. M. Pérez-Verdejo, Á. Sánchez-García, J. O. Ocharán-Hernández","doi":"10.1109/CONISOFT50191.2020.00014","DOIUrl":"https://doi.org/10.1109/CONISOFT50191.2020.00014","url":null,"abstract":"The development of quality software begins with the correct identification of the system needs. These requirements represent the basis of the subsequent activities in the software life cycle. The correct identification of these requirements in their different categories impacts on the actions taken to meet them. However, this classification can be often time-consuming or error-prone when it comes to large-scale systems, so different proposals have been made to assist in this process automatically. This systematic literature review identifies those applications of Machine Learning techniques in the classification of software requirements. In this regard, 13 articles were identified, from which relevant information on the applied algorithms, their training process, and their evaluation metrics are analyzed. From the results obtained, it is identified that the most recurrent classification algorithms featured on the identified studies are Naive Bayes, Decision Trees, and Natural Language Processing algorithms. The most frequent training datasets are academic databases and collected user reviews.","PeriodicalId":294992,"journal":{"name":"2020 8th International Conference in Software Engineering Research and Innovation (CONISOFT)","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117191460","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Carlos Enríquez Ramírez, Mariza Raluy Herrero, Luz María Vega Sosa
{"title":"Proposed framework for employing cognitive process for resolving programming problems for novice programmers","authors":"Carlos Enríquez Ramírez, Mariza Raluy Herrero, Luz María Vega Sosa","doi":"10.1109/CONISOFT50191.2020.00036","DOIUrl":"https://doi.org/10.1109/CONISOFT50191.2020.00036","url":null,"abstract":"Computer programming is said to be more difficult even at the beginning of your study. The processes that the novice student formulates in computer problem solving in sentences are, in most cases, not well-structured, so they are not using their cognitive skills adequately. This work proposes a framework for the development of coding based on the identification of activities such as comprehension, memorization, and use of verbal expression, so that the student realizes their significance in order to succeed in the solution of problems. Some results of a first approach to the subject are shown, together with a proposed framework in which emphasis is placed on the use of cognitive skills.","PeriodicalId":294992,"journal":{"name":"2020 8th International Conference in Software Engineering Research and Innovation (CONISOFT)","volume":"174 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120943965","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Renato Vargas-Gómez, J. C. Pérez-Arriaga, J. O. Ocharán-Hernández, Á. Sánchez-García
{"title":"Consensus Mechanisms in Distributed Ledgers for the Protection of Confidential Data: A Multivocal Literature Review","authors":"Renato Vargas-Gómez, J. C. Pérez-Arriaga, J. O. Ocharán-Hernández, Á. Sánchez-García","doi":"10.1109/CONISOFT50191.2020.00032","DOIUrl":"https://doi.org/10.1109/CONISOFT50191.2020.00032","url":null,"abstract":"Distributed Ledger Technologies (DLT) open new opportunities for data protection since they bring decentralization and sovereignty over the ownership of data. On the practical side, implementations of this technology are limited. Due to its novelty, the fundamentals for their design and development are still emerging. An essential feature of DLT is the consensus mechanism, which is used so that the members of the DLT network validate and append data to the ledger. The design decision of which mechanism to use will significantly impact the functionality of the system. Therefore, it is a decision that cannot be taken lightly. Software engineers, developers, and other practitioners in the field can use the knowledge and understanding of the implementations that already exist to help with these decisions. This paper presents the results of a multivocal literature review carried out to identify the consensus mechanisms used in DLT for the protection of confidential data. Twenty-seven studies were selected; in those studies, twenty-one different consensus mechanisms were identified. The review showcases the mechanisms that have been identified and their contexts, alongside a discussion of their relevance and characteristics.","PeriodicalId":294992,"journal":{"name":"2020 8th International Conference in Software Engineering Research and Innovation (CONISOFT)","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115868302","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Helping organizations manage the innovation process to join the Cognitive era","authors":"Karla Olmos-Sánchez, Jorge Rodas-Osollo","doi":"10.1109/CONISOFT50191.2020.00012","DOIUrl":"https://doi.org/10.1109/CONISOFT50191.2020.00012","url":null,"abstract":"Introduction. Organizations are currently facing the need of incorporating solutions in cognitive computing and artificial intelligence to remind competitive. This new way on working based on evolutionary solutions promotes an innovation endless cycle that opens up new business growth opportunities. However, developing viable cognitive solutions requires establishing the cognitive foundations that will prevent these solutions from getting meaningless results.Purpose. To help organizations to join the cognitive age, especially those whose processes are not fully in the digital age.Approach. To use the Knowledge Management on a Systematic process for Requirements Engineering (KMoS-REload), in order to orchestrate a cognitive innovation endless cycle.Findings. KMoS-REload process was used in a freight company that needed to update its monitoring and routes management system. The results of this real application case give evidence of the usability of this process to identify the singular necessities of the organization in order to streamline their innovation processes through the gradual incorporation of cognitive solutions based on unified cognitive foundations.Originality. The innovation from a cognitive point of view, in its conception, in the use of intelligent applications and in the proposal of a process based on knowledge to carry it out.","PeriodicalId":294992,"journal":{"name":"2020 8th International Conference in Software Engineering Research and Innovation (CONISOFT)","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132980008","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Diego Medina-Martínez, E. Bárcenas, G. Molero-Castillo, A. Velázquez-Mena, Rocío Aldeco-Pérez
{"title":"Formal Verification of a Database Management System","authors":"Diego Medina-Martínez, E. Bárcenas, G. Molero-Castillo, A. Velázquez-Mena, Rocío Aldeco-Pérez","doi":"10.1109/CONISOFT50191.2020.00024","DOIUrl":"https://doi.org/10.1109/CONISOFT50191.2020.00024","url":null,"abstract":"Assertion based program verification is a well-known formal approach to (dis)prove correctness of algorithms associated to software systems. Assertions are input and output properties a correct program must satisfy. These properties are traditionally written in a specification language based on classical logic. Associated classical reasoning (inference) systems are then used to (dis)prove program correctness. However, when programs manipulate mutable data structures such as pointers, classical logical operators have been unable to successfully model syntactically unrelated expressions. In this article, we study separation logics, which are equipped with specially-purposed operators to model mutable data structures. We describe the use of this logic as a specification language in the verification of a database management system (DMS). In particular, we detect several bugs in two DMS libraries regarding heap manipulation. We describe these bugs in detail and propose solutions.","PeriodicalId":294992,"journal":{"name":"2020 8th International Conference in Software Engineering Research and Innovation (CONISOFT)","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116011111","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
H. G. Pérez-González, Alberto S. Núñez-Varela, F. Martínez-Pérez, Sandra Nava Muñoz, C. Guerra-García, R. Juárez-Ramírez
{"title":"Literature Based Modeling Learning: An Imaginative Assignment to Learn Software Modeling","authors":"H. G. Pérez-González, Alberto S. Núñez-Varela, F. Martínez-Pérez, Sandra Nava Muñoz, C. Guerra-García, R. Juárez-Ramírez","doi":"10.1109/CONISOFT50191.2020.00035","DOIUrl":"https://doi.org/10.1109/CONISOFT50191.2020.00035","url":null,"abstract":"This work shows the learning results obtained from the use of a technique proposed and applied by the authors called Literature Based Modeling Learning. This technique consists of the development of modeling tasks where the input is a text that represents a literature piece and the output is a set of diagrams that model that LP. The literature piece is typically a well-known short story but it can also be the lyrics of a song or hymn or even a prayer. This technique has been used during the last eight semesters at a Mexican university. A results of a study are presented to identify possible benefits with the use of this technique.","PeriodicalId":294992,"journal":{"name":"2020 8th International Conference in Software Engineering Research and Innovation (CONISOFT)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124167828","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
A. Ramírez‐Noriega, Yobani Martínez-Ramírez, S. Jiménez, Elizabeth Gaxiola Carrillo, José Emilio Sánchez García
{"title":"An Application Programming Interface for a Brain-Computer Interface using two NeuroSky MindWave devices","authors":"A. Ramírez‐Noriega, Yobani Martínez-Ramírez, S. Jiménez, Elizabeth Gaxiola Carrillo, José Emilio Sánchez García","doi":"10.1109/CONISOFT50191.2020.00029","DOIUrl":"https://doi.org/10.1109/CONISOFT50191.2020.00029","url":null,"abstract":"Neurosky MindWave headsets offer the possibility of using them in various software developments such as a Brain-Computer Interface. However, these factory headsets only allow one connection for each device. This avoids the possibility of developing applications where two users each have to interact with their headset to the same computer at the same moment in time. Considering this aspect, the present investigation develops an Application Programming Interface (API) for a Brain-Computer Interface through the use of two Mindwave Neurosky headsets at the same time. The research designed and implemented a two-person attention game to test the operation of the two headsets. The results of the experiment were satisfactory since the API did not generate conflicts during the connection of both headsets, in addition the usability level of the application was cataloged by the users with 92.67 SUS points. In this way, the API allows applications to be developed that receive signals from two diadems.","PeriodicalId":294992,"journal":{"name":"2020 8th International Conference in Software Engineering Research and Innovation (CONISOFT)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128293901","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
M. Vandelli, F. Forni, E. Marcolini, B. Ruozi, G. Tosi
{"title":"Local Organizing Committee","authors":"M. Vandelli, F. Forni, E. Marcolini, B. Ruozi, G. Tosi","doi":"10.1109/conisoft50191.2020.00007","DOIUrl":"https://doi.org/10.1109/conisoft50191.2020.00007","url":null,"abstract":"s Sections 12 Cognition and Behaviour 13","PeriodicalId":294992,"journal":{"name":"2020 8th International Conference in Software Engineering Research and Innovation (CONISOFT)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126719012","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A Tool for Reducing Implementation Defects for Requirements based on Large Decision Tables Towards a Semantic Gap Reduction","authors":"Ricardo Tlamatini Olvera Ochoa, Gerardo Padilla Zarate","doi":"10.1109/CONISOFT50191.2020.00019","DOIUrl":"https://doi.org/10.1109/CONISOFT50191.2020.00019","url":null,"abstract":"The growth and complexity of Information Systems demands tools and methodologies aiming to reduce the time for development as well as to improve the quality of such systems. The use of business rules to model the behavior of information systems is an adopted technique in software engineering. Business rules are described using multiple techniques such as Decision Tables. A Decision Table is a tabular representation combining conditions and responses. Empirical industrial experience showed that the existence of defects associated to the bad understanding of large decision tables representing business rules. This paper describes the first set of results in a project that aims to reduce the defects generated during the implementation of business rules based on the hypothesis that the automatic generation of code for decision tables can reduce the semantic gap between what is described and what is implemented. The results include the description of a fully functional prototype that allows the definition of large decision tables as well as the code generation. Additionally, the paper also describes the experiments performed so far to test our hypothesis for defect reduction together with some new paths for research.","PeriodicalId":294992,"journal":{"name":"2020 8th International Conference in Software Engineering Research and Innovation (CONISOFT)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133380439","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Andric Valdez, H. Oktaba, Helena Gómez, A. Vizcaíno
{"title":"Sentiment Analysis in Jira Software Repositories","authors":"Andric Valdez, H. Oktaba, Helena Gómez, A. Vizcaíno","doi":"10.1109/CONISOFT50191.2020.00043","DOIUrl":"https://doi.org/10.1109/CONISOFT50191.2020.00043","url":null,"abstract":"Mining Software Repositories is a field of study whose main task is to extract valuable information from a large amount of data available within software repositories. This information about systems and projects can be exploited in different ways improving the development processes in Software Engineering. A new research area makes use of this data for analyzing the software professionals’ emotional state and their relationship with different factors such as productivity and quality in tasks. In our study, we applied a supervised classification model to predict sentiments contained in issue comments in open source projects hosted in Jira repositories. The main objective is verifying if sentiments are related to issue comments and factors such as issue resolution types (Resolved or Unresolved) as well as the time of day and the day of the week, in which the comments were written. Our results show that comments in unresolved issues tend to express less positive and more negative sentiments regarding the comments in resolved issues. In addition, we also obtained interesting results regarding the sentiments in comments and the time/day of the week of publication.","PeriodicalId":294992,"journal":{"name":"2020 8th International Conference in Software Engineering Research and Innovation (CONISOFT)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130267882","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}