Academic literature on the topic 'Automatic software transformation'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Automatic software transformation.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Automatic software transformation"

1

Vákár, Matthijs, and Tom Smeding. "CHAD: Combinatory Homomorphic Automatic Differentiation." ACM Transactions on Programming Languages and Systems 44, no. 3 (2022): 1–49. http://dx.doi.org/10.1145/3527634.

Full text
Abstract:
We introduce Combinatory Homomorphic Automatic Differentiation (CHAD), a principled, pure, provably correct define-then-run method for performing forward and reverse mode automatic differentiation (AD) on programming languages with expressive features. It implements AD as a compositional, type-respecting source-code transformation that generates purely functional code. This code transformation is principled in the sense that it is the unique homomorphic (structure preserving) extension to expressive languages of Elliott’s well-known and unambiguous definitions of AD for a first-order functiona
APA, Harvard, Vancouver, ISO, and other styles
2

Hammoudi, Slimane, Wajih Alouini, Denivaldo Lopes, and Marianne Huchard. "Towards A Semi-Automatic Transformation Process in MDA." International Journal of Information System Modeling and Design 1, no. 4 (2010): 48–76. http://dx.doi.org/10.4018/jismd.2010100103.

Full text
Abstract:
Model Driven Engineering (MDE) has been proposed for supporting the development, maintenance and evolution of software systems. Model Driven Architecture (MDA), Software Factories, and the Eclipse Modeling Framework (EMF) are representative MDE approaches. These MDE approaches have concepts and techniques in common such as modeling, metamodels, and model transformation. Today, it is well recognized that model transformation is the most important of MDE approaches and is one of the most important operations in MDE. Despite the multitude of model transformation language proposals emerging from u
APA, Harvard, Vancouver, ISO, and other styles
3

Varró, Dániel, Gergely Varró, and András Pataricza. "Designing the automatic transformation of visual languages." Science of Computer Programming 44, no. 2 (2002): 205–27. http://dx.doi.org/10.1016/s0167-6423(02)00039-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Mahmood, Hina, Atif Aftab Jilani, and Abdul Rauf. "Code Swarm: A Code Generation Tool based on the Automatic Derivation of Transformation Rule Set." International Journal of Software Engineering & Applications 14, no. 6 (2023): 01–11. http://dx.doi.org/10.5121/ijsea.2023.14601.

Full text
Abstract:
Automatic generation of software code from system design models remains an actively explored research area for the past several years. A number of tools are currently available to facilitate and automate the task of generating code from software models. To the best of our knowledge, existing software tools rely on an explicitly defined transformation rule set to perform the model-to-code transformation process. In this paper, we introduce a novel tool named Code Swarm, abbreviated as CodS, that automatically generates implementation code from system design models by utilizing a swarm-based app
APA, Harvard, Vancouver, ISO, and other styles
5

Lafi, Lamine, Jamel Feki, and Slimane Hammoudi. "Metamodel Matching Techniques." International Journal of Information System Modeling and Design 5, no. 2 (2014): 70–94. http://dx.doi.org/10.4018/ijismd.2014040104.

Full text
Abstract:
During the last decade, Model Driven Engineering (MDE) has been proposed for supporting the development, maintenance and evolution of software systems. Model Driven Architecture (MDA), Software Factories and Eclipse Modeling Framework (EMF) are among the most representatives MDE approaches. Nowadays, it is well recognized that model transformation is at the heart of MDE approaches and, consequently represents one of the most important operations in MDE. However, despite the multitude of model transformation language proposals emerging from academic world and industry, these transformations are
APA, Harvard, Vancouver, ISO, and other styles
6

Damouche, Nasrine, Matthieu Martel, and Alexandre Chapoutot. "Improving the numerical accuracy of programs by automatic transformation." International Journal on Software Tools for Technology Transfer 19, no. 4 (2016): 427–48. http://dx.doi.org/10.1007/s10009-016-0435-0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Panach, Jose, Sergio España, Inés Pederiva, and Óscar Pastor. "Capturing Interaction Requirements in a Model Transformation Technology Based on MDA." JUCS - Journal of Universal Computer Science 14, no. (9) (2008): 1480–95. https://doi.org/10.3217/jucs-014-09-1480.

