Rodrigo Tavares Coimbra, Antônio Resende, Ricardo Terra
Halstead Complexity Measures, proposed in 1977, analyze a software system independently of its underlying programming language (technology) based on the measures number of operators and operands. From these two measures, it calculates other measures namely vocabulary, length, volume, difficulty, programming effort, errors, and testing time. The problem, nevertheless, is that since then the Academy and Industry have been coming up with hundreds of new metrics that differ in their assertions and calculations. Therefore, the objective of this paper is to present a correlation analysis between the eleven Halstead measures and other 27 popular measures proposed over the decades (e.g., LOC, cyclomatic complexity, and efferent coupling) through the inspection of 97 open-source Java systems in order to (i) identify redundancy in measures and (ii) minimize the costs of monitoring and diagnosing software projects, facilitating the task of making measurements. As a result, we identified strong correlations between Halstead measures and other measures, mainly related to size such as quantity of methods, packages, attributes, etc. We also identified direct correlation of Halstead measurements with coupling measures named Afferent and Efferent Coupling, with values ranging from 0.802 to 0.931, which are quite close to the maximum value 1 for a correlation. These results demonstrate that—although there is no perfect correlation—there is enough correlation to hypothesize that there is an overlap of measures with different denominations whose measured results are equivalent.
1977年提出的Halstead复杂性度量，基于运算符和操作数的度量数，独立于其底层编程语言(技术)来分析软件系统。从这两个度量中，它计算其他度量，即词汇量、长度、容量、难度、编程工作、错误和测试时间。然而，问题是，从那时起，学术界和工业界已经提出了数百个在断言和计算上不同的新指标。因此，本文的目的是通过对97个开源Java系统的检查，提出11个Halstead度量与过去几十年来提出的其他27个流行度量(例如LOC、圈复杂度和发出耦合)之间的相关性分析，以便(i)识别度量中的冗余，(ii)最小化监视和诊断软件项目的成本，促进进行度量的任务。因此，我们确定了Halstead度量和其他度量之间的强相关性，主要与大小相关，例如方法、包、属性等的数量。我们还确定了Halstead测量值与传入和传出耦合(Afferent and Efferent coupling)的直接相关性，其值范围为0.802至0.931，非常接近相关性的最大值1。这些结果表明，尽管没有完美的相关性，但有足够的相关性来假设，具有不同名称的测量存在重叠，其测量结果是等效的。
{"title":"A Correlation Analysis between Halstead Complexity Measures and other Software Measures","authors":"Rodrigo Tavares Coimbra, Antônio Resende, Ricardo Terra","doi":"10.1109/CLEI.2018.00014","DOIUrl":"https://doi.org/10.1109/CLEI.2018.00014","url":null,"abstract":"Halstead Complexity Measures, proposed in 1977, analyze a software system independently of its underlying programming language (technology) based on the measures number of operators and operands. From these two measures, it calculates other measures namely vocabulary, length, volume, difficulty, programming effort, errors, and testing time. The problem, nevertheless, is that since then the Academy and Industry have been coming up with hundreds of new metrics that differ in their assertions and calculations. Therefore, the objective of this paper is to present a correlation analysis between the eleven Halstead measures and other 27 popular measures proposed over the decades (e.g., LOC, cyclomatic complexity, and efferent coupling) through the inspection of 97 open-source Java systems in order to (i) identify redundancy in measures and (ii) minimize the costs of monitoring and diagnosing software projects, facilitating the task of making measurements. As a result, we identified strong correlations between Halstead measures and other measures, mainly related to size such as quantity of methods, packages, attributes, etc. We also identified direct correlation of Halstead measurements with coupling measures named Afferent and Efferent Coupling, with values ranging from 0.802 to 0.931, which are quite close to the maximum value 1 for a correlation. These results demonstrate that—although there is no perfect correlation—there is enough correlation to hypothesize that there is an overlap of measures with different denominations whose measured results are equivalent.","PeriodicalId":379986,"journal":{"name":"2018 XLIV Latin American Computer Conference (CLEI)","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121219278","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}
The use of smart objects in an urban context will be offers services that will help the cities. Thereby, it is possible to implement the Smart Cities concept. Among the services that could be offered is an emergency service calls (e.g., police and firefighters). In an emergency situation, the most appropriate mobile units may be required. Therefore, a middleware can be used to support the activation of the most suitable mobile units. The bigger question is which the vantage of choice the most suitable mobile unit compared to the choice random. In this way this paper presents a new event model and a middleware called Event to Best Subscribers (E2BS) aim to answer this question through two use cases.
{"title":"An Architecture of Fog Computing in Smart Cities: the Middleware E2BS in Emergency Calls","authors":"S. C. L. Hernandes, M. Pellenz, A. Calsavara","doi":"10.1109/CLEI.2018.00067","DOIUrl":"https://doi.org/10.1109/CLEI.2018.00067","url":null,"abstract":"The use of smart objects in an urban context will be offers services that will help the cities. Thereby, it is possible to implement the Smart Cities concept. Among the services that could be offered is an emergency service calls (e.g., police and firefighters). In an emergency situation, the most appropriate mobile units may be required. Therefore, a middleware can be used to support the activation of the most suitable mobile units. The bigger question is which the vantage of choice the most suitable mobile unit compared to the choice random. In this way this paper presents a new event model and a middleware called Event to Best Subscribers (E2BS) aim to answer this question through two use cases.","PeriodicalId":379986,"journal":{"name":"2018 XLIV Latin American Computer Conference (CLEI)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127627133","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}
Software processes have been the focus of discussion in literature, but defining a software process remains a challenge. The Software Process Line (SPrL) technique offers a systematic process reuse approach that identifies processes' similarities and variability. This study aims to characterize the state-of-the-art of the software process definition using SPrL. A Systematic Literature Review (SLR) was conducted and 26 papers were identified to be studied in depth. The results indicate a concentration of approaches that use mapping/rules techniques to support variability resolution and the need for integrated supporting tools. In addition, three problems that affect the software process definition using SPrL were observed: (1) low understanding of SPrL models complexity and their impact, (2) lack of understanding about the impacts of the defined software process, and (3) experts' knowledge dependence issues in decision-making to solve variability.
{"title":"Software Process Definition using Process Lines: A Systematic Literature Review","authors":"Diogo Matheus Costa, E. Teixeira, C. Werner","doi":"10.1109/CLEI.2018.00022","DOIUrl":"https://doi.org/10.1109/CLEI.2018.00022","url":null,"abstract":"Software processes have been the focus of discussion in literature, but defining a software process remains a challenge. The Software Process Line (SPrL) technique offers a systematic process reuse approach that identifies processes' similarities and variability. This study aims to characterize the state-of-the-art of the software process definition using SPrL. A Systematic Literature Review (SLR) was conducted and 26 papers were identified to be studied in depth. The results indicate a concentration of approaches that use mapping/rules techniques to support variability resolution and the need for integrated supporting tools. In addition, three problems that affect the software process definition using SPrL were observed: (1) low understanding of SPrL models complexity and their impact, (2) lack of understanding about the impacts of the defined software process, and (3) experts' knowledge dependence issues in decision-making to solve variability.","PeriodicalId":379986,"journal":{"name":"2018 XLIV Latin American Computer Conference (CLEI)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128080415","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}
Fabiana Rocha, Vitor Bremgartner, M. Valim, B. Bonifácio, P. Fernandes
The learning process involves teachers and students. In the context of computer education, as in other areas, it is necessary to take into account the different teaching methodologies for the different profiles of students, which can exert a positive influence on learning. Therefore, correlating the psychological profile of students with the methodology is an important research opportunity. In this study, the MBTI (Myers-Briggs Type Indicator) indicator was used to define the psychological profile of students. The methodology adopted for the development of the research was an exploratory study. Thus, this is a work that has the theme to demotivate the students in the language teaching and to extract the main instruments used to identify the types of personality of the individual and all his theory involved. From the results of the exploratory study and the psychological profile, a statistical regression technique was used to identify correlations. The results show that the psychological profiles can influence the student's acceptance and motivation in relation to the methodology applied in the classroom. This work is expected to motivate institutions and teaching professionals to create a motivational and more specialized learning environment for students.
学习过程涉及教师和学生。在计算机教育方面，就像在其他领域一样，有必要考虑到针对不同学生的不同教学方法，这可以对学习产生积极的影响。因此，将学生的心理特征与方法论联系起来是一个重要的研究机会。本研究采用MBTI (Myers-Briggs Type Indicator)来定义学生的心理特征。本研究采用的方法为探索性研究。因此，这是一部以在语言教学中使学生失去动力为主题的作品，并提取了用于识别个人人格类型及其所涉及的所有理论的主要工具。根据探索性研究的结果和心理概况，使用统计回归技术来确定相关性。研究结果显示，心理特质会影响学生的接受度和动机，并与课堂教学方法有关。这项工作有望激励机构和教学专业人员为学生创造一个激励和更专业的学习环境。
{"title":"The Influence of the Student's Personality Type on the Preference of the Computer Science Learning Process","authors":"Fabiana Rocha, Vitor Bremgartner, M. Valim, B. Bonifácio, P. Fernandes","doi":"10.1109/CLEI.2018.00102","DOIUrl":"https://doi.org/10.1109/CLEI.2018.00102","url":null,"abstract":"The learning process involves teachers and students. In the context of computer education, as in other areas, it is necessary to take into account the different teaching methodologies for the different profiles of students, which can exert a positive influence on learning. Therefore, correlating the psychological profile of students with the methodology is an important research opportunity. In this study, the MBTI (Myers-Briggs Type Indicator) indicator was used to define the psychological profile of students. The methodology adopted for the development of the research was an exploratory study. Thus, this is a work that has the theme to demotivate the students in the language teaching and to extract the main instruments used to identify the types of personality of the individual and all his theory involved. From the results of the exploratory study and the psychological profile, a statistical regression technique was used to identify correlations. The results show that the psychological profiles can influence the student's acceptance and motivation in relation to the methodology applied in the classroom. This work is expected to motivate institutions and teaching professionals to create a motivational and more specialized learning environment for students.","PeriodicalId":379986,"journal":{"name":"2018 XLIV Latin American Computer Conference (CLEI)","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126526539","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}
B. D. Souza, Antonio Lucas Brigido da Costa, B. Bonifácio, P. Fernandes
The use of educational tools for the literacy process of disabled people have aroused great interest in Special Education area on the Inclusive Education perspective. This scenario has motivated strategies and technologies creation to encourage learning through assistive technologies. This paper presents the integration of Paulo Freire and Alphabetic methods in the construction of digital games that aim to improve learning experience of children with learning disabilities. Our goal is to present the evaluation and implementation process of educational games in an unit of the Association of Parents and Friends of Exceptional Children. These games have built through continuous monitoring and analysis of the understanding and practice levels addressed in the games. The results showed that the participants had a good adoption of the proposed technologies.
{"title":"Applying Teaching Methods as Requirements to Develop Games to Assist Children with Learning Disabilities: A Case Study","authors":"B. D. Souza, Antonio Lucas Brigido da Costa, B. Bonifácio, P. Fernandes","doi":"10.1109/CLEI.2018.00050","DOIUrl":"https://doi.org/10.1109/CLEI.2018.00050","url":null,"abstract":"The use of educational tools for the literacy process of disabled people have aroused great interest in Special Education area on the Inclusive Education perspective. This scenario has motivated strategies and technologies creation to encourage learning through assistive technologies. This paper presents the integration of Paulo Freire and Alphabetic methods in the construction of digital games that aim to improve learning experience of children with learning disabilities. Our goal is to present the evaluation and implementation process of educational games in an unit of the Association of Parents and Friends of Exceptional Children. These games have built through continuous monitoring and analysis of the understanding and practice levels addressed in the games. The results showed that the participants had a good adoption of the proposed technologies.","PeriodicalId":379986,"journal":{"name":"2018 XLIV Latin American Computer Conference (CLEI)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130166782","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}
Microservices is a modern architectural style in which developers decomposes a software system into many services loose coupled with small responsibilities. Given its inherent complexity, many frameworks have been proposed in order to support developers in microservices. However, due to its particularities, the whole process of choosing the most appropriate framework for developers' needs is a time-consuming and challenging task. In this paper, we present a qualitative study that compares both KumuluzEE and Spring Cloud & NetFlix OSS frameworks through functional and non-functional requirements. We tested each framework by developing a hypothetical scenario with each of them. Our results show that although the KumuluzEE supports few characteristics of the microservices architecture, it is easier to use, especially, for newcomers. Instead, the Spring Cloud & NetFlix OSS is suitable for large-scale systems and experienced development teams, and it holds a higher number of the architecture characteristics. However, learnability for newcomers is low even though the framework provides a substantial documentation.
{"title":"An Analysis of Frameworks for Microservices","authors":"R. Meloca, R. Ré, André Luis Schwerz","doi":"10.1109/CLEI.2018.00071","DOIUrl":"https://doi.org/10.1109/CLEI.2018.00071","url":null,"abstract":"Microservices is a modern architectural style in which developers decomposes a software system into many services loose coupled with small responsibilities. Given its inherent complexity, many frameworks have been proposed in order to support developers in microservices. However, due to its particularities, the whole process of choosing the most appropriate framework for developers' needs is a time-consuming and challenging task. In this paper, we present a qualitative study that compares both KumuluzEE and Spring Cloud & NetFlix OSS frameworks through functional and non-functional requirements. We tested each framework by developing a hypothetical scenario with each of them. Our results show that although the KumuluzEE supports few characteristics of the microservices architecture, it is easier to use, especially, for newcomers. Instead, the Spring Cloud & NetFlix OSS is suitable for large-scale systems and experienced development teams, and it holds a higher number of the architecture characteristics. However, learnability for newcomers is low even though the framework provides a substantial documentation.","PeriodicalId":379986,"journal":{"name":"2018 XLIV Latin American Computer Conference (CLEI)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129712936","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}
This paper presents an adaptive model based on emotions and personality, and inspired by human behavior, where the agent emotions and personality vary according to the time and with the interactions. The decision-making actions occur into the environment and with other agents. In this model, the agent personality will be directly related to its own decision making, and the emotions will indirectly influence these decisions. From agent perception, emotions are felt, and from the emotions felt the agent personality changes. In order to study agent behavior, several multi-agent simulations were executed, in different scenarios, to better understand who and why agents exchange resources and consume them to survive. Afterwards, the personality of the other agents was defined, the agent studied modifies their own personality and behavior according to the others. From the results, we identified the adaptability of the agent to the environment in which it lived. This social adaptation was determined by the community in which it was inserted and/or by the environmental factors that it was subject.
{"title":"An Adaptive Agent Approach Using Personality and Emotions","authors":"Gerson A. F. Urban, D. Adamatti","doi":"10.1109/CLEI.2018.00034","DOIUrl":"https://doi.org/10.1109/CLEI.2018.00034","url":null,"abstract":"This paper presents an adaptive model based on emotions and personality, and inspired by human behavior, where the agent emotions and personality vary according to the time and with the interactions. The decision-making actions occur into the environment and with other agents. In this model, the agent personality will be directly related to its own decision making, and the emotions will indirectly influence these decisions. From agent perception, emotions are felt, and from the emotions felt the agent personality changes. In order to study agent behavior, several multi-agent simulations were executed, in different scenarios, to better understand who and why agents exchange resources and consume them to survive. Afterwards, the personality of the other agents was defined, the agent studied modifies their own personality and behavior according to the others. From the results, we identified the adaptability of the agent to the environment in which it lived. This social adaptation was determined by the community in which it was inserted and/or by the environmental factors that it was subject.","PeriodicalId":379986,"journal":{"name":"2018 XLIV Latin American Computer Conference (CLEI)","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132037027","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}
The field of astronomical data analysis has experienced an important paradigm shift in the recent years. The automation of certain analysis procedures is no longer a desirable feature for reducing the human effort, but a must have asset for coping with the extremely large datasets that new instrumentation technologies are producing. In particular, the detection of transit planets — bodies that move across the face of another body — is an ideal setup for intelligent automation. Knowing if the variation within a light curve is evidence of a planet, requires applying advanced pattern recognition methods to a very large number of candidate stars. Here we present a supervised learning approach to refine the results produced by a case-by-case analysis of light-curves, harnessing the generalization power of machine learning techniques to predict the currently unclassified light-curves. The method uses feature engineering to find a suitable representation for classification, and different performance criteria to evaluate them and decide. Our results show that this automatic technique can help to speed up the very time-consuming manual process that is currently done by scientific experts.
{"title":"Refining Exoplanet Detection Using Supervised Learning and Feature Engineering","authors":"M. Bugueño, F. Mena, Mauricio Araya","doi":"10.1109/CLEI.2018.00041","DOIUrl":"https://doi.org/10.1109/CLEI.2018.00041","url":null,"abstract":"The field of astronomical data analysis has experienced an important paradigm shift in the recent years. The automation of certain analysis procedures is no longer a desirable feature for reducing the human effort, but a must have asset for coping with the extremely large datasets that new instrumentation technologies are producing. In particular, the detection of transit planets — bodies that move across the face of another body — is an ideal setup for intelligent automation. Knowing if the variation within a light curve is evidence of a planet, requires applying advanced pattern recognition methods to a very large number of candidate stars. Here we present a supervised learning approach to refine the results produced by a case-by-case analysis of light-curves, harnessing the generalization power of machine learning techniques to predict the currently unclassified light-curves. The method uses feature engineering to find a suitable representation for classification, and different performance criteria to evaluate them and decide. Our results show that this automatic technique can help to speed up the very time-consuming manual process that is currently done by scientific experts.","PeriodicalId":379986,"journal":{"name":"2018 XLIV Latin American Computer Conference (CLEI)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126644778","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}
Although a variety of user story refinement techniques have been proposed, there are still few empirical studies that assess their effectiveness in the industry. This paper reports the results of a mixed methods approach to evaluate the combined use of techniques for refining user stories in a Chilean banking organization. A combination of INVEST, 3 Cs and Specification by Example (SbE) techniques was proposed to improve the quality of user stories that were being generated in the organization during its transition from traditional development methods to agility. To validate the proposal, a comparison of case studies was carried out. A group of user stories that were created and refined with the method previously used in the organization was contrasted with a second and third group of stories for which the proposed technique was used. The results show that the combined use of INVEST, 3 Cs and SbE improved the user stories quality and was related to positive changes in the development team motivation.
{"title":"Improving User Stories: A Case Study in the Chilean Banking Industry","authors":"J. Gómez, Claudia López","doi":"10.1109/CLEI.2018.00020","DOIUrl":"https://doi.org/10.1109/CLEI.2018.00020","url":null,"abstract":"Although a variety of user story refinement techniques have been proposed, there are still few empirical studies that assess their effectiveness in the industry. This paper reports the results of a mixed methods approach to evaluate the combined use of techniques for refining user stories in a Chilean banking organization. A combination of INVEST, 3 Cs and Specification by Example (SbE) techniques was proposed to improve the quality of user stories that were being generated in the organization during its transition from traditional development methods to agility. To validate the proposal, a comparison of case studies was carried out. A group of user stories that were created and refined with the method previously used in the organization was contrasted with a second and third group of stories for which the proposed technique was used. The results show that the combined use of INVEST, 3 Cs and SbE improved the user stories quality and was related to positive changes in the development team motivation.","PeriodicalId":379986,"journal":{"name":"2018 XLIV Latin American Computer Conference (CLEI)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129563078","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}
Dijkstra recursively defined the predicate transformer wp. Then Gries for each expression Exp of the language, defined domain(Exp), which is a predicate that indicates the states in which Exp is defined. This predicate Gries added it to the recursive formula that defines wp for assignment, and subsequently other authors added it to the rule that recursively defines wp for IF, so that in the bibliography there are several versions of the definition of wp, with and without occurrence of domain. The present work shows an inference of the definition of wp, demonstrating that the occurrence of domain is necessary for wp in assignement, IF and DO. This inference is done through the GCL denotational semantics over the set theory ZF, showing that the classical formulas of Dijkstra to define wp in GCL using domain, are valid if the language of set theory is used to write the assertions.
{"title":"Inference of the Definition of the Predicate Transformer wp with Occurrences of the Predicate Domain Based on Denotational Semantics of GCL on ZF Set Theory","authors":"Federico Flaviani","doi":"10.1109/CLEI.2018.00095","DOIUrl":"https://doi.org/10.1109/CLEI.2018.00095","url":null,"abstract":"Dijkstra recursively defined the predicate transformer wp. Then Gries for each expression Exp of the language, defined domain(Exp), which is a predicate that indicates the states in which Exp is defined. This predicate Gries added it to the recursive formula that defines wp for assignment, and subsequently other authors added it to the rule that recursively defines wp for IF, so that in the bibliography there are several versions of the definition of wp, with and without occurrence of domain. The present work shows an inference of the definition of wp, demonstrating that the occurrence of domain is necessary for wp in assignement, IF and DO. This inference is done through the GCL denotational semantics over the set theory ZF, showing that the classical formulas of Dijkstra to define wp in GCL using domain, are valid if the language of set theory is used to write the assertions.","PeriodicalId":379986,"journal":{"name":"2018 XLIV Latin American Computer Conference (CLEI)","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121721565","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：