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

Engineering testable and maintainable software with Spring Boot and React

学校读者我要写书评

暂无评论

TechRxiv

TechRxiv 2021年

作者： Muldoon, Conor Görgü, Levent O’Sullivan, John J. Meijer, Wim G. O’Hare, Gregory M.P. The School of Computer Science University College Dublin Belfield Dublin 4 Ireland The School of Civil Engineering University College Dublin Belfield Dublin 4 Ireland The School of Biomolecular and Biomedical Science University College Dublin Belfield Dublin 4 Ireland The School of Computer Science and Statistics Trinity College Dublin the School of Computer Science University College Dublin Belfield Dublin 4 Ireland

Single-page applications with RESTful APIs have become a dominant architecture in software development over the past decade. The success of this architecture is driven, in part, by libraries and frameworks, such as React and Spring Boot, that aid in the development of complex front-end JavaScript components and back-end Java classes and controllers. Applying the ‘Law of Demeter’ (LoD), or principle of least knowledge, is key to the development of object-oriented code that is testable and maintainable. Dependency injection eases the burden of developing code that complies with the LoD. With JavaScript, adopting a functional style, but with managed side effects, as with React hooks, reduces the complexity of components and enables optimisations to be performed. The LoD does not provide guidance for code with primitive variables or functional aspects. This paper modifies and extends the LoD for non-pure object-oriented languages, first-class JavaScript functions, and the properties of React components. Component closure factories are introduced to aid in the development of declarative React components. This extends the application of the principle of least knowledge beyond pure object-oriented systems and validation is provided with a case study on Unison, an application that enables the tracking and graphing of numerical weather forecast data. © 2021, CC BY.

关键词： object oriented programming

Towards an integrated conceptual modelling kernel for business transaction workflows

学校读者我要写书评

暂无评论

arXiv 2021年

作者： Barros, Alistair P. ter Hofstede, Arthur H.M. Proper, Henderik A. School of Information Technology The University of Queensland BrisbaneQLD4072 Australia Faculty of Information Technology Queensland University of Technology GPO Box 2434 Brisbane4001 Australia

Rubric Is All You Need: Enhancing LLM-based Code Evaluation With Question-Specific Rubrics

学校读者我要写书评

暂无评论

arXiv 2025年

作者： Pathak, Aditya Gandhi, Rachit Uttam, Vaibhav Devansh Nakka, Yashwanth Jindal, Aaryan Raj Ghosh, Pratyush Ramamoorthy, Arnav Verma, Shreyash Mittal, Aditya Ased, Aashna Khatri, Chirag Challa, Jagat Sesh Kumar, Dhruv BITS Pilani India

Since the disruption in LLM technology brought about by the release of GPT-3 and ChatGPT, LLMs have shown remarkable promise in programming-related tasks. While code generation remains a popular field of research, code evaluation using LLMs remains a problem with no conclusive solution. In this paper, we focus on LLM-based code evaluation and attempt to fill in the existing gaps. We propose multi-agentic novel approaches using question-specific rubrics tailored to the problem statement, arguing that these perform better for logical assessment than the existing approaches that use question-agnostic rubrics. To address the lack of suitable evaluation datasets, we introduce two datasets: a Data Structures and Algorithms dataset containing 150 student submissions from a popular Data Structures and Algorithms practice website, and an object oriented programming dataset comprising 80 student submissions from undergraduate computer science courses. In addition to using standard metrics (Spearman Correlation, Cohen’s Kappa), we additionally propose a new metric called as Leniency, which quantifies evaluation strictness relative to expert assessment. Our comprehensive analysis demonstrates that question-specific rubrics significantly enhance logical assessment of code in educational settings, providing better feedback aligned with instructional goals beyond mere syntactic correctness. Copyright © 2025, The Authors. All rights reserved.

关键词： object oriented programming

Mumott – a Python package for the analysis of multi-modal tensor tomography data

学校读者我要写书评