Full text
Abstract:
Currently, many models are used to capture functional software requirements. However, the Software Engineering community has faded interaction requirements into the background, dealing with interface mainly in design time. A sound MDA-compliant software development methodology, called OO-Method, is extended in this work to bridge this gap. The issue is to define a methodology for capturing interaction requirements. For this purpose, the formal notation ConcurTaskTrees (CTT) is used. This notation is a technique that is well-known in the Human Computer Interaction community. A set of interactio
APA, Harvard, Vancouver, ISO, and other styles
8

Janulevicius, Justinas, Simona Ramanauskaite, Nikolaj Goranin, and Antanas Cenys. "Content Based Model Transformations: Solutions to Existing Issues with Application in Information Security." International Journal of Computers Communications & Control 11, no. 2 (2016): 233. http://dx.doi.org/10.15837/ijccc.2016.2.2021.

Full text
Abstract:
Model-Driven Engineering uses models in various stages of the software engineering. To reduce the cost of modelling and production, models are reused by transforming. Therefore the accuracy of model transformations plays a key role in ensuring the quality of the process. However, problems exist when trying to transform a very abstract and content dependent model. This paper describes the issues arising from such transformations. Solutions to solve problems in content based model transformation are proposed as well. The usage of proposed solutions allowing realization of semi-automatic transfor
APA, Harvard, Vancouver, ISO, and other styles
9

André, Pascal, and Mohammed El Amin Tebib. "Assistance in Model Driven Development: Toward an Automated Transformation Design Process." Complex Systems Informatics and Modeling Quarterly, no. 38 (April 30, 2024): 54–99. http://dx.doi.org/10.7250/csimq.2024-38.03.

Full text
Abstract:
Model driven engineering aims to shorten the development cycle by focusing on abstractions and partially automating code generation. We long lived in the myth of automatic Model Driven Development (MDD) with promising approaches, techniques, and tools. Describing models should be a main concern in software development as well as model verification and model transformation to get running applications from high level models. We revisit the subject of MDD through the prism of experimentation and open mindness. In this article, we explore assistance for the stepwise transition from the model to th
APA, Harvard, Vancouver, ISO, and other styles
10

Konevtsov, Vladimir Aleksandrovich, and Lilia Motaylenko. "NON-LINEAR TRANSFORMATION OF SIGNALS IN SOFTWARE DESIGN OF DIGITAL CONTROL SYSTEMS COMPLEX." Environment. Technology. Resources. Proceedings of the International Scientific and Practical Conference 3 (June 15, 2017): 140. http://dx.doi.org/10.17770/etr2017vol3.2537.

Full text
Abstract:
Dependencies between signals and dependence of signals on time are strictly non-linear. Non-linear elements, commonly used in the synthesis of automatic control systems, include: a two-point link, a two-point link with hysteresis, a three-point link, a three-point link with hysteresis, a module, saturation with insensitivity.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Automatic software transformation"

1

Serrano, Lucas. "Automatic inference of system software transformation rules from examples." Electronic Thesis or Diss., Sorbonne université, 2020. http://www.theses.fr/2020SORUS425.

Full text
Abstract:
Le noyau Linux est aujourd'hui présent dans tous les types de systèmes informatiques, des smartphones aux supercalculateurs, comprenant à la fois le matériel le plus récent et les systèmes "anciens". Cette diversité d'environnement a pour conséquence une base de code importante, d'une dizaine de millions de lignes de code, pour les pilotes matériels. Cependant par souci d'introduction de nouvelles fonctionnalités, ou pour des raisons de performance ou de sécurité, certaines interfaces de programmation (APIs) internes doivent être parfois revues, ce qui peut impliquer des changements pour des m
APA, Harvard, Vancouver, ISO, and other styles
2

