Se connecter

Bibliographies thématiques / Automatic software transformation / Articles de revues

Pour voir les autres types de publications sur ce sujet consultez le lien suivant : Automatic software transformation.

Articles de revues 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 50 meilleurs articles de revues pour votre recherche 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.

Parcourez les articles de revues sur diverses disciplines et organisez correctement votre bibliographie.

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.

11

Thangaraj, Jagadeeswaran, and Senthilkumaran Ulaganathan. "A Comparative Study on Transformation of UML/OCL to Other Specifications." Recent Advances in Computer Science and Communications 13, no. 2 (2020): 256–64. http://dx.doi.org/10.2174/2213275912666190129121059.

Texte intégral

Résumé :

Background: Static verification is a sound programming methodology that permits automated reasoning about the correctness of an implementation with respect to its formal specification before its execution. Unified Modelling Language is most commonly used modelling language which describes the client’s requirement. Object Constraint Language is a formal language which allows users to express textual constraints regarding the UML model. Therefore, UML/OCL express formal specification and helps the developers to implement the code according to the client’s requirement through software design. Obj

Styles APA, Harvard, Vancouver, ISO, etc.

12

Vree, Willem G., and Pieter H. Hartel. "Communication lifting: fixed point computation for parallelism." Journal of Functional Programming 5, no. 4 (1995): 549–81. http://dx.doi.org/10.1017/s0956796800001477.

Texte intégral

Résumé :

AbstractCommunication lifting is a program transformation that can be applied to a synchronous process network to restructure the network. This restructuring in theory improves sequential and parallel performance. The transformation has been formally specified and proved correct and it has been implemented as an automatic program transformation tool. This tool has been applied to a small set of programs consisting of synchronous process networks. For these networks communication lifting generates parallel programs that do not require locking. Measurements indicate performance gains in practice

Styles APA, Harvard, Vancouver, ISO, etc.

13

Huning, Lars, and Elke Pulvermueller. "Automatic Code Generation of Safety Mechanisms in Model-Driven Development." Electronics 10, no. 24 (2021): 3150. http://dx.doi.org/10.3390/electronics10243150.

Texte intégral

Résumé :

In order to meet regulatory standards in the domain of safety-critical systems, these systems have to include a set of safety mechanisms depending on the Safety Integrity Level (SIL). This article proposes an approach for how such safety mechanisms may be generated automatically via Model-Driven Development (MDD), thereby improving developer productivity and decreasing the number of bugs that occur during manual implementation. The approach provides a structured way to define safety requirements, which may be parsed automatically and are used for the generation of software-implemented safety m

Styles APA, Harvard, Vancouver, ISO, etc.

14

Masero, V., J. Moreno, F. Andres, A. Silva, J. Chambel, and J. Uson. "Telereconstruction from computerized tomography images for the distance teaching of medicine." Journal of Telemedicine and Telecare 6, no. 2_suppl (2000): 90–94. http://dx.doi.org/10.1258/1357633001935761.

Texte intégral

Résumé :

A system for making remote two- and three-dimensional reconstructions from computerized tomography images has been developed in order to improve medical teleteaching. It allows the automatic two- and three-dimensional remote visualization of the anatomical structure of interest. As a part of this system, software has been developed which allows many visual operations or transformations on a remote three-dimensional model. It permits the remote workstation and the local workstation to visualize every transformation simultaneously. It allows a doctor to interact virtually and remotely with the a

Styles APA, Harvard, Vancouver, ISO, etc.

15

Aftab, Zain, Waheed Iqbal, Khaled Mohamad Almustafa, Faisal Bukhari, and Muhammad Abdullah. "Automatic NoSQL to Relational Database Transformation with Dynamic Schema Mapping." Scientific Programming 2020 (July 1, 2020): 1–13. http://dx.doi.org/10.1155/2020/8813350.

Texte intégral

Résumé :

Recently, the use of NoSQL databases has grown to manage unstructured data for applications to ensure performance and scalability. However, many organizations prefer to transfer data from an operational NoSQL database to a SQL-based relational database for using existing tools for business intelligence, analytics, decision making, and reporting. The existing methods of NoSQL to relational database transformation require manual schema mapping, which requires domain expertise and consumes noticeable time. Therefore, an efficient and automatic method is needed to transform an unstructured NoSQL d

Styles APA, Harvard, Vancouver, ISO, etc.

16

Ivanov, R. A., and T. F. Valeev. "Automatic Refactoring of Java Code Using the Stream API." Vestnik NSU. Series: Information Technologies 17, no. 2 (2019): 49–60. http://dx.doi.org/10.25205/1818-7900-2019-17-2-49-60.

Texte intégral

Résumé :

For a long time, functional Java programming was not possible. However, lambda expressions appeared in version 8 of the Java language. Due to the support of standard library classes (Stream, Optional, etc.) in Java, it became possible to describe transformations over data in a functional style. Java is a rather old language with a large imperative code base written in it. In order to take advantage of the new approach, it is necessary to perform a non-trivial refactoring, which can be very tedious and error prone when applied manually. Fortunately, for a sufficiently large number of situations

Styles APA, Harvard, Vancouver, ISO, etc.

17

San Martín, Luis, Alfonso Rodríguez, Angélica Caro, and Ignacio Velásquez. "Obtaining secure business process models from an enterprise architecture considering security requirements." Business Process Management Journal 28, no. 1 (2021): 150–77. http://dx.doi.org/10.1108/bpmj-01-2021-0025.

Texte intégral

Résumé :

PurposeSecurity requirements play an important role in software development. These can be specified both in enterprise architecture models and in business processes. Enterprises increasingly carry out larger amounts of business processes where security plays a major role. Business processes including security can be automatically obtained from enterprise architecture models by applying a model-driven architecture approach, through a CIM to CIM transformation. The aim of this article is to present the specification of transformation rules for the correspondence between enterprise architecture a

Styles APA, Harvard, Vancouver, ISO, etc.

18

Feng, Jing Ge, Ye Ping He, and Qiu Ming Tao. "Evaluation of Compilers’ Capability of Automatic Vectorization Based on Source Code Analysis." Scientific Programming 2021 (November 30, 2021): 1–15. http://dx.doi.org/10.1155/2021/3264624.

Texte intégral

Résumé :

Automatic vectorization is an important technique for compilers to improve the parallelism of programs. With the widespread usage of SIMD (Single Instruction Multiple Data) extensions in modern processors, automatic vectorization has become a hot topic in the research of compiler techniques. Accurately evaluating the effectiveness of automatic vectorization in typical compilers is quite valuable for compiler optimization and design. This paper evaluates the effectiveness of automatic vectorization, analyzes the limitation of automatic vectorization and the main causes, and improves the automat

Styles APA, Harvard, Vancouver, ISO, etc.

19

Wang, Zhuo, Zixuan Wang, and Likai Wang. "Automatic 3D Pollen Recognition Based on Convolutional Neural Network." Scientific Programming 2021 (July 19, 2021): 1–8. http://dx.doi.org/10.1155/2021/5577307.

Texte intégral

Résumé :

The importance of automatic pollen recognition has been examined in several areas ranging from paleoclimate studies to some daily practice such as pollen hypersensitivity forecasting. This paper attempts to present an automatic 3D pollen image recognition method based on convolutional neural network. To achieve this purpose, high feature dimensions and complex posture transformation should be taken into account. Therefore, this work focuses on a three-part novel approach: constructing spatial local key points to obtain local stable points of pollen images, computing orientational local binary

Styles APA, Harvard, Vancouver, ISO, etc.

20

Istvan, Gergely Czibula, and Czibula Gabriela. "BRAIN Journal - On Converting Software Systems to Object-Oriented Architectures." Brain Journal 1, SPECIAL ISSUE ON COMPLEXITY IN SCIENCES AND ARTIFICIAL INTELLIGENCE (2010): 12–17. https://doi.org/10.5281/zenodo.1037313.

