检索结果-内蒙古大学图书馆

programming logic Modeling and Cross-Program Defect Detection Method for Object-Oriented Code

Computers, Materials & Continua 2020年第7期64卷 273-295页

作者： Yan Liu Wenyuan Fang Qiang Wei Yuan Zhao Liang Wang State Key Laboratory of Mathematical Engineering and Advanced Computing PLA Strategic Support Force Information Engineering UniversityZhengzhou450001China The School of Computing Newcastle UniversityNewcastle upon TyneNE45TGUK

Code defects can lead to software vulnerability and even produce vulnerability *** research shows that the code detection technology with text analysis can judge whether object-oriented code files are defective to some ***,these detection techniques are mainly based on text features and have weak detection capabilities across *** with the uncertainty of the code and text caused by the developer’s personalization,the programming language has a stricter logical specification,which reflects the rules and requirements of the language itself and the developer’s potential way of *** article replaces text analysis with programming logic modeling,breaks through the limitation of code text analysis solely relying on the probability of sentence/word occurrence in the code,and proposes an object-oriented language programming logic construction method based on method constraint relationships,selecting features through hypothesis testing ideas,and construct support vector machine classifier to detect class files with defects and reduce the impact of personalized programming on detection *** the experiment,some representative Android applications were selected to test and compare the proposed *** terms of the accuracy of code defect detection,through cross validation,the proposed method and the existing leading methods all reach an average of more than 90%.In the aspect of cross program detection,the method proposed in this paper is superior to the other two leading methods in accuracy,recall and F1 value.

关键词： Method constraint relationship programming logic code defect hypothesis test

来源：评论

学校读者我要写书评

暂无评论

Interactive Teaching Aids Integrating Building Blocks and programming logic

引用

JOURNAL OF INTERNET TECHNOLOGY 2019年第6期20卷 1709-1720页

作者： Chou, Chien-Hsing Su, Yu-Sheng Chen, Hui-Ju Tamkang Univ Dept Elect Engn New Taipei Taiwan Natl Taiwan Ocean Univ Dept Comp Sci & Engn Keelung Taiwan

This study developed interactive teaching aids integrating building blocks and programming logic for children called e-Tuning. The teaching aids comprise two systems: (1) a programming logic board and (2) an e-book and task maps. The design concept of the programming logic board enables children to conduct simple programming without computers. Computer-programming commands are converted into tangible programming blocks easily understood by children. Children can simply place the programming blocks on the programming logic board to complete their programming tasks. The e-book provides assembly methods for Lego robots to complete different programming tasks. Children can follow the assembling steps in the e-book to construct the robot and use it to solve programing tasks. Constructing robots with varied designs enhances the enjoyment of children during the learning process. The e-book also provides diverse story tasks and corresponding task maps. Teachers can apply these story tasks to guide children in using programming blocks to complete the tasks systematically. The results of an experimental course and field trials reveal that through games and tasks, e-Tuning can cultivate basic programming logic, inspire creativity, and develop logical thinking.

关键词： Tangible user interface programming logic Building block e-Tuning Robot

来源：评论

学校读者我要写书评

暂无评论

Blockino: a Tool with an Emphasis on Educational Robotics Assisting the Teaching of programming logic 25

Blockino: a Tool with an Emphasis on Educational Robotics As...

引用

25th International Conference on Computers in Education (ICCE) - Technology and Innovation - Computer-Based Educational Systems for the 21st Century

作者： Sampaio, Higo Silva, Mauro Rabelo, Aldrea Marques, Carla Monier, Marcelo IFMA Inst Fed Maranhao Sao Luis MA Brazil UFMA Univ Fed Maranhao Sao Luis MA Brazil Univ CEUMA Sao Luis MA Brazil

ISBN: (纸本)9789869401265

For entering students in Computer Science, in addition to having affinity with the area, it is highly necessary to acquire knowledge in programming logic. However, not all entering students in the technical or graduation courses find it easy to learn this subject. As an attempt to contribute to change this reality, the creation of a tool called Blockino has been developed. Blockino includes the concept of Educational Robotics, helping the teachers and professors in the process of construction of knowledge in programming logic through the use of a programming language in the blocks with robots.