Liang, Dong. "Automatic generation of software applications." Doctoral thesis, Technische Universitaet Bergakademie Freiberg Universitaetsbibliothek "Georgius Agricola", 2014. http://nbn-resolving.de/urn:nbn:de:bsz:105-qucosa-149742.

Full text
Abstract:
The Model Driven Architecture (MDA) allows moving the software development from the time consuming and error-prone level of writing program code to the next higher level of modeling. In order to gain benefit from this innovative technology, it is necessary to satisfy two requirements. These are first, the creation of compact, complete and correct platform independent models (PIM) and second, the development of a flexible and extensible model transformation framework taking into account frequent changes of the target platform. In this thesis a platform-based methodology is developed to create P
APA, Harvard, Vancouver, ISO, and other styles
3

Brown, Stephen Anthony. "Models for automatic diffrentiation : a conceptual framework for exploiting program transformation." Thesis, University of Hertfordshire, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.263028.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Couto, Emanuel Amaral. "Speculative execution by using software transactional memory." Master's thesis, FCT - UNL, 2009. http://hdl.handle.net/10362/2659.

Full text
Abstract:
Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática.<br>Many programs sequentially execute operations that take a long time to complete. Some of these operations may return a highly predictable result. If this is the case, speculative execution can improve the overall performance of the program. Speculative execution is the execution of code whose result may not be needed. Generally it is used as a performance optimization. Instead of waiting for the result of a costly operation,speculative ex
APA, Harvard, Vancouver, ISO, and other styles
5

Amer, Hoda. "Automatic transformation of UML software specification into LQN performance models using graph grammar techniques." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2001. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/MQ61015.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Dziak, Damian, Bartosz Jachimczyk, and Tomasz Jagusiak. "Automatic Waterjet Positioning Vision System." Thesis, Blekinge Tekniska Högskola, Sektionen för ingenjörsvetenskap, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-5047.

Full text
Abstract:
The goals of this work are a design and implementation of a new vision system, integrated with the waterjet machine. This system combines two commercial webcams applied on an industrial dedicated platform. A main purpose of the vision system is to detect the position and rotation of a workpiece placed on the machine table. The used object recognition algorithm consists of edge detection, standard math processing functions and noise filters. The Hough transform technique is used to extract lines and their intersections of a workpiece. Metric rectification method is used, in order to obtain a to
APA, Harvard, Vancouver, ISO, and other styles
7

Lubiński, Piotr. "Automatic Form-Factor Transformations of Web Pages and Web Services UIs." Thesis, Linköping University, Department of Computer and Information Science, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-19606.

Full text
Abstract:
<p>Browsing the Web on a distant screen may very often become user’s unpleasant experience. Such a situation may happen in a living room environment, where the user attempts to browse the Web on TV sitting at 10-foot distance from the screen. In a vast number of web sites that the user is able to request, many may contain, for instance, tiny text characters, which would become unreadable when watched from the distance. On the other hand, also navigation through the Web offerings can become troublesome. Especially, when the user is only equipped with the commonly used remote controller, interac
APA, Harvard, Vancouver, ISO, and other styles
8

Cohen, Albert. "Analyse et transformation de programmes: du modèle polyédrique aux langages formels." Phd thesis, Université de Versailles-Saint Quentin en Yvelines, 1999. http://tel.archives-ouvertes.fr/tel-00550829.

Full text
Abstract:
Les microprocesseurs et les architectures parallèles d'aujourd'hui lancent de nouveaux défis aux techniques de compilation. En présence de parallélisme, les optimisations deviennent trop spécifiques et complexes pour être laissées au soin du programmeur. Les techniques de parallélisation automatique dépassent le cadre traditionnel des applications numériques et abordent de nouveaux modèles de programmes, tels que les nids de boucles non affines, les appels récursifs et les structures de données dynamiques. Des analyses précises sont au c{\oe}ur de la détection du parallélisme, elles rassemblen
APA, Harvard, Vancouver, ISO, and other styles
9