Texte intégral

Résumé :

ABSTRACT Object-oriented concepts are useful concerning the reuse of existing software. Therefore a transformation of procedural programs to objectoriented architectures becomes an important process to enhance the reuse of procedural programs. Moreover, it would be useful to assist by automatic methods the software developers in transforming procedural code into an equivalent object-oriented one. In this paper we aim at introducing a hierarchical clustering algorithm that can be used for assisting software developers in the process of transforming procedural code into an object-oriented archit

Styles APA, Harvard, Vancouver, ISO, etc.

21

Li, Zonghua, Xiaofeng Zhou, and Zhengwei Ye. "A Formalization Model Transformation Approach on Workflow Automatic Execution from CIM Level to PIM Level." International Journal of Software Engineering and Knowledge Engineering 29, no. 09 (2019): 1179–217. http://dx.doi.org/10.1142/s0218194019500372.

Texte intégral

Résumé :

Model transformation is a keystone in carrying out model-driven development. Currently, many studies have focused on model transformation, those researches study the automatic transformation from PIM to PSM and from PSM to code, but only few have dealt with how the CIM-level model is automatically mapped onto the PIM-level model. Even though some studies have proposed the semi-automatic transformation from CIM-level model to PIM-level model, only few mechanisms are discussed to protect the consistency between the CIM-level model and the PIM-level model in these researches because notation spec

Styles APA, Harvard, Vancouver, ISO, etc.

22

TERESA DE PEDRO, MARÍA, and RICARDO GARCIA ROSA. "ROBOT PATH PLANNING IN THE CONFIGURATION SPACE WITH AUTOMATIC OBSTACLE TRANSFORMATION." Cybernetics and Systems 23, no. 3-4 (1992): 367–78. http://dx.doi.org/10.1080/01969729208927469.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

23

Silberztein, Max, Cristina Mota, and Anabela Barreiro. "Developing neutral linguistic resources for the implementation of an automatic transformational analyzer." Open Research Europe 4 (July 12, 2024): 144. http://dx.doi.org/10.12688/openreseurope.17990.1.

Texte intégral

Résumé :

Bakground The linguistic pursuit of describing natural languages stands as a commendable scientific endeavor, regardless of immediate software application prospects. It transcends mere documentation of possible sentences to establish connections between sentences derived from transformations. Methods Amid the dominance of Large Language Models (LLMs) in research and technology, which offer intriguing advancements in text generation, the approaches presented in this article confront challenges like opacity, limited human intervention, and adaptation difficulties inherent in LLMs. The alternativ

Styles APA, Harvard, Vancouver, ISO, etc.

24

Matsuda, Kazutaka, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, and Masato Takeichi. "Bidirectionalization transformation based on automatic derivation of view complement functions." ACM SIGPLAN Notices 42, no. 9 (2007): 47–58. http://dx.doi.org/10.1145/1291220.1291162.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

25

Yu, Hua-Feng. "Bibliographic automatic classification algorithm based on semantic space transformation." Multimedia Tools and Applications 79, no. 13-14 (2019): 9283–97. http://dx.doi.org/10.1007/s11042-019-7400-3.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

26

Nikiforova, Oksana, Konstantins Gusarovs, Olegs Gorbiks, and Natalja Pavlova. "Improvement of the Two-Hemisphere Model-Driven Approach for Generation of the UML Class Diagram." Applied Computer Systems 14, no. 1 (2013): 19–30. http://dx.doi.org/10.2478/acss-2013-0003.

Texte intégral

Résumé :

Abstract In this paper an ability to apply the two-hemisphere model-driven approach for creation of the UML class diagram is discussed and the way to avoid the limitations of the approach is offered. The result of the proposed improvement of the twohemisphere model-driven approach is the increased number of elements of the UML class diagram available for automatic generation and several statements for semi-automatic transformation of business process diagram and the concept diagram into software components. As a result, the authors can ascertain that it is possible to apply the improved twohem

Styles APA, Harvard, Vancouver, ISO, etc.

27

LEUSCHEL, MICHAEL, and MAURICE BRUYNOOGHE. "Logic program specialisation through partial deduction: Control issues." Theory and Practice of Logic Programming 2, no. 4-5 (2002): 461–515. http://dx.doi.org/10.1017/s147106840200145x.

Texte intégral

Résumé :

Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programming, known respectively as partial evaluation and partial deduction, is to exploit partial knowledge about the input. It is achieved through a well-automated application of parts of the Burstall-Darlington unfold/fold transformation framework. The main challenge in developing systems is to design automatic control that ensures correctness, efficiency, and termination. This survey and tutorial presents the main develop

Styles APA, Harvard, Vancouver, ISO, etc.

28

Safitri, Aila Gema, and Firas Atqiya. "Automatic model transformation on multi-platform system development with model driven architecture approach." Computer Science and Information Technologies 3, no. 3 (2022): 157–68. http://dx.doi.org/10.11591/csit.v3i3.p157-168.

Texte intégral

Résumé :

Several difficulties commonly arise during the software development process. Among them are the lengthy technical process of developing a system, the limited number and technical capabilities of human resources, the possibility of bugs and errors during the testing and implementation phase, dynamic and frequently changing user requirements, and the need for a system that supports multi-platforms. Rapid application development (RAD) is the software development life cycle (SDLC) that emphasizes the production of a prototype in a short amount of time (30-90 days). This study discovered that imple

Styles APA, Harvard, Vancouver, ISO, etc.

29

Aila Gema Safitri and Firas Atqiya. "Automatic model transformation on multi-platform system development with model driven architecture approach." Computer Science and Information Technologies 3, no. 3 (2022): 157–68. http://dx.doi.org/10.11591/csit.v3i3.pp157-168.

Texte intégral

Résumé :

Several difficulties commonly arise during the software development process. Among them are the lengthy technical process of developing a system, the limited number and technical capabilities of human resources, the possibility of bugs and errors during the testing and implementation phase, dynamic and frequently changing user requirements, and the need for a system that supports multi-platforms. Rapid application development (RAD) is the software development life cycle (SDLC) that emphasizes the production of a prototype in a short amount of time (30-90 days). This study discovered that imple

Styles APA, Harvard, Vancouver, ISO, etc.

30

Aila, Gema Safitri, and Atqiya Firas. "Automatic model transformation on multi-platform system development with model driven architecture approach." Computer Science and Information Technologies 3, no. 3 (2022): 157–68. https://doi.org/10.11591/csit.v3i3.pp157-168.

Texte intégral

Résumé :

Several difficulties commonly arise during the software development process. Among them are the lengthy technical process of developing a system, the limited number and technical capabilities of human resources, the possibility of bugs and errors during the testing and implementation phase, dynamic and frequently changing user requirements, and the need for a system that supports multi-platforms. Rapid application development (RAD) is the software development life cycle (SDLC) that emphasizes the production of a prototype in a short amount of time (30-90 days). This study discovered that imple

Styles APA, Harvard, Vancouver, ISO, etc.

31

Akers, Robert L., Ira D. Baxter, Michael Mehlich, Brian J. Ellis, and Kenn R. Luecke. "Case study: Re-engineering C++ component models via automatic program transformation." Information and Software Technology 49, no. 3 (2007): 275–91. http://dx.doi.org/10.1016/j.infsof.2006.10.012.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

32

Qu, Cai Ping, and Yan She. "Network Transformation for Electric Control System of Mine Hoist." Applied Mechanics and Materials 321-324 (June 2013): 1409–13. http://dx.doi.org/10.4028/www.scientific.net/amm.321-324.1409.

Texte intégral

Résumé :

The hardware design and software design of network transformation to relay electric control system of the original mine hoist are introduced. Double PLC and computer control technology is adapted in the transformation project, in order to improve intelligent level of hoist control system. The monitoring system was design to monitor the hoist running state on line and realize remote monitoring through network. The systems successful transformation had done a leap from old relay-contact control to automatic control. Test running shows that, running safely and reliably and stabile performance of

Styles APA, Harvard, Vancouver, ISO, etc.

33

Hue, Chu Thi Minh, Duc-Hanh Dang, Nguyen Ngoc Binh, and Anh-Hoang Truong. "USLTG: Test Case Automatic Generation by Transforming Use Cases." International Journal of Software Engineering and Knowledge Engineering 29, no. 09 (2019): 1313–45. http://dx.doi.org/10.1142/s0218194019500414.

Texte intégral

Résumé :

This paper proposes a transformation-based method to automatically generate functional test cases from use cases named USLTG (Use case Specification Language (USL)-based Test Generation). We first focus on developing a modeling language named Test Case Specification Language (TCSL) in order to express test cases. Test cases in TCSL can contain detailed information including test steps, test objects within steps, actions of test objects, and test data. Such information is often ignored in currently available test case specifications. We then aim to generate test cases in a TCSL model by a trans

Styles APA, Harvard, Vancouver, ISO, etc.

34

Chen, Shu, and Ming Kai Chen. "A Semantical Approach for Automatically Transforming Software Requirement Specification into Formal Presentation." Advanced Materials Research 225-226 (April 2011): 776–79. http://dx.doi.org/10.4028/www.scientific.net/amr.225-226.776.

Texte intégral

Résumé :

Software engineering is a critical step in obtaining high quality production. However, requirement specifications that written in natural language is inevitably has ambiguity. Modern driven architecture makes use of requirement model for the complement of requirement specification to eliminate such ambiguity. However, currently, the transformation from requirement specification into formal model only limited in syntax level, thus lack of correctness and precision. This paper proposed an approach in semantical level to process textual specifications of the requirements of unlimited natural lang

Styles APA, Harvard, Vancouver, ISO, etc.

35

Markiewicz, Jakub, and Dorota Zawieska. "The Influence of the Cartographic Transformation of TLS Data on the Quality of the Automatic Registration." Applied Sciences 9, no. 3 (2019): 509. http://dx.doi.org/10.3390/app9030509.

Texte intégral

Résumé :

This paper discusses the issue of the influence of cartographic Terrestrial Laser Scanning (TLS) data conversion into feature-based automatic registration. Automatic registration of data is a multi-stage process, it is based on original software tools and consists of: (1) Conversion of data to the raster form, (2) register of TLS data in pairs in all possible combinations using the SURF (Speeded Up Robust Features) and FAST (Features from Accelerated Segment Test) algorithms, (3) the quality analysis of relative orientation of processed pairs, and (4) the final bundle adjustment. The following

Styles APA, Harvard, Vancouver, ISO, etc.

36

Kolchugina, E. A. "A Method of Representing Cyclic Program Structures in Artificial Chemistry Model." Programmnaya Ingeneria 14, no. 2 (2023): 77–81. http://dx.doi.org/10.17587/prin.14.77-81.

Texte intégral

Résumé :

The need for automation of software development processes makes it necessary to search for forms of program representation that can undergo automatic transformations without violating the integrity and semantic significance of the results of such transformations. Previously, we have proposed a notation for programs that permits the use of automatic transformation methods, namely methods of evolutionary development used, in particular, in genetic programming. But we have considered only linear and tree-like structures. In this article, we expand the list of available types of structures by add

Styles APA, Harvard, Vancouver, ISO, etc.

37

Nikiforova, Oksana, Ludmila Kozacenko, and Dace Ahilcenoka. "UML Sequence Diagram: Transformation from the Two-Hemisphere Model and Layout." Applied Computer Systems 14, no. 1 (2013): 31–41. http://dx.doi.org/10.2478/acss-2013-0004.

Texte intégral

Résumé :

Abstract Modeling of the object interaction is one of the core tasks during system analysis and design, because it gives developer an ability to define responsibilities of class objects and to sketch general architecture of software components. In this task an ability of automatic generation of the UML sequence diagram becomes one of the most important activities. The twohemisphere model contains enough information to define operations to perform by classes and therefore is investigated in this paper in the context of the UML sequence diagram generation.

Styles APA, Harvard, Vancouver, ISO, etc.

38

Huang, Yuxin. "Spatial Transformer Network-Based Automatic Modulation Recognition of Blind Signals." Scientific Programming 2021 (December 16, 2021): 1–7. http://dx.doi.org/10.1155/2021/9450961.

Texte intégral

Résumé :

Modulation recognition of communication signals plays an important role in both civil and military uses. Neural network-based modulation recognition methods can extract high-level abstract features which can be adopted for classification of modulation types. Compared with traditional recognition methods based on manually defined features, they have the advantage of higher recognition rate. However, in actual modulation recognition scenarios, due to inaccurate estimation of receiving parameters and other reasons, the input signal samples for modulation recognition may have large phase, frequenc

Styles APA, Harvard, Vancouver, ISO, etc.

39

Rashid, Sabreena, and Rajdeep Kaur. "Automatic detection of ovarian cancer based on improved DWT transformation." International Journal of Engineering & Technology 7, no. 2.27 (2018): 104. http://dx.doi.org/10.14419/ijet.v7i2.27.12575.

Texte intégral

Résumé :

Ovarian cancer sub-kinds are distinct pathologic individual with dissimilar prognostic and therapeutic suggestions. Histo-typing by pathologists has good reproducibility; therefore, occasional cases are challenging and require immuno-histo chemistry and sub-specialty discussion. Motivated by the need for more accurate and reproducible diagnosis and to facilitate pathologist’s work-flow, implement an au-tomated system for ovarian cancer classification and identification. The main problem discussed for detecting procedure fields: (i) the cancer detection on ultra sound image is not easy to class

Styles APA, Harvard, Vancouver, ISO, etc.

40

Rashid, Sabreena, and Rajdeep Kaur. "Automatic detection of ovarian cancer based on improved DWT transformation." International Journal of Engineering & Technology 7, no. 3 (2018): 77. http://dx.doi.org/10.14419/ijet.v7i3.12572.

Texte intégral

Résumé :

Ovarian cancer sub-kinds are distinct pathologic individual with dissimilar prognostic and therapeutic suggestions. Histo-typing by pathologists has good reproducibility; therefore, occasional cases are challenging and require immune histo chemistry and sub-specialty discussion. Motivated by the need for more accurate and reproducible diagnosis and to facilitate pathologist’s work-flow, implement an automated system for ovarian cancer classification and identification. The main problem discussed for detecting procedure fields: (i) the cancer detection on ultra sound image is not easy to classi

Styles APA, Harvard, Vancouver, ISO, etc.

41

CHO, SUNG-BAE, and THOMAS S. RAY. "AN EVOLUTIONARY APPROACH TO PROGRAM TRANSFORMATION AND SYNTHESIS." International Journal of Software Engineering and Knowledge Engineering 05, no. 02 (1995): 179–92. http://dx.doi.org/10.1142/s0218194095000101.

Texte intégral

Résumé :

Efficiency is a problem in automatic programming, both in the programs produced and in the synthesis process itself. This paper presents a framework for using evolutionary mechanisms to guide program synthesis. A particular implementation of the framework, called Tierra, is described. Given a naive program and some limits on system resources, Tierra generates mutated programs and evolution proceeds by natural selection as the programs compete for Control Processing Unit (CPU) time and memory space. By applying the evolutionary mechanisms, Tierra has guided the automatic implementation of an ef

Styles APA, Harvard, Vancouver, ISO, etc.

42

Qawaqzeh, Mohamed Zaidan, Oleksandr Miroshnyk, Aleksandr Osichev, Andrii Tkachenko, and Dmytro Danylchenko. "Analytical transformations software for stationary modes of induction motors and electric drives." International Journal of Electrical and Computer Engineering (IJECE) 12, no. 6 (2022): 5738. http://dx.doi.org/10.11591/ijece.v12i6.pp5738-5753.

Texte intégral

Résumé :

<span lang="EN-US">A program was developed in the package of symbolic transformations Maple. It provides automatic analytical transformation and derivation of formulas and plotting of the main characteristics of induction motors (IM) in a convenient form for an electrical engineer and student: torque=f(slip) T=f(s), angular speed=f(Torque) ω=f(T), angular speed=f(Current) ω=f(I), current=f(slip) I=f(s); cos(φ) and phase angle (phi) φ for stator currents and rotor currents, and magnetizing circuit, machine efficiency η=f(s) and a number of other characteristics. The calculation is based o

Styles APA, Harvard, Vancouver, ISO, etc.

43

Mohamed, Zaidan Qawaqzeh, Miroshnyk Oleksandr, Osichev Aleksandr, Tkachenko Andrii, and Danylchenko Dmytro. "Analytical transformations software for stationary modes of induction motors and electric drives." International Journal of Electrical and Computer Engineering (IJECE) 12, no. 6 (2022): 5738–53. https://doi.org/10.11591/ijece.v12i6.pp5738-5753.

Texte intégral

Résumé :

A program was developed in the package of symbolic transformations Maple. It provides automatic analytical transformation and derivation of formulas and plotting of the main characteristics of induction motors (IM) in a convenient form for an electrical engineer and student: torque=f(slip) T=f(s), angular speed=f(Torque) ω=f(T), angular speed=f(Current) ω=f(I), current=f(slip) I=f(s); cos(φ) and phase angle (phi) φ for stator currents and rotor currents, and magnetizing circuit, machine efficiency η=f(s) and a number of other characteristics. The calculation is based on

Styles APA, Harvard, Vancouver, ISO, etc.

44

Kharmoum, Nassim, Sara Retal, Karim El Bouchti, Wajih Rhalem, and Soumia Ziti. "Interaction Multi-Agent Models' Automatic Alignment with MDA Higher Abstraction Level." International Journal of Online and Biomedical Engineering (iJOE) 19, no. 02 (2023): 92–110. http://dx.doi.org/10.3991/ijoe.v19i02.37047.

Texte intégral

Résumé :

With the massive growth of the software sector as well as the erratic needs of end users, agent-based information systems and Model Driven Architecture (MDA) approach are among the liveliest and significant fields of experimentation and improvement to emerge in the recent decade. In this vein, we suggest in this research an innovative method that automates the construction and the generation processes of the interaction multi-agent models from the business requirements engineering models at the MDA highest abstraction levels. So, our defiance is to align the Agent Modeling Language (AML) Commu

Styles APA, Harvard, Vancouver, ISO, etc.

45

Lew, Alexander K., Mathieu Huot, Sam Staton, and Vikash K. Mansinghka. "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs." Proceedings of the ACM on Programming Languages 7, POPL (2023): 121–53. http://dx.doi.org/10.1145/3571198.

Texte intégral

Résumé :

Optimizing the expected values of probabilistic processes is a central problem in computer science and its applications, arising in fields ranging from artificial intelligence to operations research to statistical computing. Unfortunately, automatic differentiation techniques developed for deterministic programs do not in general compute the correct gradients needed for widely used solutions based on gradient-based optimization. In this paper, we present ADEV, an extension to forward-mode AD that correctly differentiates the expectations of probabilistic processes represented as programs that

Styles APA, Harvard, Vancouver, ISO, etc.

46

Chen, Mingcan. "A Theoretical Scientific Programming Framework for Application of Linear Matrix Transformation in Plane Computer Graphics." Scientific Programming 2022 (July 21, 2022): 1–7. http://dx.doi.org/10.1155/2022/3456302.

Texte intégral

Résumé :

Plane computer graphics are basic information carriers in many industrial scenarios, such as engineering simulation, automatic control, and software design. Plane computer graphics are generally a kind of digital signals guided by mathematical symbols, and each vertex of a plane computer graph forms a graph matrix. Therefore, linear matrix transformation serves as the most common algorithmic unit to realize various information processing operations. To improve ease of graph matrix computing in practical engineering scenarios, this paper proposes a theoretical scientific programming framework f

Styles APA, Harvard, Vancouver, ISO, etc.

47

Fakhouri Amr, Meryem, Nezha Benmoussa, Khalifa Mansouri, and Mohammed Qbadou. "Transformation of the CIM Model into A PIM Model According to The MDA Approach for Application Interoperability: Case of the "COVID-19 Patient Management" Business Process." International Journal of Online and Biomedical Engineering (iJOE) 17, no. 05 (2021): 49. http://dx.doi.org/10.3991/ijoe.v17i05.21419.

Texte intégral

Résumé :

<p>Model-Driven Engineering (MDE) plays a very important role in improving the development of complex systems. It focuses more on modeling than on classical programming. In this sense, model transformation is at the heart of the Model Driven Architecture (MDA) approach which advocates the use of models throughout the software development cycle on two levels. The first being the transformation of the Computing Independent Model (CIM) into the Platform Independent Model (PIM) and the second concerning the transformation of PIM into Platform Specific Model (PSM).</p><p>The latte

Styles APA, Harvard, Vancouver, ISO, etc.

48

Bastidas Fuertes, Andrés, María Pérez, and Jaime Meza. "Transpiler-Based Architecture Design Model for Back-End Layers in Software Development." Applied Sciences 13, no. 20 (2023): 11371. http://dx.doi.org/10.3390/app132011371.

Texte intégral

Résumé :

The utilization of software architectures and designs is widespread in software development, offering conceptual frameworks to address recurring challenges. A transpiler is a tool that automatically converts source code from one high-level programming language to another, ensuring algorithmic equivalence. This study introduces an innovative software architecture design model that integrates transpilers into the back-end layer, enabling the automatic transformation of business logic and back-end components from a single source code (the coding artifact) into diverse equivalent versions using di

Styles APA, Harvard, Vancouver, ISO, etc.

49

Guo, Tong Jun, Han Gang Huang, and Fu Bao He. "Research on the Automatic Sorting System of Domestic Ceramic Products Based on Machine Visual Inspection." Advanced Materials Research 889-890 (February 2014): 1034–37. http://dx.doi.org/10.4028/www.scientific.net/amr.889-890.1034.

Texte intégral

Résumé :

This article will use visual inspection techniques into the two-dimensional geometry measurement of ceramic products .It uses MATLAB 7.0 as image processing software, and the designing uses the gradient information into detection circular edge by Hough transformation method. The method is helpful to improve the production efficiency and the recognition rate. We can prove that this method has the feasibility by experiments, and achieve a satisfactory result .

Styles APA, Harvard, Vancouver, ISO, etc.

50

SEDOV, ALEKSEY. "DEVELOPMENT OF AN INTELLIGENT MACHINE FOR SORTING ANIMALS ACCORDING TO SPECIFIED CRITERIA." Elektrotekhnologii i elektrooborudovanie v APK 4, no. 41 (2020): 83–87. http://dx.doi.org/10.22314/2658-4859-2020-67-4-83-87.

Texte intégral

Résumé :

The Federal scientific Agroengineering center VIM has developed technical tools, algorithms and software for the intelligent automatic control system for milking animals “Stimul” on the “Herringbone” milking unit in three versions. The created system does not include automatic selection gates for effective management of zootechnical and veterinary services of animals. (Research purpose) The research purpose is in developing an intelligent machine for automatic sorting of animals for servicing and managing the herd according to specified characteristics. (Materials and methods) The article pres

Styles APA, Harvard, Vancouver, ISO, etc.

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!