关键词： blockino educational robotics programming logic

来源：评论

学校读者我要写书评

暂无评论

Combining Design by Contract and programming logic to Enhance Secure Coding Assistant System

Combining Design by Contract and Programming Logic to Enhanc...

引用

作者： Liang, Wenhui California State University Sacramento

学位级别：M.Sc., Master of Science

Code security or robustness has been an important topic in the recent decades for the research and software production communities. Defects in code can cause vulnerabilities in the program or system because it can be exploited by attackers. This project has enhanced Secure Coding Assistant system with Design by Contract and programming logic. The enhanced system can help programmers detect, locate, and eliminate code errors while coding. Java programmers using this enhanced system are suggested to provide their design contracts to three program structures (i.e., methods, if-then-else statements, and while-loop statements). Programmer-defined design contracts can be automatically generated and checked at the dynamic time of their program execution. Based on the inference rules of if-then-else statements and while-loop statements in the programming logic, the system can automatically generate sub-design contracts using programmer-defined design contracts. The system-generated sub-design contracts can also be automatically checked during run time to further help programmers detect and locate code errors. Furthermore, the weakest pre-conditions of certain sequences of assignments can be automatically generated from the post-conditions of the sequences based on the inference rule of the sequence statements and the assignment axiom in the programming logic. This helps programmers statically analyze the correctness of the relevant programmer-defined design contracts. With the enhancement presented, Secure Coding Assistant can help programmers for early detection of violations of secure coding rules and defects in Java code at the same time.

关键词： Software security Design by contract programming logic Secure coding

来源：评论

学校读者我要写书评

暂无评论

Strategies Focused on the Teaching of programming logic: A Systematic Review of Brazilian Literature

Strategies Focused on the Teaching of Programming Logic: A S...

引用

13th Latin American Conference on Learning Technologies (LACLO)

作者： Martins Correa, Deborah Godoy de Oliveira, Tiago Stringhini, Denise Univ Fed Sao Paulo Inst Ciencia & Tecnol Sao Jose Dos Campos SP Brazil

ISBN: (纸本)9781728103822

This article aims to present the results obtained from the systematic of the Brazilian literature on teaching and learning the discipline of programming logic (LP), considering the articles published in the Brazilian Journal of Informatics in Education (RBIE), in the annals of the Brazilian Symposium on Informatics (SBIE), in the annals of the Computer Science Workshops (WIE), in the Brazilian Congress of Informatics in Education (CBIE) and in the Journey of Updating in Computer Science at School (JAIE) between 2012 and 2017. From this mapping the strategies used in teaching LP in Basic Education, High School and Higher Education were analyzed, and was verified that the subject remains a great challenge to be overcome. Additionally, this work investigates if Multiple Intelligences are being considered in the adoption of teaching techniques - the goal is to establish a future work on this subject. Results show that Scratch and Games are the most cited in Brazilian literature and that Multiple Intelligences are still an open research field in this context.

关键词： programming logic multiple intelligences games robotics Scratch

来源：评论

学校读者我要写书评

暂无评论

Use of basic programming tools to foster programming logic in university students with school preparation other than computer science

引用

Procedia Computer Science 2024年 237卷 413-419页

作者： Fernando Ibarra-Torres Gustavo Caiza Marcelo V. García Valeria Barona-Pico Technical University of Ambato UTA School of Systems Electronics and Industrial Engineering Ambato 180103 Ecuador Salesian Polytechnic University Quito 170146 Ecuador

Teaching programming logic to students who do not have a background in computer science is challenging, as the instructor has to awaken problem-solving, critical thinking, and logical reasoning skills Several programming tools have been created to teach coding concepts to computer science students of different ages. However, these tools are not well designed to meet the challenge of teaching programming to new developers who come with school training in other areas such as accounting, management, etc. Therefore, this research focused on analyzing the importance of the application of online programming tools to students starting college who come with a school background in an area other than technology. A pre/post experimental design was carried out with 82 first-level students of the Technical University of Ambato in the careers of Systems and Electronics. The results revealed that 45% of the students increased their levels of application and analysis in programming processes. In addition, the research revealed that students who come from a background other than computer science agree with the integration of online programming tools from the first level of university entrance since this method helps to improve their learning capacity.

