Search
Search Results
-
Program transformation landscapes for automated program modification using Gin
Automated program modification underlies two successful research areas — genetic improvement and program repair. Under the generate-and-validate...
-
Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
This book constitutes the refereed proceedings of the 33rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2023,...
-
Parallel program testing based on critical communication and branch transformation
Software testing is an efficient way to guarantee the reliability and accuracy of parallel programs. Communication plays a substantial role in...
-
Model and Program Transformation
So far, we focused on defining the syntax of DSLs in efficient ways. We worked with abstract and concrete syntax. We have seen tools that can... -
Automating Program Transformation with Coccinelle
Coccinelle is a program matching and transformation engine for C code. This paper introduces the use of Coccinelle through a collection of examples... -
Investigating Effort Estimation in a Large-Scale Agile ERP Transformation Program
Adaptability is vital in today’s rapidly changing business environment, especially within IT. Agile methodologies have emerged to meet this demand... -
Logic-Based Program Synthesis and Transformation 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings
This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021,...
-
Logic-Based Program Synthesis and Transformation 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022, Proceedings
This book constitutes the refereed proceedings of the 32ndInternational Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which... -
A source model simplification method to assist model transformation debugging
Model transformation, which is a program targeting at transforming an input model to an output model, has been a critical basis for Model-Driven...
-
Schematic Program Proofs with Abstract Execution
We propose Abstract Execution , a static verification framework based on symbolic execution and dynamic frames for proving properties of schematic ...
-
Making legacy Fortran code type safe through automated program transformation
Fortran is still widely used in scientific computing, and a very large corpus of legacy as well as new code is written in FORTRAN 77. In general this...
-
A Concrete Syntax Transformation Approach for Software Language Processing
In this paper we present an approach for software language processing tasks such as code generation, reverse-engineering and refactoring, based upon...
-
The Digital Transformation Framework
Organizations and consultants can talk about digital transformation and they can say that they are implementing it. But what they cannot accurately... -
Additional Essential ECRM Program Elements
The ECRM Program and Cybersecurity Strategy topics and related documentation covered in this chapter are education and training, automation and... -
Synergizes He**e Management Framework with Program Management Approach for Industry 4.0 Transformation
This dissertation explores the methodology for building intelligent manufacturing factories in medium and small-sized enterprises. Synergising He**e... -
A process for creating KDM2PSM transformation engines
Architecture-Driven Modernization (ADM) is a special kind of reengineering that employs models along the process. The main ADM metamodel is the...
-
Automatic program bug fixing by focusing on finding the shortest sequence of changes
Automatic bug repair as the last step in program repair has attracted a lot of research attention. Various ideas and techniques have been presented...
-
Logic-Based Program Synthesis and Transformation 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings
This book constitutes the refereed proceedings of the 30thInternational Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020,...
-
Winning the Transformation
The FiReControl Project was initiated by the department for communities and local government in March 2004 in the United Kingdom to integrate 46... -
SAFe transformation in a large financial corporation
As agile software development is increasingly adopted in the software industry, the popularity of scaling frameworks supporting adoption in large...