Littérature scientifique sur le sujet « Automatic software transformation »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
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"
Vákár, Matthijs, et Tom Smeding. « CHAD : Combinatory Homomorphic Automatic Differentiation ». ACM Transactions on Programming Languages and Systems 44, no 3 (30 septembre 2022) : 1–49. http://dx.doi.org/10.1145/3527634.
Texte intégralHammoudi, Slimane, Wajih Alouini, Denivaldo Lopes et Marianne Huchard. « Towards A Semi-Automatic Transformation Process in MDA ». International Journal of Information System Modeling and Design 1, no 4 (octobre 2010) : 48–76. http://dx.doi.org/10.4018/jismd.2010100103.
Texte intégralVarró, Dániel, Gergely Varró et András Pataricza. « Designing the automatic transformation of visual languages ». Science of Computer Programming 44, no 2 (août 2002) : 205–27. http://dx.doi.org/10.1016/s0167-6423(02)00039-4.
Texte intégralMahmood, Hina, Atif Aftab Jilani et 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 (29 novembre 2023) : 01–11. http://dx.doi.org/10.5121/ijsea.2023.14601.
Texte intégralDamouche, Nasrine, Matthieu Martel et Alexandre Chapoutot. « Improving the numerical accuracy of programs by automatic transformation ». International Journal on Software Tools for Technology Transfer 19, no 4 (26 septembre 2016) : 427–48. http://dx.doi.org/10.1007/s10009-016-0435-0.
Texte intégralLafi, Lamine, Jamel Feki et Slimane Hammoudi. « Metamodel Matching Techniques ». International Journal of Information System Modeling and Design 5, no 2 (avril 2014) : 70–94. http://dx.doi.org/10.4018/ijismd.2014040104.
Texte intégralJanulevicius, Justinas, Simona Ramanauskaite, Nikolaj Goranin et Antanas Cenys. « Content Based Model Transformations : Solutions to Existing Issues with Application in Information Security ». International Journal of Computers Communications & ; Control 11, no 2 (26 janvier 2016) : 233. http://dx.doi.org/10.15837/ijccc.2016.2.2021.
Texte intégralKonevtsov, Vladimir Aleksandrovich, et 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 (15 juin 2017) : 140. http://dx.doi.org/10.17770/etr2017vol3.2537.
Texte intégralVree, Willem G., et Pieter H. Hartel. « Communication lifting : fixed point computation for parallelism ». Journal of Functional Programming 5, no 4 (octobre 1995) : 549–81. http://dx.doi.org/10.1017/s0956796800001477.
Texte intégralThangaraj, Jagadeeswaran, et Senthilkumaran Ulaganathan. « A Comparative Study on Transformation of UML/OCL to Other Specifications ». Recent Advances in Computer Science and Communications 13, no 2 (3 juin 2020) : 256–64. http://dx.doi.org/10.2174/2213275912666190129121059.
Texte intégralThèses sur le sujet "Automatic software transformation"
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égralThe Linux kernel is present today in all kinds of computing environments, from smartphones to supercomputers, including both the latest hardware and "ancient" systems. This multiplicity of environments has come at the expense of a large code size, of approximately ten million lines of code, dedicated to device drivers. However, to add new functionalities, or for performance or security reasons, some internal Application Programming Interfaces (APIs) can be redesigned, triggering the need for changes of potentially thousands of drivers using them.This thesis proposes a novel approach, Spinfer, that can automatically perform these API usage updates. This new approach, based on pattern assembly constrained by control-flow relationships, can learn transformation rules from even imperfect examples. Learned rules are suitable for the challenges found in Linux kernel API usage updates
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égralBrown, 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égralCouto, Emanuel Amaral. « Speculative execution by using software transactional memory ». Master's thesis, FCT - UNL, 2009. http://hdl.handle.net/10362/2659.
Texte intégralMany 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 execution can be used to speculate the operation most probable result and continue executing based in this speculation. If later the speculation is confirmed to be correct, time had been gained. Otherwise, if the speculation is incorrect, the execution based in the speculation must abort and re-execute with the correct result. In this dissertation we propose the design of an abstract process to add speculative execution to a program by doing source-to-source transformation. This abstract process is used in the definition of a mechanism and methodology that enable programmer to add speculative execution to the source code of programs. The abstract process is also used in the design of an automatic source-to-source transformation process that adds speculative execution to existing programs without user intervention. Finally, we also evaluate the performance impact of introducing speculative execution in database clients. Existing proposals for the design of mechanisms to add speculative execution lacked portability in favor of performance. Some were designed to be implemented at kernel or hardware level. The process and mechanisms we propose in this dissertation can add speculative execution to the source of program, independently of the kernel or hardware that is used. From our experiments we have concluded that database clients can improve their performance by using speculative execution. There is nothing in the system we propose that limits in the scope of database clients. Although this was the scope of the case study, we strongly believe that other programs can benefit from the proposed process and mechanisms for introduction of speculative execution.
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égralDziak, Damian, Bartosz Jachimczyk et 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égralLubiń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égralBrowsing 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, interaction with the displayed content may prove inefficient. Therefore, methods to overcome content visibility and navigation problems become challenging. In this thesis we perceive living room environment as a good scenario, in which web-enabled handheld devices could further be utilized to interact with Consumer Electronics products, such as TVs. This sort of interaction should make an advantage of publically available Web resources to have them displayed on TV and controlled from the distance by the user who is equipped with, for instance, a web-enabled mobile phone. We think that such an interaction approach would become beneficial in several ways, making the Web browsing routine an interactive, possibly a group activity. Discussed in this thesis solutions are the first step of automatic transformations of web content into a form that can be rendered on Web4CE (Web for Consumer Electronics) products. A particularly important aspect of the proposed system is the concept of request/response HTTP message processing and HTML modification. According to this approach, living room browsing activity should be achievable without the need to re-author already existing web sites.
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égralChristoph, Alexander. « Automatische Transformation von Software-Modellen / ». Norderstedt : Books on Demand, 2005. http://www.gbv.de/dms/ilmenau/toc/503792349.PDF.
Texte intégralLin, 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égralLivres sur le sujet "Automatic software transformation"
Matinlassi, Mari. Quality-driven software architecture model transformation : Towards automation. [Espoo, Finland] : VTT Technical Research Centre of Finland, 2006.
Trouver le texte intégralBrown, Laura. Integration models : Templates for business transformation. [Indianapolis, IN] : Sams, 2000.
Trouver le texte intégralSatdarova, Faina. DIFFRACTION ANALYSIS OF DEFORMED METALS : Theory, Methods, Programs. xxu : Academus Publishing, 2019. http://dx.doi.org/10.31519/monography_1598.
Texte intégralBasu, Swapan. Plant Intelligent Automation and Digital Transformation : Control and Monitoring Hardware and Software. Elsevier, 2023.
Trouver le texte intégralBasu, Swapan. Plant Intelligent Automation and Digital Transformation : Control and Monitoring Hardware and Software. Elsevier, 2022.
Trouver le texte intégralGlassbrook, Alex. Advanced, Automated and Electric Vehicle Law. Bloomsbury Publishing Plc, 2024. http://dx.doi.org/10.5040/9781526516930.
Texte intégralIntegration Models : Templates for Business Transformation. Sams, 2000.
Trouver le texte intégralHilgurt, S. Ya, et 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égralChapitres de livres sur le sujet "Automatic software transformation"
Nagl, Manfred. « Transformation from Requirements to Architectures is not Automatic ». Dans Software Architectures, 221–48. Cham : Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-51335-0_11.
Texte intégralGarcía, Jokin, Oscar Diaz et Maider Azanza. « Model Transformation Co-evolution : A Semi-automatic Approach ». Dans Software Language Engineering, 144–63. Berlin, Heidelberg : Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-36089-3_9.
Texte intégralZaitsev, Oleksandr, Stéphane Ducasse, Nicolas Anquetil et Arnaud Thiefaine. « DepMiner : Automatic Recommendation of Transformation Rules for Method Deprecation ». Dans Reuse and Software Quality, 22–37. Cham : Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-08129-3_2.
Texte intégralStrüber, Daniel, Julia Rubin, Thorsten Arendt, Marsha Chechik, Gabriele Taentzer et Jennifer Plöger. « RuleMerger : Automatic Construction of Variability-Based Model Transformation Rules ». Dans Fundamental Approaches to Software Engineering, 122–40. Berlin, Heidelberg : Springer Berlin Heidelberg, 2016. http://dx.doi.org/10.1007/978-3-662-49665-7_8.
Texte intégralSteinhöfel, Dominic. « Ever Change a Running System : Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules ». Dans Ernst Denert Award for Software Engineering 2020, 197–226. Cham : Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-83128-8_10.
Texte intégralDong, Xin, Gene Cooperman et John Apostolakis. « Multithreaded Geant4 : Semi-automatic Transformation into Scalable Thread-Parallel Software ». Dans Euro-Par 2010 - Parallel Processing, 287–303. Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-15291-7_27.
Texte intégralYang, Chen-Wei, Valeriy Vyatkin et Victor Dubinin. « Automatic Generation of Cyber-Physical Software Applications Based on Physical to Cyber Transformation Using Ontologies ». Dans Technological Innovation for Cyber-Physical Systems, 37–45. Cham : Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-31165-4_4.
Texte intégralWhittle, Jon. « Transformations and Software Modeling Languages : Automating Transformations in UML ». Dans ≪UML≫ 2002 — The Unified Modeling Language, 227–42. Berlin, Heidelberg : Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45800-x_19.
Texte intégralPerini, Anna, et Angelo Susi. « Automating Model Transformations in Agent-Oriented Modelling ». Dans Agent-Oriented Software Engineering VI, 167–78. Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11752660_13.
Texte intégralAlbert, Elvira, Reiner Hähnle, Alicia Merayo et Dominic Steinhöfel. « Certified Abstract Cost Analysis ». Dans Fundamental Approaches to Software Engineering, 24–45. Cham : Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-71500-7_2.
Texte intégralActes de conférences sur le sujet "Automatic software transformation"
Matsuo, Yusuke, Kiyoshi Ogasawara et Atsushi Ohnishi. « Automatic transformation of organization of software requirements specifications ». Dans 2010 Fourth International Conference on Research Challenges in Information Science (RCIS). IEEE, 2010. http://dx.doi.org/10.1109/rcis.2010.5507386.
Texte intégralFredes, Daniel, Pablo Cruz, Francisca Medina et Rodolfo Villarroel. « Automatic transformation applied to a software process using MDA ». Dans the 7th Euro American Conference. New York, New York, USA : ACM Press, 2014. http://dx.doi.org/10.1145/2590651.2590679.
Texte intégralChang, Chih-Hung, Chih-Wei Lu, Wen Pin Yang, William Cheng-Chung Chu, Chao-Tung Yang, Ching-Tsorng Tsai et Pao-Ann Hsiung. « A SysML Based Requirement Modeling Automatic Transformation Approach ». Dans 2014 IEEE 38th International Computer Software and Applications Conference Workshops (COMPSACW). IEEE, 2014. http://dx.doi.org/10.1109/compsacw.2014.80.
Texte intégralAti, Adel. « An Automatic Transformation From COSA Software Architecture To EJB Platform ». Dans Communication Technologies : from Theory to Applications (ICTTA). IEEE, 2008. http://dx.doi.org/10.1109/ictta.2008.4530341.
Texte intégralAlti, Adel, Mahieddine Djoudi et Adel Smeda. « An automatic transformation from COSA software architecture to CORBA platform ». Dans the 8th international conference. New York, New York, USA : ACM Press, 2008. http://dx.doi.org/10.1145/1416729.1416771.
Texte intégralPrass, Fábio Sarturi, Lisandra Mazoni Fontoura et Osmar Marchi dos Santos. « A Framework based on Security Patterns for Transformations ». Dans 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égralBuisson, Jérémy, et Seidali Rehab. « Automatic Transformation from Ecore Metamodels towards Gallina Inductive Types ». Dans 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égralQiuyan, Li, Tian Jie, Pei Qiuhong, Wu Ji et Liu Chao. « Automatic transformation technology from AADL model to UML model ». Dans 2011 IEEE 3rd International Conference on Communication Software and Networks (ICCSN). IEEE, 2011. http://dx.doi.org/10.1109/iccsn.2011.6014264.
Texte intégralZhang, Jinzhu, et Jiping Niu. « XML Text Data Automatic Analysis and Transformation with Tree Convertor ». Dans 2008 International Conference on Computer Science and Software Engineering. IEEE, 2008. http://dx.doi.org/10.1109/csse.2008.1508.
Texte intégralAvazpour, Iman, John Grundy et Lars Grunske. « Tool support for automatic model transformation specification using concrete visualisations ». Dans 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE). IEEE, 2013. http://dx.doi.org/10.1109/ase.2013.6693141.
Texte intégral