Filters








1,274 Hits in 2.9 sec

Program Refactoring, Program Synthesis, and Model-Driven Development [chapter]

Don Batory
Lecture Notes in Computer Science  
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]

Pieter Van Gorp
2008 Lecture Notes in Computer Science  
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]

Cristina David, Pascal Kesseli, Daniel Kroening
2017 arXiv   pre-print
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]

Don Batory
2008 Lecture Notes in Computer Science  
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]

Tom Mens
2006 Lecture Notes in Computer Science  
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

J. Daniel Garcia
2019 Journal of Supercomputing  
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

Shaochun Xu, V. Rajlich, A. Marcus
2005 Fourth IEEE Conference on Cognitive Informatics, 2005. (ICCI 2005).  
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]

Tom Mens, van Pieter Gorp
2005 Zenodo  
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

Tom Mens, Pieter Van Gorp
2006 Electronical Notes in Theoretical Computer Science  
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

Dániel Horpácsi, Judit Kőszegi, Dávid J. Németh
2021 Acta Cybernetica  
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

Ian Gray, Nikos Matragkas, Neil C. Audsley, Leandro Soares Indrusiak, Dimitris Kolovos, Richard Paige
2011 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops  
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]

Chaima Abid, Vahid Alizadeh, Marouane Kessentini, Thiago do Nascimento Ferreira, Danny Dig
2020 arXiv   pre-print
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

Muhammad MUZAMMUL, Muhammad AWAIS
2018 Advances in Distributed Computing and Artificial Intelligence Journal  
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)

Martin P. Robillard
2005 Software engineering notes  
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

Dimple Kaul, Aniruddha Gokhale
2006 Proceedings of the 44th annual southeast regional conference on - ACM-SE 44  
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