Bibliographies thématiques / Automatic software transformation

Sommaire

  1. Articles de revues
  2. Thèses
  3. Livres
  4. Chapitres de livres
  5. Actes de conférences
  6. Rapports d'organisations

Littérature scientifique sur le sujet « Automatic software transformation »

Auteur : Grafiati
Publié le 25 mai 2024
Mis à jour le 31 juillet 2025

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Automatic software transformation ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Articles de revues sur le sujet "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.

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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.
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Thèses sur le sujet "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.

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

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

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
<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
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
9

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Livres sur le sujet "Automatic software transformation"

1

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

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

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

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

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

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
4

Haffner, Oto. Strojové videnie pre Industry 4.0. SPEKTRUM Publishing, 2025. https://doi.org/10.61544/hfqq2206.

Texte intégral
Résumé :
This university textbook provides a comprehensive overview of machine vision as a key technology in the context of Industry 4.0 and its practical applications in industry. Machine vision, as a multidisciplinary field, integrates knowledge from optics, electronics, computer science, and automation, enabling the development of advanced systems for automated control and monitoring of production processes. The publication is aimed at broadening the knowledge and skills of students and professionals interested in the digitalization and automation of production systems using modern sensor technologi
Styles APA, Harvard, Vancouver, ISO, etc.
5

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

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

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

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

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

Texte intégral
Résumé :
‘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
Styles APA, Harvard, Vancouver, ISO, etc.
8

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.

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.

Chapitres de livres sur le sujet "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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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. W
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.

Actes de conférences sur le sujet "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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.

Rapports d'organisations sur le sujet "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.

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
Vous pouvez également être intéressé par les bibliographies sur le sujet « Automatic software transformation » pour d’autres types de sources :
Articles de revues Thèses
Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!

Vers la bibliographie