关键词： programming logic programming tools software development undergraduate student

来源：评论

学校读者我要写书评

暂无评论

logic, Code, and the History of programming

引用

IEEE ANNALS OF THE HISTORY OF COMPUTING 2021年第4期43卷 92-96页

作者： Priestley, Mark Natl Museum Comp Bletchley Pk Milton Keynes Bucks England

Astriking feature of the debates around the perceived software crisis in the 1960s and 1970s is the frank contempt expressed by some elite computer scientists for much work in the fields of programming and programming language design. The writings of computer scientist Edsger Dijkstra are a familiar source of such material: in his Turing Award lecture, he opined that “the sooner we can forget that FORTRAN ever existed the better” and likened an advocate of the PL/I language to a drug addict. In a slightly more restrained register, John Backus (another Turing Award winner) used his acceptance speech to denounce existing languages as “fat and flabby [2].” Dijkstra’s contempt for the tools of his trade easily slipped into contempt for their users.

关键词： programming logic History logic

来源：评论

学校读者我要写书评

暂无评论

AUXILIARY VARIABLES IN PARTIAL CORRECTNESS programming logicS

引用

INFORMATION PROCESSING LETTERS 1989年第3期33卷 131-133页

作者： MCCURLEY, ER School of Information and Computer Science Georgia Institute of Technology Atlanta GA 30332-0280 USA

Auxiliary variables are added to a program to simplify its proof of correctness but are eliminated before it is implemented. Their role is formalized in the Owicki-Gries logic for proving partial correctness of programs. However, the rule given for eliminating them is unsound. This note describes the problem and discusses possible solutions.

关键词： Auxiliary variable partial correctness programming logic Owicki-Gries logic program transformation

来源：评论

学校读者我要写书评

暂无评论

Towards Verified Software:Mirror Theory of programming

引用

Chinese Journal of Electronics 2017年第2期26卷 279-284页

作者： ZHANG Junfu ZHAO Wen YUAN Chongyi School of Software & Microelectronics Peking University National Engineering Research Center for Software Engineering Peking University

A program,when being executed,acts like a mirror that produces mirror images for objects in front of it.A mirror distinguishes itself from others by the way how it changes the shape of an object.A program can be characterized by the way how the final values of variables(the mirror images) are related to the initial values of variables(the objects).Axioms that specify relationships between final values and initial values of variables in a program are *** logic to be discussed in this paper serves to prove and to deduce properties based on given *** the axioms and the logic belong to a theory,namely the mirror theory of programming,in which a program appears as an operation expression *** is a step forward towards verified software.

关键词： Operation expression Semantic axiom programming logic Theory of programming Verified software

来源：评论

学校读者我要写书评

暂无评论

Completeness and incompleteness in nominal Kleene algebra

引用

JOURNAL OF logicAL AND ALGEBRAIC METHODS IN programming 2017年 91卷 17-32页

作者： Kozen, Dexter Mamouras, Konstantinos Silva, Alexandra Cornell Univ Dept Comp Sci Ithaca NY 14853 USA Univ Penn CIS Dept Philadelphia PA 19104 USA UCL Dept Comp Sci London WC1E 6BT England

Gabbay and Ciancia (2011) presented a nominal extension of Kleene algebra as a framework for trace semantics with statically scoped allocation of resources, along with a semantics consisting of nominal languages. They also provided an axiomatization that captures the behavior of the scoping operator and its interaction with the Kleene algebra operators and proved soundness over nominal languages. In this paper, we show that the axioms proposed by Gabbay and Ciancia are not complete over the semantic interpretation they propose. We then identify a slightly wider class of language models over which they are sound and complete. (C) 2017 Elsevier Inc. All rights reserved.

关键词： Kleene algebra Nominal sets programming logic

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：