A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Program Refactoring, Program Synthesis, and Model-Driven Development
[chapter]
Lecture Notes in Computer Science
Preserved Fulltext
Program refactoring, feature-based and aspect-oriented software synthesis, and model-driven development are disjoint research areas. ...
However, they are all architectural metaprogramming technologies as they treat programs as values and use functions (a.k.a. transformations) to map programs to other programs. ...
Recent work in program refactoring, program synthesis, and model-driven design are raising the level of abstraction in programming. ...
doi:10.1007/978-3-540-71229-9_11
dblp:conf/cc/Batory07
fatcat:5kbjsgu5qfcpjbdj7chejddtry
Model-Driven Development of Model Transformations
[chapter]
2008
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Generality
(of Transformation Modeling Language)
Synthesis
Refactoring
Synthesis
Synthesis
Refactoring
Refactoring
UML2CSP
CM2RM
Copy2GT
UML2CSP
CM2RM
Copy2GT
Pull Up Method
Extract ...
: Story Diagrams
• Standardize
• Improve
» BUT: Maintain UML's interoperability
-General Applicability
• Transform the Transformation Models
Model-Driven Development of
Model Transformations ...
doi:10.1007/978-3-540-87405-8_51
fatcat:bcsgbxwcvvcnfhycwd3mxs7tbe
Kayak: Safe Semantic Refactoring to Java Streams
[article]
2017
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Our refactoring procedure performs semantic reasoning and search in the space of possible refactorings using automated program synthesis. ...
State-of-the-art automatic refactoring tools are syntax-driven and, therefore, overly conservative. ...
Our refactoring procedure is based on the program semantics and makes use of program synthesis. ...
arXiv:1712.07388v1
fatcat:yaottft5r5dejduasdxmur5lse
A Modeling Language for Program Design and Synthesis
[chapter]
2008
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
A modeling language is needed to express program design and synthesis as a computation, and elementary algebra fits the bill. ...
Doing so outlines a general and simple way to express and understand the relationships between different topics in program synthesis. ...
I appreciated the help and patience of Prof. Egon Börger by allowing me to take my time in writing this paper. I also appreciated the helpful and insightful comments of the referees.
References ...
doi:10.1007/978-3-540-89762-0_2
fatcat:ibzlmnzahnbhbhobcp5auqrzte
On the Use of Graph Transformations for Model Refactoring
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Model-driven software engineering promotes the use of models and transformations as primary artifacts. Several formalisms can be used for the specification of model transformations. ...
In particular, we focus on the activity of model refactoring, and show how graph transformation can provide formal support for this activity. ...
-Tool support for model-driven development based on graph transformation engines is starting to emerge (e.g., GReAT [3] , MOLA [4] and VIATRA [5] ). ...
doi:10.1007/11877028_7
fatcat:enaxhou3hzfozed2444dxqttu4
Refactoring software to heterogeneous parallel platforms
2019
Journal of Supercomputing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
With the recent emergence of many different programming models, languages and frameworks for expressing parallelism, the refactoring approach has become more prominent. ...
The evolution of approaches for parallel programming models in last years has been a constant and seems to be a trend for the upcoming years. ...
Their approach focuses on high-level synthesis of source code to minimize development costs and efforts. ...
doi:10.1007/s11227-019-02942-2
fatcat:h54q2vr3kfcs7ih7v3smj4fbsm
An empirical study of programmer learning during incremental software development
2005
Fourth IEEE Conference on Cognitive Informatics, 2005. (ICCI 2005).
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
The paper presents a case study that investigates programmer learning during incremental program development. ...
The Self-Directed Learning Model and Related Work The self-directed learning theory was proposed by Rajlich and Xu [27] and it combines the constructivist learning theory [25] and Bloom's taxonomy of the ...
Case Study Design Martin and Koss developed a simple application for score keeping in bowling, using pair programming, testfirst, and refactoring practices [19] . ...
doi:10.1109/coginf.2005.1532650
dblp:conf/IEEEicci/XuRM05
fatcat:gm23p32pnnc63hzo7hwsnwd55q
A Taxonomy Of Model Transformation
[article]
2005
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
This article proposes a taxonomy of model transformation, based on the discussions of a working group on model transformation of the Dagstuhl seminar on Language Engineering for Model-Driven Software Development ...
This taxonomy can be used, among others, to help developers in deciding which model transformation language or tool is best suited to carry out a particular model transformation activity. ...
Introduction Model-driven engineering (MDE) is a discipline in software engineering that relies on models as first class entities and that aims to develop, maintain and evolve software by performing model ...
doi:10.5281/zenodo.851547
fatcat:vmtqlfqibjd4jpxrki4ubo6nvy
A Taxonomy of Model Transformation
2006
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This article proposes a taxonomy of model transformation, based on the discussions of a working group on model transformation of the Dagstuhl seminar on Language Engineering for Model-Driven Software Development ...
This taxonomy can be used, among others, to help developers in deciding which model transformation language or tool is best suited to carry out a particular model transformation activity. ...
Introduction Model-driven engineering (MDE) is a discipline in software engineering that relies on models as first class entities and that aims to develop, maintain and evolve software by performing model ...
doi:10.1016/j.entcs.2005.10.021
fatcat:6u7m2ktogjf4nal3qa276w3hcm
Towards a Generic Framework for Trustworthy Program Refactoring
2021
Acta Cybernetica
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
There are a number of approaches to specifying program transformations on various kinds of program models, but trustworthiness of refactoring is still to be improved by means of formal verification. ...
Refactoring has to preserve the dynamics of the transformed program with respect to a particular definition of semantics and behavioral equivalence. ...
on the model to gather semantic information and carry out rewriting. • Synthesis turns the model back to textual format and obtains the result of the refactoring. ...
doi:10.14232/actacyb.284349
fatcat:mv2yhsfmijddhca6ps3fcr3shm
Model-Based Hardware Generation and Programming - The MADES Approach
2011
2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
MADES aims to develop a model-driven development process for safety-critical, real-time embedded systems. ...
This paper gives an overview of the model-based hardware generation and programming approach proposed within the MADES project. ...
Since the MADES approach is model-driven, every development effort starts with building the relevant design and analysis models. ...
doi:10.1109/isorcw.2011.20
dblp:conf/isorc/GrayMAIKP11
fatcat:z6647xy7abddxafkxcldlpoi54
30 Years of Software Refactoring Research:A Systematic Literature Review
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
a set of program transformations intended to improve the system design while preserving the behavior. ...
refactoring activities, detection of refactoring opportunities, and testing the correctness of applied refactorings. ...
design, Aspect-oriented design, Model-driven engineering, Documentation, Mobile development, and Cloud computing) to describe the refactoring paradigms. ...
arXiv:2007.02194v1
fatcat:kdluwrgifnaxfginnnyk7t7u4y
An empirical approach for software reengineering process with relation to quality assurance mechanism
2018
Advances in Distributed Computing and Artificial Intelligence Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We can say if the reengineering process produce quality attributes, then it can be said by old software system refactoring as code refactoring, data refactoring and architectural refactoring we obtained ...
Awais An empirical approach for software reengineering process with relation to quality assurance mechanism ADCAIJSoftware development advances focus on productivity of existing software systems and quality ...
Highly abstracted, data flow and modular oriented model-driven development methods and tools are used for this purpose. ...
doi:10.14201/adcaij2018733146
fatcat:yppmyxow3bfgtbdxbudwfynom4
Workshop on the Modeling and Analysis of Concerns in Software (MACS 2005)
2005
Software engineering notes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
development and evolution. ...
., caching), and many other concepts. Programming language-supported constructs like modules, classes, and aspects enable the encapsulation of certain concerns. ...
AspectM improves the separation of concerns pertaining to model transformations in model-driven architecture-based development.
A Model-Driven Approach to Enforce Crosscutting Assertion Checking. ...
doi:10.1145/1082983.1082995
fatcat:kydjpkwkr5avjkdphcr7mepoay
Middleware specialization using aspect oriented programming
2006
Proceedings of the 44th annual southeast regional conference on - ACM-SE 44
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
This paper describes the key motivation for our research, identifies the challenges developing middlewarebased product lines and shows how to resolve those using aspects. ...
To meet this objective this paper describes how we have applied Aspect-Oriented Programming (AOP) in a novel manner to address these challenges. ...
must deal with event-driven style of programming. ...
doi:10.1145/1185448.1185520
dblp:conf/ACMse/KaulG06
fatcat:abimbcxddzgx5g4obbhkyyino4
« Previous
Showing results 1 — 15 out of 1,274 results