Acceder

Bibliografías temáticas / Automatic software transformation / Tesis

Siga este enlace para ver otros tipos de publicaciones sobre el tema: Automatic software transformation.

Tesis sobre el tema "Automatic software transformation"

Autor: Grafiati

Publicado: 25 de mayo de 2024

Última modificación: 19 de julio de 2025

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

Elija tipo de fuente:

Consulte los 24 mejores tesis para su investigación 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.

Explore tesis sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

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.

11

Newman, Christian D. "A SOURCE CODE TRANSFORMATION LANGUAGE TO SUPPORT SOFTWARE EVOLUTION." Kent State University / OhioLINK, 2017. http://rave.ohiolink.edu/etdc/view?acc_num=kent1500560236029486.

Texto completo

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

12

Newman, Christian D. "NORMALIZING-REFACTORINGS: SIMPLIFYING THE CONSTRUCTION OF SOURCE CODE TRANSFORMATIONS." Kent State University / OhioLINK, 2013. http://rave.ohiolink.edu/etdc/view?acc_num=kent1385057030.

Texto completo

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

13

Shah, Seyyed Madasar Ali. "Model transformation dependability evaluation by the automated creation of model generators." Thesis, University of Birmingham, 2012. http://etheses.bham.ac.uk//id/eprint/3407/.

Texto completo

Resumen

This thesis is on the automatic creation of model generators to assist the validation of model transformations. The model driven software development methodology advocates models as the main artefact to represent software during development. Such models are automatically converted, by transformation tools, to apply in different stages of development. In one application of the method, it becomes possible to synthesise software implementations from design models. However, the transformations used to convert models are man-made, and so prone to development error. An error in a transformation can

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

14

Oskarsson, Andreas. "Efficient transformation from general flow into a specific test case in an automated testing environment." Thesis, Blekinge Tekniska Högskola, Institutionen för programvaruteknik och datavetenskap, 2003. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-3718.

Texto completo

Resumen

SIMON is an automated testing application developed by WM-Data Consulting in Växjö, Sweden. Previously the test cases, called BIFs, run by SIMON to test the applications under test has been written manually in a very time consuming manner offering no protection against errors in the structure or misspellings. This thesis investigates a replacement to the manual method when creating the BIFs; my own developed application called the BIF-Editor. The usage of the BIF-Editor guaranteed correct syntax and structure and made the creation of the BIFs faster, but did it increase the quality of the BIFs

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

15

Swamy, Sneha. "Transformation of Object-Oriented Associations and Embedded References to Them." Wright State University / OhioLINK, 2008. http://rave.ohiolink.edu/etdc/view?acc_num=wright1218692829.

Texto completo

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

16

Bowers, Gregory Arland. "Chemical Applications in Techniques of Emerging Significance: Nanoparticle Transformation in Mitochondria and Relative Tautomer Populations in Cellular Automata." Wright State University / OhioLINK, 2017. http://rave.ohiolink.edu/etdc/view?acc_num=wright1516085869626903.

Texto completo

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

17

Doni, Pracner. "Translation and Transformation of Low Level Programs." Phd thesis, Univerzitet u Novom Sadu, Prirodno-matematički fakultet u Novom Sadu, 2019. https://www.cris.uns.ac.rs/record.jsf?recordId=110184&source=NDLTD&language=en.

Texto completo

Resumen

This thesis presents an approach for working with low level source code that enables automatic restructuring and raising the abstraction level of the programs. This makes it easier to understand the logic of the program, which in turn reduces the development time.The process in this thesis was designed to be flexible and consists of several independent tools. This makes the process easy to adapt as needed, while at the same time the developed tools can be used for other processes. There are usually two basic steps. First is the translation to WSL language, which has a great number of semantic

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

18

Garchery, Quentin. "Certification de la transformation de tâches de preuve." Electronic Thesis or Diss., université Paris-Saclay, 2022. http://www.theses.fr/2022UPASG006.

Texto completo

Resumen