Christoph, Alexander. "Automatische Transformation von Software-Modellen /." Norderstedt : Books on Demand, 2005. http://www.gbv.de/dms/ilmenau/toc/503792349.PDF.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Lin, Yuehua. "A model transformation approach to automated model evolution." Birmingham, Ala. : University of Alabama at Birmingham, 2007. http://www.mhsl.uab.edu/dt/2007p/lin.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Automatic software transformation"

1

Matinlassi, Mari. Quality-driven software architecture model transformation: Towards automation. VTT Technical Research Centre of Finland, 2006.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Brown, Laura. Integration models: Templates for business transformation. Sams, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Satdarova, Faina. DIFFRACTION ANALYSIS OF DEFORMED METALS: Theory, Methods, Programs. Academus Publishing, 2019. http://dx.doi.org/10.31519/monography_1598.

Full text
Abstract:
General analysis of the distribution of crystals orientation and dislocation density in the polycrystalline system is presented. &#x0D; Recovered information in diffraction of X-rays adopting is new to structure states of polycrystal. Shear phase transformations in metals — at the macroscopic and microscopic levels — become a clear process. &#x0D; Visualizing the advances is produced by program included in package delivered. Mathematical models developing, experimental design, optimal statistical estimation, simulation the system under study and evolution process on loading serves as instrumen
APA, Harvard, Vancouver, ISO, and other styles
4

Basu, Swapan. Plant Intelligent Automation and Digital Transformation: Control and Monitoring Hardware and Software. Elsevier, 2023.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Basu, Swapan. Plant Intelligent Automation and Digital Transformation: Control and Monitoring Hardware and Software. Elsevier, 2022.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Glassbrook, Alex. Advanced, Automated and Electric Vehicle Law. Bloomsbury Publishing Plc, 2024. http://dx.doi.org/10.5040/9781526516930.

Full text
Abstract:
‘A comprehensive and informative guide to the law, set in its historical and technical context, by an author with a deep understanding of transformative technology could not be more timely. I can think of no better guide in this field than Alex Glassbrook.’ From the Foreword by Mr Justice Sweeting The era of advanced, automated and electric vehicles (AAEVs) has begun; the legal transformation is starting. In July 2018, Parliament enacted the Automated and Electric Vehicles Act 2018, legislating for electric vehicle charging and allowing a direct civil claim against the motor insurer of an auto
APA, Harvard, Vancouver, ISO, and other styles
7

Hilgurt, S. Ya, and O. A. Chemerys. Reconfigurable signature-based information security tools of computer systems. PH “Akademperiodyka”, 2022. http://dx.doi.org/10.15407/akademperiodyka.458.297.

Full text
Abstract:
The book is devoted to the research and development of methods for combining computational structures for reconfigurable signature-based information protection tools for computer systems and networks in order to increase their efficiency. Network security tools based, among others, on such AI-based approaches as deep neural networking, despite the great progress shown in recent years, still suffer from nonzero recognition error probability. Even a low probability of such an error in a critical infrastructure can be disastrous. Therefore, signature-based recognition methods with their theoretic
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Automatic software transformation"

1

Nagl, Manfred. "Transformation from Requirements to Architectures is not Automatic." In Software Architectures. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-51335-0_11.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

García, Jokin, Oscar Diaz, and Maider Azanza. "Model Transformation Co-evolution: A Semi-automatic Approach." In Software Language Engineering. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-36089-3_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Zaitsev, Oleksandr, Stéphane Ducasse, Nicolas Anquetil, and Arnaud Thiefaine. "DepMiner: Automatic Recommendation of Transformation Rules for Method Deprecation." In Reuse and Software Quality. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-08129-3_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Strüber, Daniel, Julia Rubin, Thorsten Arendt, Marsha Chechik, Gabriele Taentzer, and Jennifer Plöger. "RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules." In Fundamental Approaches to Software Engineering. Springer Berlin Heidelberg, 2016. http://dx.doi.org/10.1007/978-3-662-49665-7_8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Steinhöfel, Dominic. "Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules." In Ernst Denert Award for Software Engineering 2020. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-83128-8_10.

Full text
Abstract:
AbstractLegacy systems are business-critical software systems whose failure can have a significant impact on the business. Yet, their maintenance and adaption to changed requirements consume a considerable amount of the total software development costs. Frequently, domain experts and developers involved in the original development are not available anymore, making it difficult to adapt a legacy system without introducing bugs or unwanted behavior. This results in a dilemma: businesses are reluctant to change a working system, while at the same time struggling with its high maintenance costs. We propose the concept of Structured Software Reengineering replacing the ad hoc forward engineering part of a reengineering process with the application of behavior-preserving, proven-correct transformations improving nonfunctional program properties. Such transformations preserve valuable business logic while improving properties such as maintainability, performance, or portability to new platforms. Manually encoding and proving such transformations for industrial programming languages, for example, in interactive proof assistants, is a major challenge requiring deep expert knowledge. Existing frameworks for automatically proving transformation rules have limited expressiveness and are restricted to particular target applications such as compilation or peep-hole optimizations. We present Abstract Execution, a specification and verification framework for statement-based program transformation rules on JAVA programs building on symbolic execution. Abstract Execution supports universal quantification over statements or expressions and addresses properties about the (big-step) behavior of programs. Since this class of properties is useful for a plethora of applications, Abstract Execution bridges the gap between expressiveness and automation. In many cases, fully automatic proofs are in possible. We explain REFINITY, a workbench for modeling and proving statement-level JAVA transformation rules, and discuss our applications of Abstract Execution to code refactoring, cost analysis of program transformations, and transformations reshaping programs for the application of parallel design patterns.
APA, Harvard, Vancouver, ISO, and other styles
6

Dong, Xin, Gene Cooperman, and John Apostolakis. "Multithreaded Geant4: Semi-automatic Transformation into Scalable Thread-Parallel Software." In Euro-Par 2010 - Parallel Processing. Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-15291-7_27.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Yang, Chen-Wei, Valeriy Vyatkin, and Victor Dubinin. "Automatic Generation of Cyber-Physical Software Applications Based on Physical to Cyber Transformation Using Ontologies." In Technological Innovation for Cyber-Physical Systems. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-31165-4_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Whittle, Jon. "Transformations and Software Modeling Languages: Automating Transformations in UML." In ≪UML≫ 2002 — The Unified Modeling Language. Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45800-x_19.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Perini, Anna, and Angelo Susi. "Automating Model Transformations in Agent-Oriented Modelling." In Agent-Oriented Software Engineering VI. Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11752660_13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Albert, Elvira, Reiner Hähnle, Alicia Merayo, and Dominic Steinhöfel. "Certified Abstract Cost Analysis." In Fundamental Approaches to Software Engineering. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-71500-7_2.

Full text
Abstract:
AbstractA program containing placeholders for unspecified statements or expressions is called an abstract (or schematic) program. Placeholder symbols occur naturally in program transformation rules, as used in refactoring, compilation, optimization, or parallelization. We present a generalization of automated cost analysis that can handle abstract programs and, hence, can analyze the impact on the cost of program transformations. This kind of relational property requires provably precise cost bounds which are not always produced by cost analysis. Therefore, we certify by deductive verification that the inferred abstract cost bounds are correct and sufficiently precise. It is the first approach solving this problem. Both, abstract cost analysis and certification, are based on quantitative abstract execution (QAE) which in turn is a variation of abstract execution, a recently developed symbolic execution technique for abstract programs. To realize QAE the new concept of a cost invariant is introduced. QAE is implemented and runs fully automatically on a benchmark set consisting of representative optimization rules.
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Automatic software transformation"

1

