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

Computer Science and Technologies in Education (CSTE), International Conference on

作者： William P. Rey School of Information Technology Mapua University Makati City Philippines

ISBN: (数字)9798350351804

ISBN: (纸本)9798350351811

This study explores the transformative impact of gamification on online object-oriented programming (OOP) courses, focusing on student engagement and learning outcomes. It begins with developing the CodeQuest application-a gamified learning platform for OOP. Rigorous statistical analyses reveal significant performance differences between experimental and control groups $(\mathrm{T}=_{-}3.38,\ \mathrm{p}=0.002132)$ . Subgroup analysis shows efficacy for visual learners $(\mathrm{T}=2.26,\mathrm{p}=0.040416)$ . Paired t-tests within the experimental group confirm substantial improvements. The discussion covers the study's inception, CodeQuest's development, and its impact. In conclusion, CodeQuest shows promise in revolutionizing online OOP education by addressing engagement and comprehension challenges.

关键词： Computer science Visualization Statistical analysis Education Focusing Dynamic programming object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Discussion on the Foundation of Logic in Artificial Intelligence

Discussion on the Foundation of Logic in Artificial Intellig...

引用

Artificial Intelligence and Intelligent Manufacturing (AIIM), International Symposium on

作者： Ke Li Yan Lin Min Lin Xinyu Cheng Chengdu University of Information Technology Chengdu China Chengdu Polytechnic China Sinopec Natural Gas Branch Yuji Pipeline Company Jinan China

ISBN: (数字)9798331541729

ISBN: (纸本)9798331541736

In recent years, generative AI models such as ChatGPT, based on Transformer architectures, have developed rapidly and become a hot topic in society. They are widely used in programming, audio, and video processing fields, significantly enhancing productivity in these areas. However, various problems have also arisen during their application. At its core, generative AI still relies on symbolic formal logic and lacks the ability to simulate human cognitive patterns of understanding the world through prior logic or even dialectical logic. As such, it is impossible for these systems to achieve strong artificial intelligence as we know it. Currently, computer systems are founded on discrete mathematics and symbolic logic. This paper proposes an idea that combines prior logic theory with object-oriented programming techniques, using categorical judgment methods as a foundation to mimic human cognition patterns and discusses a possibility of approaching the realization of strong artificial intelligence.

关键词： Accuracy Uncertainty Generative AI Annotations object oriented modeling Transformer cores Transformers Cognition Logic object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Beyond Traditional Metrics: Advancing Software Complexity Analysis with the ACB Metric

Beyond Traditional Metrics: Advancing Software Complexity An...

引用

International Conference on Computing and Networking Technology (ICCNT)

作者： J. H. Aluthwaththage H. A. N. N. Thathsarani IT Department Aventure IT Solution Horana Sri Lanka Hatch Works Building iVedha Inc. Colombo Sri Lanka

ISBN: (数字)9798350370249

ISBN: (纸本)9798350370270

This paper introduces the Advanced CB (ACB) metric, a novel approach to measuring software complexity within object-oriented programming environments. Building on the foundational CB metric, the ACB metric incorporates additional factors such as compound expressions and try-catch blocks, providing a more comprehensive assessment of cognitive complexity. By accurately quantifying these elements, the ACB metric aims to enhance developers’ understanding of software intricacies, promoting better design and maintenance practices. The potential to integrate the ACB metric with educational tools and language translation technologies underscores its utility in real-world software development. Results demonstrate that the ACB metric offers a nuanced understanding of complexity, thereby facilitating improved software quality and maintainability.

关键词： Measurement Software algorithms Software quality Software systems Robustness Complexity theory Software reliability Software measurement object oriented programming Software development management

来源：评论

学校读者我要写书评

暂无评论

Deriving Dependently-Typed OOP from First Principles Extended Version with Additional Appendices

arXiv

引用

arXiv 2024年

作者： Binder, David Skupin, Ingo Süberkrüb, Tim Ostermann, Klaus Department of Computer Science University of Tübingen Sand 14 Tübingen72076 Germany Aleph Alpha Research at IPAI Grenzhöfer Weg 36 Heidelberg69123 Germany

