Bibliografías temáticas / Automatic software transformation

Índice

  1. Artículos de revistas
  2. Tesis
  3. Libros
  4. Capítulos de libros
  5. Actas de conferencias
  6. Informes

Literatura académica sobre el tema "Automatic software transformation"

Autor: Grafiati
Publicado: 25 de mayo de 2024
Última modificación: 31 de julio de 2025

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Automatic software transformation".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Artículos de revistas sobre el tema "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.

Texto completo
Resumen
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
Los estilos 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.

Texto completo
Resumen
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
Los estilos 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.

Texto completo
Los estilos 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.

Texto completo
Resumen
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
Los estilos 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.

Texto completo
Resumen
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
Los estilos 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.

Texto completo
Los estilos 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.

Texto completo
Resumen
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
Los estilos 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.

Texto completo
Resumen
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
Los estilos 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.

Texto completo
Resumen
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
Los estilos 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.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Tesis sobre el tema "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.

Texto completo
Resumen
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
Los estilos 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.

Texto completo
Resumen
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
Los estilos 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.

Texto completo
Los estilos 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.

Texto completo
Resumen
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
Los estilos 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.

Texto completo
Los estilos 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.

Texto completo
Resumen
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
Los estilos 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.

Texto completo
Resumen
<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
Los estilos 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.

Texto completo
Resumen
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
Los estilos 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.

Texto completo
Los estilos 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Libros sobre el tema "Automatic software transformation"

1

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

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

Buscar texto completo
Los estilos 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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

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

Buscar texto completo
Los estilos 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.

Texto completo
Resumen
‘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
Los estilos 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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.

Capítulos de libros sobre el tema "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.

Texto completo
Los estilos 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.

Texto completo
Los estilos 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.

Texto completo
Los estilos 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.

Texto completo
Los estilos 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.

Texto completo
Resumen
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
Los estilos 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.

Texto completo
Los estilos 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.

Texto completo
Los estilos 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.

Texto completo
Los estilos 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.

Texto completo
Los estilos 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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.

Actas de conferencias sobre el tema "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.

Texto completo
Los estilos 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.

Texto completo
Los estilos 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.

Texto completo
Los estilos 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.

Texto completo
Los estilos 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.

Texto completo
Los estilos 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.

Texto completo
Los estilos 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.

Texto completo
Resumen
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
Los estilos 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.

Texto completo
Los estilos 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.

Texto completo
Los estilos 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.

Informes sobre el tema "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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías ampliadas sobre el tema "Automatic software transformation" para tipos de fuentes particulares:
Artículos de revistas Tesis
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía