• Suche: "Model-Driven Engineering in Software Development"

Treffer 1 - 20 von 80

1

Laws of Timed State Machines
Ana Cavalcanti ; Madiel Conserva Filho ; Pedro Ribeiro ; et al.
The Computer Journal. 67:2066-2107

Artificial intelligence 0102 computer and inform... 02 engineering and techn... Normalization (sociology... Operator (biology) 01 natural sciences …
Fachzeitschrift
Zu den Favoriten
2

Towards automatic Maude specifications generation from C functions
Fateh Boutekkouk
Journal of Innovation Information Technology and Application, Vol 5, Iss 1, Pp 83-96 (2023)

Rewriting Information technology 0102 computer and inform... 02 engineering and techn... Epistemology 01 natural sciences …
Fachzeitschrift
Zu den Favoriten
3

A model-based infrastructure for the specification and runtime execution of self-adaptive IoT architectures
Iván Alfonso ; Kelly Garcés ; Harold Castro ; et al.
O2, repositorio institucional de la UOC
Universitat Oberta de Catalunya (UOC)
Computing

FOS: Computer and inform... internet de les coses Digital subscriber line Domain-specific language QoS-Aware Web Services C... 02 engineering and techn... …
Fachzeitschrift
Zu den Favoriten
4

Automated Code Generation from Use cases and the Domain Model
Minh-Hue Chu ; Anh-Hien Dao
Annals of computer science and information systems, Vol 33, Pp 75-81 (2022)

FOS: Computer and inform... Domain model Web Engineering for Appl... QoS-Aware Web Services C... Set (abstract data type) Information technology …
Fachzeitschrift
Zu den Favoriten
5

Transformation From CIM to PIM: a Systematic Mapping
Nemury Silega Martínez ; Manuel Noguera ; Yuri Rogozov ; et al.
Digibug. Repositorio Institucional de la Universidad de Granada
Universidad de Granada (UGR)
IEEE Access, Vol 10, Pp 90857-90872 (2022)

FOS: Computer and inform... Artificial intelligence Social Sciences 02 engineering and techn... Biochemistry Gene …
Fachzeitschrift
Zu den Favoriten
6

Efficient Compiler Design for a Geometric Shape Domain-Specific Language: Emphasizing Abstraction and Optimization Techniques
Priya Gupta ; Terala ManiKiran ; Mailapalli Purushotham ; et al.
ICST Transactions on Scalable Information Systems.

Design for Manufacture a... Compiler construction Digital subscriber line Domain-specific language Compiler 02 engineering and techn... …
Fachzeitschrift
Zu den Favoriten
7

Formal Modeling and Analysis of Entity Framework Using Alloy
Maria Belen Bonino ; Ana Gabriela Garis ; Daniel Eduardo Riesco
International Journal of Software Engineering and Computer Systems. 7:9-18

FOS: Computer and inform... Flexibility (engineering... QoS-Aware Web Services C... Autonomic Computing and... Mathematical analysis Systems engineering …
Fachzeitschrift
Zu den Favoriten
8

An Automated Model-Based Approach for Developing Mobile User Interfaces
Lassaad Ben Ammar
IEEE Access, Vol 9, Pp 51573-51581 (2021)

FOS: Computer and inform... Interface (matter) User experience design model based user interfa... Mobile application Set (abstract data type) …
Fachzeitschrift
Zu den Favoriten
9

Towards a Domain-specific Language for Developing Concurrent Applications using BIP Framework
Trinh Le-Khanh ; Son Nguyen

Computer Networks and Co... Construct (python librar... Compiler Autonomic Computing and... Mathematical analysis Process integration …
Fachzeitschrift
Zu den Favoriten
10

A Model-Driven Realization of AUV Controllers Based on the MDA/MBSE Approach
Van Thuan Truong ; Ngoc Tam Bui ; Ngo Van Hien
Journal of Advanced Transportation, Vol 2020 (2020)

Realization (probability... Artificial intelligence 0209 industrial biotechn... Astronomy Trajectory Ocean Engineering …
Fachzeitschrift
Zu den Favoriten
11

Model-driven development of accessible software: a systematic literature review
Karla Ordoñez ; José Ramón Hilera ; Samanta Cueva
Universal Access in the Information Society. 21:295-324

Web Accessibility Web Accessibility and Di... Social Sciences FOS: Mechanical engineer... Human Factors and Ergono... 02 engineering and techn... …
Fachzeitschrift
Zu den Favoriten
12

Unifying Parsing and Reflective Printing for Fully Disambiguated Grammars
Zirun Zhu ; Hsiang−Shang Ko ; Yongzhe Zhang ; et al.
New Generation Computing. 38:423-476

FOS: Computer and inform... Programmer Artificial intelligence Refactoring Compiler LR parser …
Fachzeitschrift
Zu den Favoriten
13

A Unified Model-Based Framework for the Simplified Execution of Static and Dynamic Assertion-Based Verification
Muhammad Waseem Anwar ; Muhammad Rashid ; Farooque Azam ; et al.
IEEE Access, Vol 8, Pp 104407-104431 (2020)

Runtime Verification 02 engineering and techn... Model Checking Model Consistency Safety Verification Functional verification …
Fachzeitschrift
Zu den Favoriten
14

Requirement Validation for Embedded Systems in Automotive Industry Through Modeling
Danish Iqbal ; Assad Abbas ; Mazhar Ali ; et al.
IEEE Access, Vol 8, Pp 8697-8719 (2020)

FOS: Computer and inform... Requirements analysis Requirement engineering 02 engineering and techn... Agile Software Developme... Autonomic Computing and... …
Fachzeitschrift
Zu den Favoriten
15

The Universal Safety Format in Action: Tool Integration and Practical Application
Frederik Haxel ; Alexander Viehl ; Michael Benkel ; et al.
SN Computer Science. 4

Functional safety Software safety mechanis... Domain-specific language 0202 electrical engineer... Original Research Advances on Model-Driven... …
Fachzeitschrift
Zu den Favoriten
16

Modeling IoT Design Patterns Proven Correct by Construction
Imen Tounsi ; Najeh Khalfi ; Abdessamad Saidi ; et al.
Lecture Notes in Computer Science ISBN: 9783031095924

FOS: Mechanical engineer... Software design pattern Reuse Mathematical analysis 7. Clean energy Model Checking …
Buch
Zu den Favoriten
17

A MODEL-DRIVEN APPROACH FOR MULTI-PLATFORM EXECUTION OF INTERACTIVE UIS DESIGNED WITH IFML
Sara Gotti ; Samir Mbarki ; Zineb Gotti ; et al.
International Journal of Computing. :293-306

FOS: Computer and inform... Artificial intelligence Domain-specific language QoS-Aware Web Services C... Compiler Set (abstract data type) …
Fachzeitschrift
Zu den Favoriten
18

AN AUTOMATIC TRANSFORMATION METHOD FROM THE E3VALUE MODEL TO UML2 SEQUENCE DIAGRAMS: AN MDA APPROACH
Nassim Kharmoum ; S. Ziti ; Yassine Rhazali ; et al.
International Journal of Computing. :316-330

FOS: Computer and inform... Artificial intelligence Class diagram QoS-Aware Web Services C... Epistemology 02 engineering and techn... …
Fachzeitschrift
Zu den Favoriten
19

An Automatic Transformation Method from the E3value Model to IFML Model: An MDA Approach
Nassim Kharmoum ; S. Ziti ; Yassine Rhazali ; et al.
Journal of Computer Science. 15:800-813

FOS: Computer and inform... Domain model Artificial intelligence QoS-Aware Web Services C... Social Sciences Business, Management and... …
Fachzeitschrift
Zu den Favoriten
20

Model Driven Software Engineering of Power Systems Applications: Literature Review and Trends
Paulo Neis ; Marco A. Wehrmeister ; Marcos Fonseca Mendes
IEEE Access, Vol 7, Pp 177761-177773 (2019)

Artificial intelligence Real-Time Simulation Tec... 0211 other engineering a... 02 engineering and techn... Autonomic Computing and... Mathematical analysis …
Fachzeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter