Gotowa bibliografia na temat „Automatic software transformation”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Spis treści
Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Automatic software transformation”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Artykuły w czasopismach na temat "Automatic software transformation"
Vákár, Matthijs, i Tom Smeding. "CHAD: Combinatory Homomorphic Automatic Differentiation". ACM Transactions on Programming Languages and Systems 44, nr 3 (30.09.2022): 1–49. http://dx.doi.org/10.1145/3527634.
Pełny tekst źródłaHammoudi, Slimane, Wajih Alouini, Denivaldo Lopes i Marianne Huchard. "Towards A Semi-Automatic Transformation Process in MDA". International Journal of Information System Modeling and Design 1, nr 4 (październik 2010): 48–76. http://dx.doi.org/10.4018/jismd.2010100103.
Pełny tekst źródłaVarró, Dániel, Gergely Varró i András Pataricza. "Designing the automatic transformation of visual languages". Science of Computer Programming 44, nr 2 (sierpień 2002): 205–27. http://dx.doi.org/10.1016/s0167-6423(02)00039-4.
Pełny tekst źródłaMahmood, Hina, Atif Aftab Jilani i Abdul Rauf. "Code Swarm: A Code Generation Tool based on the Automatic Derivation of Transformation Rule Set". International Journal of Software Engineering & Applications 14, nr 6 (29.11.2023): 01–11. http://dx.doi.org/10.5121/ijsea.2023.14601.
Pełny tekst źródłaDamouche, Nasrine, Matthieu Martel i Alexandre Chapoutot. "Improving the numerical accuracy of programs by automatic transformation". International Journal on Software Tools for Technology Transfer 19, nr 4 (26.09.2016): 427–48. http://dx.doi.org/10.1007/s10009-016-0435-0.
Pełny tekst źródłaLafi, Lamine, Jamel Feki i Slimane Hammoudi. "Metamodel Matching Techniques". International Journal of Information System Modeling and Design 5, nr 2 (kwiecień 2014): 70–94. http://dx.doi.org/10.4018/ijismd.2014040104.
Pełny tekst źródłaJanulevicius, Justinas, Simona Ramanauskaite, Nikolaj Goranin i Antanas Cenys. "Content Based Model Transformations: Solutions to Existing Issues with Application in Information Security". International Journal of Computers Communications & Control 11, nr 2 (26.01.2016): 233. http://dx.doi.org/10.15837/ijccc.2016.2.2021.
Pełny tekst źródłaKonevtsov, Vladimir Aleksandrovich, i 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.06.2017): 140. http://dx.doi.org/10.17770/etr2017vol3.2537.
Pełny tekst źródłaVree, Willem G., i Pieter H. Hartel. "Communication lifting: fixed point computation for parallelism". Journal of Functional Programming 5, nr 4 (październik 1995): 549–81. http://dx.doi.org/10.1017/s0956796800001477.
Pełny tekst źródłaThangaraj, Jagadeeswaran, i Senthilkumaran Ulaganathan. "A Comparative Study on Transformation of UML/OCL to Other Specifications". Recent Advances in Computer Science and Communications 13, nr 2 (3.06.2020): 256–64. http://dx.doi.org/10.2174/2213275912666190129121059.
Pełny tekst źródłaRozprawy doktorskie na temat "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.
Pełny tekst źródłaThe 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.
Pełny tekst źródłaBrown, 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.
Pełny tekst źródłaCouto, Emanuel Amaral. "Speculative execution by using software transactional memory". Master's thesis, FCT - UNL, 2009. http://hdl.handle.net/10362/2659.
Pełny tekst źródłaMany 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.
Pełny tekst źródłaDziak, Damian, Bartosz Jachimczyk i 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.
Pełny tekst źródłaLubiń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.
Pełny tekst źródłaBrowsing 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.
Pełny tekst źródłaChristoph, Alexander. "Automatische Transformation von Software-Modellen /". Norderstedt : Books on Demand, 2005. http://www.gbv.de/dms/ilmenau/toc/503792349.PDF.
Pełny tekst źródłaLin, 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.
Pełny tekst źródłaKsiążki na temat "Automatic software transformation"
Matinlassi, Mari. Quality-driven software architecture model transformation: Towards automation. [Espoo, Finland]: VTT Technical Research Centre of Finland, 2006.
Znajdź pełny tekst źródłaBrown, Laura. Integration models: Templates for business transformation. [Indianapolis, IN]: Sams, 2000.
Znajdź pełny tekst źródłaSatdarova, Faina. DIFFRACTION ANALYSIS OF DEFORMED METALS: Theory, Methods, Programs. xxu: Academus Publishing, 2019. http://dx.doi.org/10.31519/monography_1598.
Pełny tekst źródłaBasu, Swapan. Plant Intelligent Automation and Digital Transformation: Control and Monitoring Hardware and Software. Elsevier, 2023.
Znajdź pełny tekst źródłaBasu, Swapan. Plant Intelligent Automation and Digital Transformation: Control and Monitoring Hardware and Software. Elsevier, 2022.
Znajdź pełny tekst źródłaGlassbrook, Alex. Advanced, Automated and Electric Vehicle Law. Bloomsbury Publishing Plc, 2024. http://dx.doi.org/10.5040/9781526516930.
Pełny tekst źródłaIntegration Models: Templates for Business Transformation. Sams, 2000.
Znajdź pełny tekst źródłaHilgurt, S. Ya, i O. A. Chemerys. Reconfigurable signature-based information security tools of computer systems. PH “Akademperiodyka”, 2022. http://dx.doi.org/10.15407/akademperiodyka.458.297.
Pełny tekst źródłaCzęści książek na temat "Automatic software transformation"
Nagl, Manfred. "Transformation from Requirements to Architectures is not Automatic". W Software Architectures, 221–48. Cham: Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-51335-0_11.
Pełny tekst źródłaGarcía, Jokin, Oscar Diaz i Maider Azanza. "Model Transformation Co-evolution: A Semi-automatic Approach". W Software Language Engineering, 144–63. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-36089-3_9.
Pełny tekst źródłaZaitsev, Oleksandr, Stéphane Ducasse, Nicolas Anquetil i Arnaud Thiefaine. "DepMiner: Automatic Recommendation of Transformation Rules for Method Deprecation". W Reuse and Software Quality, 22–37. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-08129-3_2.
Pełny tekst źródłaStrüber, Daniel, Julia Rubin, Thorsten Arendt, Marsha Chechik, Gabriele Taentzer i Jennifer Plöger. "RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules". W 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.
Pełny tekst źródłaSteinhöfel, Dominic. "Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules". W 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.
Pełny tekst źródłaDong, Xin, Gene Cooperman i John Apostolakis. "Multithreaded Geant4: Semi-automatic Transformation into Scalable Thread-Parallel Software". W 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.
Pełny tekst źródłaYang, Chen-Wei, Valeriy Vyatkin i Victor Dubinin. "Automatic Generation of Cyber-Physical Software Applications Based on Physical to Cyber Transformation Using Ontologies". W 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.
Pełny tekst źródłaWhittle, Jon. "Transformations and Software Modeling Languages: Automating Transformations in UML". W ≪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.
Pełny tekst źródłaPerini, Anna, i Angelo Susi. "Automating Model Transformations in Agent-Oriented Modelling". W Agent-Oriented Software Engineering VI, 167–78. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11752660_13.
Pełny tekst źródłaAlbert, Elvira, Reiner Hähnle, Alicia Merayo i Dominic Steinhöfel. "Certified Abstract Cost Analysis". W Fundamental Approaches to Software Engineering, 24–45. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-71500-7_2.
Pełny tekst źródłaStreszczenia konferencji na temat "Automatic software transformation"
Matsuo, Yusuke, Kiyoshi Ogasawara i Atsushi Ohnishi. "Automatic transformation of organization of software requirements specifications". W 2010 Fourth International Conference on Research Challenges in Information Science (RCIS). IEEE, 2010. http://dx.doi.org/10.1109/rcis.2010.5507386.
Pełny tekst źródłaFredes, Daniel, Pablo Cruz, Francisca Medina i Rodolfo Villarroel. "Automatic transformation applied to a software process using MDA". W the 7th Euro American Conference. New York, New York, USA: ACM Press, 2014. http://dx.doi.org/10.1145/2590651.2590679.
Pełny tekst źródłaChang, Chih-Hung, Chih-Wei Lu, Wen Pin Yang, William Cheng-Chung Chu, Chao-Tung Yang, Ching-Tsorng Tsai i Pao-Ann Hsiung. "A SysML Based Requirement Modeling Automatic Transformation Approach". W 2014 IEEE 38th International Computer Software and Applications Conference Workshops (COMPSACW). IEEE, 2014. http://dx.doi.org/10.1109/compsacw.2014.80.
Pełny tekst źródłaAti, Adel. "An Automatic Transformation From COSA Software Architecture To EJB Platform". W Communication Technologies: from Theory to Applications (ICTTA). IEEE, 2008. http://dx.doi.org/10.1109/ictta.2008.4530341.
Pełny tekst źródłaAlti, Adel, Mahieddine Djoudi i Adel Smeda. "An automatic transformation from COSA software architecture to CORBA platform". W the 8th international conference. New York, New York, USA: ACM Press, 2008. http://dx.doi.org/10.1145/1416729.1416771.
Pełny tekst źródłaPrass, Fábio Sarturi, Lisandra Mazoni Fontoura i Osmar Marchi dos Santos. "A Framework based on Security Patterns for Transformations". W Simpósio Brasileiro de Qualidade de Software. Sociedade Brasileira de Computação - SBC, 2012. http://dx.doi.org/10.5753/sbqs.2012.15325.
Pełny tekst źródłaBuisson, Jérémy, i Seidali Rehab. "Automatic Transformation from Ecore Metamodels towards Gallina Inductive Types". W 6th International Conference on Model-Driven Engineering and Software Development. SCITEPRESS - Science and Technology Publications, 2018. http://dx.doi.org/10.5220/0006608604880495.
Pełny tekst źródłaQiuyan, Li, Tian Jie, Pei Qiuhong, Wu Ji i Liu Chao. "Automatic transformation technology from AADL model to UML model". W 2011 IEEE 3rd International Conference on Communication Software and Networks (ICCSN). IEEE, 2011. http://dx.doi.org/10.1109/iccsn.2011.6014264.
Pełny tekst źródłaZhang, Jinzhu, i Jiping Niu. "XML Text Data Automatic Analysis and Transformation with Tree Convertor". W 2008 International Conference on Computer Science and Software Engineering. IEEE, 2008. http://dx.doi.org/10.1109/csse.2008.1508.
Pełny tekst źródłaAvazpour, Iman, John Grundy i Lars Grunske. "Tool support for automatic model transformation specification using concrete visualisations". W 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE). IEEE, 2013. http://dx.doi.org/10.1109/ase.2013.6693141.
Pełny tekst źródła