暂无评论

arXiv 2025年

作者： Nielsen, Leonard C. Carlsen, Mads Wang, Sici Baroni, Arthur Tänzer, Torne Liebi, Marianne Erhart, Paul Department of Physics Chalmers University of Technology Gothenburg Sweden Photon Science Division Paul Scherrer Institute Villigen Switzerland Institute of Materials Ècole Polytechnique Fèdèrale de Lausanne Lausanne Switzerland

Small and wide angle x-ray scattering tensor tomography are powerful methods for studying anisotropic nanostructures in a volume-resolved manner, and are becoming increasingly available to users of synchrotron facilities. The analysis of such experiments requires, however, advanced procedures and algorithms, which creates a barrier for the wider adoption of these techniques. Here, in response to this challenge, we introduce the Mumott package. It is written in Python with computationally demanding tasks handled via just-in-time compilation using both CPU and GPU resources. The package is being developed with a focus on usability and extensibility, while achieving a high computational efficiency. Following a short introduction to the common workflow, we review key features, outline the underlying object-oriented framework, and demonstrate the computational performance. By developing the Mumott package and making it generally available, we hope to lower the threshold for the adoption of tensor tomography and to make these techniques accessible to a larger research community. Copyright © 2025, The Authors. All rights reserved.

关键词： object oriented programming

Imperative vs. Declarative programming Paradigms for Open-Universe Scene Generation

学校读者我要写书评

暂无评论

arXiv 2025年

作者： Gumin, Maxim Han, Do Heon Yoo, Seung Jean Ganeshan, Aditya Jones, R Kenn Aguina-Kang, Rio Morris, Stewart Ritchie, Daniel Brown University United States UC San Diego United States

Synthesizing 3D scenes from open-vocabulary text descriptions is a challenging, important, and recently-popular application. One of its critical subproblems is layout generation: given a set of objects, lay them out to produce a scene matching the input description. Nearly all recent work adopts a declarative paradigm for this problem: using LLM to generate specification of constraints between objects, then solving those constraints to produce the final layout. In contrast, we explore an alternative imperative paradigm, in which an LLM iteratively places objects, with each object’s position and orientation computed as a function of previously-placed objects. The imperative approach allows for a simpler scene specification language while also handling a wider variety and larger complexity of scenes. We further improve the robustness of our imperative scheme by developing an error correction mechanism that iteratively improves the scene’s validity while staying as close as possible the original layout generated by the LLM. In forced-choice perceptual studies, participants preferred layouts generated by our imperative approach 82% and 94% of the time, respectively, when compared against two declarative layout generation methods. We also present a simple, automated evaluation metric for 3D scene layout generation that aligns well with human preferences. © 2025, CC BY.

关键词： object oriented programming

Automating the Functional Correspondence between Higher-Order Evaluators and Abstract Machines

学校读者我要写书评

暂无评论

arXiv 2021年

作者： Buszka, Maciej Biernacki, Dariusz Institute of Computer Science University of Wroclaw Poland

The functional correspondence is a manual derivation technique transforming higher-order evaluators into the semantically equivalent abstract machines. The transformation consists of two well-known program transformations: translation to continuation-passing style that uncovers the control flow of the evaluator and Reynolds’s defunctionalization that generates a first-order transition function. Ever since the transformation was first described by Danvy et al. it has found numerous applications in connecting known evaluators and abstract machines, but also in discovering new abstract machines for a variety of λ-calculi as well as for logic-programming, imperative and object-oriented languages. We present an algorithm that automates the functional correspondence. The algorithm accepts an evaluator written in a dedicated minimal functional meta-language and it first transforms it to administrative normal form, which facilitates program analysis, before performing selective translation to continuation-passing style, and selective defunctionalization. The two selective transformations are driven by a control-flow analysis that is computed by an abstract interpreter obtained using the abstracting abstract machines methodology, which makes it possible to transform only the desired parts of the evaluator. The article is accompanied by an implementation of the algorithm in the form of a command-line tool that allows for automatic transformation of an evaluator embedded in a Racket source file and gives fine-grained control over the resulting machine. © 2021, CC BY-NC-ND.

