Search Results - automation programming— program transformation
-
1
Program transformation landscapes for automated program modification using Gin
ISSN: 1382-3256, 1573-7616Published: New York Springer US 01.07.2023Published in Empirical software engineering : an international journal (01.07.2023)“…Automated program modification underlies two successful research areas — genetic improvement and program repair…”
Get full text
Journal Article -
2
Transformation of Functional Dataflow Parallel Programs into Imperative Programs
ISSN: 0146-4116, 1558-108XPublished: Moscow Pleiades Publishing 01.12.2022Published in Automatic control and computer sciences (01.12.2022)“… In order to run programs directly on existing computing systems, specific optimization and transformation methods that take the features of both the programming language and the system architecture…”
Get full text
Journal Article -
3
Unprecedented Code Change Automation: The Fusion of LLMs and Transformation by Example
ISSN: 2994-970X, 2994-970XPublished: New York, NY, USA ACM 12.07.2024Published in Proceedings of the ACM on software engineering (12.07.2024)“… While current Transformation by Example (TBE) techniques can automate CPATs, they are limited by the quality and quantity of the provided input examples…”
Get full text
Journal Article -
4
Transformation of C Programming Language Memory Model into Object-Oriented Representation of EO Language
ISSN: 0146-4116, 1558-108XPublished: Moscow Pleiades Publishing 01.12.2023Published in Automatic control and computer sciences (01.12.2023)“…— The paper analyzes the possibilities of transforming C programming language constructs into objects of EO programming language…”
Get full text
Journal Article -
5
Making legacy Fortran code type safe through automated program transformation
ISSN: 0920-8542, 1573-0484Published: New York Springer US 01.02.2022Published in The Journal of supercomputing (01.02.2022)“… In this paper, we present a formal approach to ensure type safety of legacy Fortran code through automated program transformation…”
Get full text
Journal Article -
6
Towards an automation of the mutation analysis dedicated to model transformation
ISSN: 0960-0833, 1099-1689Published: Chichester Blackwell Publishing Ltd 01.08.2015Published in Software testing, verification & reliability (01.08.2015)“…‐level models through intermediary levels using model transformations. In such a process, the input must be well designed, and the model transformations should be trustworthy…”
Get full text
Journal Article -
7
Model transformation: the heart and soul of model-driven software development
ISSN: 0740-7459, 1937-4194Published: Los Alamitos IEEE 01.09.2003Published in IEEE software (01.09.2003)“… This article examines different approaches to model transformations and recommends desirable language characteristics for describing them…”
Get full text
Journal Article -
8
Refactoring Java Programs for Customizable Locks Based on Bytecode Transformation
ISSN: 2169-3536, 2169-3536Published: Piscataway IEEE 2019Published in IEEE access (2019)“…Developers of parallel programming are faced with choices of using various Java locks…”
Get full text
Journal Article -
9
A neurodynamic approach for solving portfolio optimisation problem in high-frequency trading based on charnes-chooper transformation
ISSN: 0020-7721, 1464-5319Published: London Taylor & Francis 19.05.2025Published in International journal of systems science (19.05.2025)“… By utilising the Charnes-Cooper transformation, we convert fractional programming into non-fractional programming…”
Get full text
Journal Article -
10
Automated broken object-level authorization attack detection in REST APIs through OpenAPI to colored petri nets transformation
ISSN: 1615-5262, 1615-5270Published: Heidelberg Springer Nature B.V 01.04.2025Published in International journal of information security (01.04.2025)“…The representational state transfer architectural style (REST) specifies a set of rules for creating web services. In REST, data and functionality are…”
Get full text
Journal Article -
11
Research on post-processing development technology for four-axis turn-milling compound machining with Siemens 840Dsl CNC system
ISSN: 0268-3768, 1433-3015Published: London Springer London 01.08.2025Published in International journal of advanced manufacturing technology (01.08.2025)“…Large curved components such as wheel hubs, case covers, and blisks play a crucial role in high-end equipment manufacturing due to their specialized functions…”
Get full text
Journal Article -
12
AndroEvolve: automated Android API update with data flow analysis and variable denormalization
ISSN: 1382-3256, 1573-7616Published: New York Springer US 01.05.2022Published in Empirical software engineering : an international journal (01.05.2022)“… Hence, automating the updates of Android APIs can be beneficial for developers. CocciEvolve is the state-of-the-art approach for this automation…”
Get full text
Journal Article -
13
Research on Parametric Modeling and Model Transformation of Proton Hospital Based on BIM
ISSN: 2075-5309, 2075-5309Published: Basel MDPI AG 01.05.2025Published in Buildings (Basel) (01.05.2025)“…Aiming at problems such as difficulty and low efficiency in modeling complex building structures in Revit and Abaqus, Revit and Dynamo visual programming modeling were used to realize rapid parametric…”
Get full text
Journal Article -
14
Toward Dependable Model-Driven Design of Low-Level Industrial Automation Control Systems
ISSN: 1545-5955, 1558-3783, 1558-3783Published: New York IEEE 01.01.2022Published in IEEE transactions on automation science and engineering (01.01.2022)“…Recent technological advances and manufacturing paradigm evolutions in industrial settings will dramatically increase the complexity of automation control systems…”
Get full text
Journal Article -
15
PYEVOLVE: Automating Frequent Code Changes in Python ML Systems
ISSN: 1558-1225Published: IEEE 01.05.2023Published in Proceedings / International Conference on Software Engineering (01.05.2023)“… loops. While manually performing CPATs is tedious, the current state-of-the-art techniques for inferring transformation rules are not advanced enough to handle unseen variants of complex CPATs, resulting in a low recall rate…”
Get full text
Conference Proceeding -
16
The use of the rapid unequal interval interpolation method (RUIIM) for a non-RTCP NC program and five-axis machining
ISSN: 0268-3768, 1433-3015Published: London Springer London 01.02.2023Published in International journal of advanced manufacturing technology (01.02.2023)“…In industries such as electronics 3C, medical, aviation, and energy, multi-axis machining machines are an important element of modern production systems,…”
Get full text
Journal Article -
17
Transformation-based diagnosis of student programs for programming tutoring systems
ISSN: 0098-5589, 1939-3520Published: New York IEEE 01.04.2003Published in IEEE transactions on software engineering (01.04.2003)“… This paper describes a transformation-based approach to automate the diagnosis of students' programs for programming tutoring systems…”
Get full text
Journal Article -
18
Influence of programming style in transformation bad smells: mining of ETL repositories
ISSN: 0899-3408, 1744-5175Published: Norwood Routledge 02.01.2018Published in Computer science education (02.01.2018)“…Bad smells affect maintainability and performance of model-to-model transformations…”
Get full text
Journal Article -
19
Program Characterization Using Runtime Values and Its Application to Software Plagiarism Detection
ISSN: 0098-5589, 1939-3520Published: New York IEEE 01.09.2015Published in IEEE transactions on software engineering (01.09.2015)“… theft cases where plagiarizers can use various automated code transformation or obfuscation techniques to hide…”
Get full text
Journal Article -
20
Zero‐sum game‐based H∞ optimal finite‐time prescribed performance control for nonlinear multiagent systems with actuator faults
ISSN: 1049-8923, 1099-1239Published: Bognor Regis Wiley Subscription Services, Inc 10.09.2024Published in International journal of robust and nonlinear control (10.09.2024)“… First, to guarantee the specified performance of the system within a finite time frame, a novel error transformation function (ETF) is constructed…”
Get full text
Journal Article