Bahrami, Fahimeh, Rodolfo Jordão, Ingo Sander, and George Ungureanu. "Automatic Parallelization of Embedded Software via Hierarchical Process Network Transformations." In 2024 Forum on Specification & Design Languages (FDL). IEEE, 2024. http://dx.doi.org/10.1109/fdl63219.2024.10673845.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Matsuo, Yusuke, Kiyoshi Ogasawara, and Atsushi Ohnishi. "Automatic transformation of organization of software requirements specifications." In 2010 Fourth International Conference on Research Challenges in Information Science (RCIS). IEEE, 2010. http://dx.doi.org/10.1109/rcis.2010.5507386.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Fredes, Daniel, Pablo Cruz, Francisca Medina, and Rodolfo Villarroel. "Automatic transformation applied to a software process using MDA." In the 7th Euro American Conference. ACM Press, 2014. http://dx.doi.org/10.1145/2590651.2590679.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Chang, Chih-Hung, Chih-Wei Lu, Wen Pin Yang, et al. "A SysML Based Requirement Modeling Automatic Transformation Approach." In 2014 IEEE 38th International Computer Software and Applications Conference Workshops (COMPSACW). IEEE, 2014. http://dx.doi.org/10.1109/compsacw.2014.80.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Ati, Adel. "An Automatic Transformation From COSA Software Architecture To EJB Platform." In Communication Technologies: from Theory to Applications (ICTTA). IEEE, 2008. http://dx.doi.org/10.1109/ictta.2008.4530341.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Alti, Adel, Mahieddine Djoudi, and Adel Smeda. "An automatic transformation from COSA software architecture to CORBA platform." In the 8th international conference. ACM Press, 2008. http://dx.doi.org/10.1145/1416729.1416771.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Prass, Fábio Sarturi, Lisandra Mazoni Fontoura, and Osmar Marchi dos Santos. "A Framework based on Security Patterns for Transformations." In Simpósio Brasileiro de Qualidade de Software. Sociedade Brasileira de Computação - SBC, 2012. http://dx.doi.org/10.5753/sbqs.2012.15325.

Full text
Abstract:
Security Patterns can be used in systems to protect shared data and information. They use the security specifications for controlling access to resources and prevent security violations. The increasing complexity of systems and the natural growth in the cost required to develop software, make the search for alternatives that can shorten the development effort becomes increasingly important. One of these initiatives is the MDA approach that allows modeling and application of transformations on the models in order to obtain the software in an automated way. Therefore, we propose a framework base
APA, Harvard, Vancouver, ISO, and other styles
8

Buisson, Jérémy, and Seidali Rehab. "Automatic Transformation from Ecore Metamodels towards Gallina Inductive Types." In 6th International Conference on Model-Driven Engineering and Software Development. SCITEPRESS - Science and Technology Publications, 2018. http://dx.doi.org/10.5220/0006608604880495.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Qiuyan, Li, Tian Jie, Pei Qiuhong, Wu Ji, and Liu Chao. "Automatic transformation technology from AADL model to UML model." In 2011 IEEE 3rd International Conference on Communication Software and Networks (ICCSN). IEEE, 2011. http://dx.doi.org/10.1109/iccsn.2011.6014264.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Zhang, Jinzhu, and Jiping Niu. "XML Text Data Automatic Analysis and Transformation with Tree Convertor." In 2008 International Conference on Computer Science and Software Engineering. IEEE, 2008. http://dx.doi.org/10.1109/csse.2008.1508.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Automatic software transformation"

1

Marsden, Eric, and Véronique Steyer. Artificial intelligence and safety management: an overview of key challenges. Foundation for an Industrial Safety Culture, 2025. https://doi.org/10.57071/iae290.

Full text
Abstract:
Artificial intelligence based on deep learning, along with big data analysis, has in recent years been the subject of rapid scientific and technological advances. These technologies are increasingly being integrated into various work environments with the aim of enhancing performance and productivity. This dimension of the digital transformation of businesses and regulatory authorities presents both significant opportunities and potential risks for industrial safety management practices. While there are numerous expected benefits, such as the ability to process large volumes of reliability dat
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!