关键词： object oriented programming

Design of OBE Based Closed-loop Teaching Mode for University Course

学校读者我要写书评

暂无评论

Design of OBE Based Closed-loop Teaching Mode for University...

Information Science and Education (ICISE-IE), International Conference on

作者： Jinghua Zhang North China Electric Power University (Baoding) NCEPU Baoding China

ISBN: (纸本)9781665438308

This article improves the traditional closed-loop teaching mode with outcome based education (OBE) idea. First, the outcome which is the core of OBE is relined in two dimensions, and a formalized learning outcome model is established; then, the exercise library is revised to support the learning outcome model. On this basis, an exact model is designed for OBE based closed-loop teaching mode, which adopts a four-level test and teacher-student two-level feedback operating mechanism. And the specific strategies of OBE based plan, OBE based test, OBE based evaluation, and feedback instruction ensure the closed-loop mode and OBE idea. OBE based closed- loop teaching mode combining two excellent modes is beneficial to the university course. Our research takes object-oriented programming course as the object, supports stable operation of the mode and also provides a foundation for informatization construction of the mode.

关键词： Learning systems Information science object oriented modeling Education Libraries object oriented programming Information technology

Toward an Enhanced Tool for Internet Exchange Point Detection

学校读者我要写书评

暂无评论

Toward an Enhanced Tool for Internet Exchange Point Detectio...

International Multidisciplinary Information Technology and Engineering Conference (IMITEC)

作者： Raoul Kientega Moustapha Hadji Sidibé Tiemogo Traore Universite Nobert Zongo Lamfa Koudougou Burkina Faso Universite Liaoning Shihua University Fushun Liaoning province China Universite Aube-Nouvelle Bobo Burkina Faso

ISBN: (纸本)9781665417501

Internet Exchange Points (IXPs) are critical components of the Internet infrastructure that affect its performance, evolution, security and economy. In this work, we introduce a technique to improve the well-known TraIXroute tool with its ability to identify IXPs. TraIXroute is a tool written in python3. It always encounters problems during its installation by network administrators and researchers. This problem remains unchanged in the field of internet ixp measurement tools. Our paper aims to make a critical analysis of TraIXroute tool which has some malfunctions. Furthermore, our main objective is to implement an improved tool for detecting ixps on the traceroute path with ipv4 and ipv6. The tool will have options for Geolocation of ixps as well as ASs. Our tool is written in C# (C sharp) and python which are object oriented programming languages.

关键词： Geology Internet C# languages Security object oriented programming Information technology Python

Test and Verification Environment and Methodology for Vernier Time-to-Digital Converter Pixel Array

学校读者我要写书评

暂无评论

Test and Verification Environment and Methodology for Vernie...

IEEE Design and Diagnostics of Electronic Circuits and Systems (DDECS)

作者： Lukasz A. Kadlubowski Piotr Kmon Faculty of Electrical Engineering Automatics Computer Science and Biomedical Engineering AGH University of Science and Technology Krakow Poland

The goal of building a system for precise time measurement in pixel radiation detectors motivates the development of flexible design and verification environment. It should be suitable for quick simulations when individual elements of the system are developed and should be scalable so that systemlevel verification is possible as well. The approach presented in this paper is to utilize the power of SystemVerilog language and apply basic object-oriented programming concepts to the test program. Since the design under test is a full-custom mixed-signal design, it must be simulated with AMS simulator and various features of analog design environment are used as well (Monte Carlo analysis, corner analysis, schematic capture GUI-related functions). The presented approach combines these two worlds and should be suitable for small academia projects, where design and verification is seldom done by separate teams.

关键词： Monte Carlo methods Radiation detectors object oriented modeling Buildings Time measurement object oriented programming