De nombreux prouveurs et outils de vérification font un usage instensif des transformations logiques afin de ramener un problème exprimé sous la forme d'une tâche de preuve à un certain nombre de tâches de preuve plus simples à valider. Les transformations font souvent partie de la base de confiance de l'outil de vérification. Cette thèse a pour objectif de renforcer la confiance accordée aux transformations logiques. Les transformations sont instrumentées pour produire des certificats puis ceux-ci sont vérifiés par un outil externe: c'est l'approche sceptique. De ce fait, notre méthode est in

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

19

Заковоротный, Александр Юрьевич. "Синтез автоматизированной системы управления подвижным составом на основе геометрической теории управления и нейронных сетей". Thesis, НТУ "ХПИ", 2017. http://repository.kpi.kharkov.ua/handle/KhPI-Press/28330.

Texto completo

Resumen

Диссертация на соискание ученой степени доктора технических наук по специальности 05.13.07 – автоматизация процессов управления. – Национальный технический университет "Харьковский политехнический институт", Харьков, 2017. Диссертация посвящена решению научно-прикладной проблемы разработки бортовой системы поддержки принятия решений машинистом, созданной на основе обобщенных математических моделей и средств оптимизации динамики подвижных объектов с использованием новых методов и программного обеспечения, а также новой технологии обработки информации на основе стабильно-пластичных нейронных се

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

20

Заковоротний, Олександр Юрійович. "Синтез автоматизованої системи управління рухомим складом на основі геометричної теорії керування та нейронних мереж". Thesis, НТУ "ХПІ", 2017. http://repository.kpi.kharkov.ua/handle/KhPI-Press/28327.

Texto completo

Resumen

Дисертація на здобуття наукового ступеня доктора технічних наук за спеціальністю 05.13.07 – автоматизація процесів керування. – Національний технічний університет "Харківський політехнічний інститут", Харків, 2017. Дисертація присвячена вирішенню науково-прикладної проблеми розробки бортової системи підтримки прийняття рішень машиністом, що створена на основі узагальнених математичних моделей та засобів оптимізації динаміки рухомих об'єктів з використанням нових методів та програмного забезпечення, а також нової технології обробки інформації на основі стабільно-пластичних нейронних мереж та но

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

21

Liang, Dong. "Automatic generation of software applications: a platform-based MDA approach." Doctoral thesis, 2013. https://tubaf.qucosa.de/id/qucosa%3A22931.

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.

22

ZHAO, XULIN. "A BUSINESS PROCESS DRIVEN APPROACH FOR AUTOMATIC GENERATION OF BUSINESS APPLICATIONS." Thesis, 2011. http://hdl.handle.net/1974/6296.

Texto completo

Resumen

Business processes describe a set of tasks for accomplishing business objectives of an organization. Business applications automate business processes to improve the productivity of business users. Nowadays, the business environment changes fast due to rapid market growth and technological innovations. Business processes are continuously updated to reflect new business initiatives. Business applications are frequently evolved to add features to meet new requirements and fix defects. Quite often, business processes and business applications evolve independently without direct reference to each

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

23

Marker, Bryan Andrew. "Design by transformation : from domain knowledge to optimized program generation." Thesis, 2014. http://hdl.handle.net/2152/24738.

Texto completo

Resumen

Expert design knowledge is essential to develop a library of high-performance software. This includes how to implement and parallelize domain operations, how to optimize implementations, and estimates of which implementation choices are best. An expert repeatedly applies his knowledge, often in a rote and tedious way, to develop all of the related functionality expected from a domain-specific library. Expert knowledge is hard to gain and is easily lost over time when an expert forgets or when a new engineer starts developing code. The domain of dense linear algebra (DLA) is a prime example wit

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

24

CARNEVALI, LAURA. "Formal methods in the development life cycle of real-time software." Doctoral thesis, 2010. http://hdl.handle.net/2158/521924.

Texto completo

Resumen

Preemptive Time Petri Nets (pTPNs) support modeling and analysis of concurrent timed software components running under fixed priority preemptive scheduling. The model is supported by a well established theory based on symbolic state-space analysis through Difference Bounds Matrix (DBM), with specific contributions on compositional modularization, trace analysis, and efficient over-approximation and clean-up in the management of suspension deriving from preemptive behavior. The aim of this dissertation is to devise and implement a framework that brings the theory to application. To this

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

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!