The expression problem describes how most types can easily be extended with new ways to produce the type or new ways to consume the type, but not both. When abstract syntax trees are defined as an algebraic data type, for example, they can easily be extended with new consumers, such as print or eval, but adding a new constructor requires the modification of all existing pattern matches. The expression problem is one way to elucidate the difference between functional or data-oriented programs (easily extendable by new consumers) and object-oriented programs (easily extendable by new producers). This difference between programs which are extensible by new producers or new consumers also exists for dependently typed programming, but with one core difference: Dependently-typed programming almost exclusively follows the functional programming model and not the object-oriented model, which leaves an interesting space in the programming language landscape unexplored. In this paper, we explore the field of dependently-typed object-oriented programming by deriving it from first principles using the principle of duality. That is, we do not extend an existing objectoriented formalism with dependent types in an ad-hoc fashion, but instead start from a familiar data-oriented language and derive its dual fragment by the systematic use of defunctionalization and refunctionalization. Our central contribution is a dependently typed calculus which contains two dual language fragments. We provide type- and semantics-preserving transformations between these two language fragments: defunctionalization and refunctionalization. We have implemented this language and these transformations and use this implementation to explain the various ways in which constructions in dependently typed programming can be explained as special instances of the general phenomenon of duality. © 2024, CC BY.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Path-Optimal Symbolic Execution of Heap-Manipulating Programs

arXiv

引用

arXiv 2024年

作者： Braione, Pietro Denaro, Giovanni DISCo University of Milano-Bicocca Milano Italy

Symbolic execution is at the core of many techniques for program analysis and test generation. Traditional symbolic execution of programs with numeric inputs enjoys the property of forking as many analysis traces as the number of analyzed program paths, a property that in this paper we refer to as path optimality. On the contrary, current approaches for symbolic execution of heap-manipulating programs fail to satisfy this property, thereby incurring heavy path explosion effects that crucially penalize the efficiency of the analysis. This paper introduces pose, path-optimal symbolic execution, a symbolic execution algorithm that originally accomplishes path optimality against heap-manipulating programs. We formalize the pose algorithm for a tiny, but representative object-oriented programming language, and implement the formalization into a prototype symbolic executor to experiment the algorithm against a benchmark of sample programs that take data structures as inputs. Our experiments provide initial empirical evidence of the potential of pose for improving on the state of the art of symbolic execution of heap-manipulating programs. © 2024, CC BY-NC-ND.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Completing the Functional Approach in object-oriented Languages

arXiv

引用

arXiv 2024年

作者： Plümicke, Martin Duale Hochschule Baden-Württemberg Stuttgart Campus Horb Department of Computer Science Florianstraße 15 HorbD–72160 Germany

Over the last two decades practically all object-oriented programming languages have introduced features that are well-known from functional programming languages. But many features that were introduced were fragmentary. In Java-TX we address the latter features and propose a completion. Java-TX (i.e. Type eXtended) is a language based on Java. The predominant new features are global type inference and real function types for lambda expressions. Global type inference means that all type annotations can be omitted, and the compiler infers them without losing the static type property. We introduce the function types in a similar fashion as in Scala but additionally integrated them into the Java target-typing as proposed in the so-called strawman approach. In this paper, we provide an integrated presentation of all Java-TX features. The focus is therby on the automatic inference of type parameters for classes and their methods, and on the heterogeneous translation of function types, which permits the preservation of the argument and return types in bytecode. © 2024, CC BY.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Design Pattern Recognition Based on Machine Learning Algorithms

SSRN

引用

SSRN 2024年

作者： Mohamed, Ala Ben Sekma, Manel El Ayeb, Béchir Higher Institute of Informatics and Mathematics of Monastir Stah Jeber Monastir5000 Tunisia Faculty of Sciences of Monastir Stah Jeber Monastir5000 Tunisia

Design patterns are abstract solutions to common design problems, often used in object-oriented programming (OOP). Throughout a software’s life cycle, it often undergoes maintenance, requiring an understanding of the software’s workings, including its design patterns. Unfortunately, this process can be challenging and time-consuming, especially when dealing with highly complex designs or lacking detailed documentation. Thus, automating this process would prove immensely helpful. Our main contribution in this paper is to consider machine learning algorithms for recognizing Gang of Four (GoF) patterns from OOP software source code. To achieve this, we first construct a dataset comprising classes and the design patterns they create, where each class is represented by a set of OOP metrics. Next, we consider this dataset to train various machine learning models. The experiments provide significant motivation for advancing machine learning in the field of software engineering. © 2024, The Authors. All rights reserved.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

ClassDiagGen Tool: Fine-Tuning the GPT-3 Model for Auto- mated Class Diagram Generation from Textual Descriptions

Research Square

引用

Research Square 2024年

作者： Altawaiha, Iyad Al-Hgaish, Areen Serdang43400 Malaysia

In the continually evolving realm of software engineering, the advent of Artificial Intelligence (AI) and its implications for automating traditionally laborious tasks has been of paramount interest. This study employs the GPT-3 model, a transformative AI architecture, in automating the extraction of class diagram elements from textual software requirements - a critical yet often complex task in object-oriented programming. GPT-3 was equipped to execute this task proficiently through model fine-tuning using tailored case studies. Our approach emphasized the few-shot learning technique, a proven effective method in enhancing the model's proficiency in specialized tasks. The developed tool, ClassDiagGen, was subjected to thorough testing and evaluation, showcasing exemplary performance with average precision and recall scores of 98.6% and 93.3%, respectively. Our findings underscore the profound potential of AI, particularly the GPT-3 model, in streamlining software development processes while highlighting the importance of customized model training. This study marks the beginning of an exciting journey, with the software engineering landscape poised for further transformative changes through AI integration. © 2024, CC BY.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Integration of AI Based Chatbot in Tech Interview Prep App

Integration of AI Based Chatbot in Tech Interview Prep App

引用

Communication & Computing (WCONF), World Conference on

作者： Gurunath Machhale Sakshi Kadam Vaibhavi Patki Department of Computer Science and Engineering Sanjay Ghodawat University Kolhapur India

ISBN: (数字)9798350395327

ISBN: (纸本)9798350395334

The preparation for technical interviews in today's competitive job market demands innovative approaches. This paper introduces an Android-based Tech Interview Prep App designed to revolutionize interview readiness. Anchored in object-oriented programming (OOP), Database Interview Questions, and Data Structures, the app integrates cutting-edge technologies like Java, XML, and an AI-driven Chatbot using OpenAl's ChatGPT. With curated questions and real-time assistance, it transforms the learning experience, offering personalized support and dynamic engagement.

关键词： Java Databases XML Focusing Transforms Chatbots Data structures Real-time systems Interviews object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Visualizing the Conceptual Framework of object Orientation for Novice Programmers

Visualizing the Conceptual Framework of Object Orientation f...

引用

Frontiers in Education (FIE) Conference

作者： Jakob Staugaard Jens Bennedsen Christoph Seidl Sebastian Nicolajsen Mathias Fink Claus Brabrand Center for Computing Education Research (CCER) IT University of Copenhagen Copenhagen S Denmark Department of Electronics and Computer Engineering Aarhus University Aarhus N Denmark

ISBN: (数字)9798350351507

ISBN: (纸本)9798350363067

This research-to-practice paper shows how to visualize the conceptual framework of object-oriented programming. 'Classes' and 'objects' (from the solution domain) are respectively visualized as ‘phenomena’ and 'concepts' (from the problem domain), thereby visualizing the connection between code and reality. In the spirit of bringing research-to-practice, we implemented a prototype programming environment for Java called ‘SHowMyCODE’ based on this conceptual visualization. We report on a controlled experiment involving N=138 introductory programming (CS1) students. The experiment involves three tasks with progression (USE, Modify, and Create) and compares a treatment group with the reality-code visualization vs a control group without the visualization. The results show that, for Use tasks, students are faster (but not more accurate) when using the reality-code visualisation. In contrast, for Create tasks, learners are more accurate (but not faster) when using the reality visualisation. Finally, we report that students appear to value a visualization that shows the reality-code connection above a generic visualization without this connection.

关键词： Visualization Java Accuracy Codes Image synthesis Generative AI Prototypes object oriented programming programming profession programming environments

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：