Search Results - "Model-Driven Engineering in Software Development"
-
1
Authors: et al.
Source: The Computer Journal. 67:2066-2107
Subject Terms: Artificial intelligence, 0102 computer and information sciences, 02 engineering and technology, Normalization (sociology), Operator (biology), 01 natural sciences, Biochemistry, Gene, 7. Clean energy, 12. Responsible consumption, Context (archaeology), Theoretical computer science, Abstract machine, Sociology, Temporal Logic, State (computer science), 11. Sustainability, 0202 electrical engineering, electronic engineering, information engineering, FOS: Mathematics, Model-Driven Engineering in Software Development, Unified Modeling Language, Biology, Finite-state machine, Arithmetic, Model Transformation, Paleontology, Semantics (computer science), Computer science, UML, Programming language, FOS: Sociology, Chemistry, Computational Theory and Mathematics, Notation, Anthropology, Computer Science, Physical Sciences, Abstract state machines, Transformation (genetics), Repressor, Software Reliability Assessment and Prediction, Transcription factor, Software, Mathematics, Formal Methods in Software Verification and Control
-
2
Authors: Fateh Boutekkouk
Source: Journal of Innovation Information Technology and Application, Vol 5, Iss 1, Pp 83-96 (2023)
Subject Terms: Rewriting, Information technology, 0102 computer and information sciences, 02 engineering and technology, Epistemology, 01 natural sciences, Autonomic Computing and Self-Adaptive Systems, Logic programming, Artificial Intelligence, Specification language, 0202 electrical engineering, electronic engineering, information engineering, formal verification, Model-Driven Engineering in Software Development, Equational logic, formal specification, maude, Semantics (computer science), QA75.5-76.95, T58.5-58.64, Computer science, MDE Practices, Programming language, FOS: Philosophy, ethics and religion, Philosophy, Simplicity, Computational Theory and Mathematics, Functional programming, c programming language, Electronic computers. Computer science, Computer Science, Physical Sciences, Operational semantics, Software, Formal Methods in Software Verification and Control
-
3
Authors: et al.
Contributors: et al.
Source: O2, repositorio institucional de la UOC
Universitat Oberta de Catalunya (UOC)
ComputingSubject Terms: FOS: Computer and information sciences, internet de les coses, Digital subscriber line, Domain-specific language, QoS-Aware Web Services Composition and Semantic Matching, 02 engineering and technology, Autonomic Computing and Self-Adaptive Systems, Mathematical analysis, Quality of Service (QoS), Runtime system, edge computing, Service-Oriented Architecture, Quality of service, domain-specific language, Artificial Intelligence, Self-Adaptive Systems, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Software deployment, QoS-Aware Middleware, Model-Driven Engineering in Software Development, Embedded system, Key (lock), Computer network, llenguatge específic del domini, Software engineering, Adaptation (eye), Domain (mathematical analysis), Physics, Modeling language, lenguaje específico del dominio, Optics, sistema autoadaptativo, internet of things, Computer science, self-adaptive system, Distributed computing, internet de las cosas, Operating system, Separation of concerns, Computer Science, Physical Sciences, Service-Oriented Computing, sistema autoadaptatiu, Code generation, fog computing, Software, Mathematics, Information Systems
File Description: application/pdf
-
4
Authors:
Source: Annals of computer science and information systems, Vol 33, Pp 75-81 (2022)
Subject Terms: FOS: Computer and information sciences, Domain model, Web Engineering for Applications Development, QoS-Aware Web Services Composition and Semantic Matching, Set (abstract data type), Information technology, Automated Web Service Discovery, Mathematical analysis, FOS: Mathematics, Model-Driven Engineering in Software Development, Key (lock), Code (set theory), Model-Driven Development, Software engineering, Domain (mathematical analysis), 4. Education, Software Development, Domain-Specific Languages, Context-Aware Web Applications, QA75.5-76.95, T58.5-58.64, Computer science, Programming language, Process (computing), Operating system, Electronic computers. Computer science, Computer Science, Physical Sciences, Code generation, Software, Mathematics, Information Systems
-
5
Authors: et al.
Source: Digibug. Repositorio Institucional de la Universidad de Granada
Universidad de Granada (UGR)
IEEE Access, Vol 10, Pp 90857-90872 (2022)Subject Terms: FOS: Computer and information sciences, Artificial intelligence, Social Sciences, 02 engineering and technology, Biochemistry, Gene, Data transformation, Electric power system, Model transformation, Data science, Systems engineering, systematic mapping, Engineering, 0202 electrical engineering, electronic engineering, information engineering, platform independent models (PIM), Model-Driven Engineering in Software Development, Common Information Model (electricity), Model Transformation, Physics, Software Development, Model-Driven Engineering, Power (physics), computer independent models (CIM), Programming language, FOS: Philosophy, ethics and religion, Chemistry, Physical Sciences, Computer independent models (CIM), Transformation (genetics), Electrical engineering. Electronics. Nuclear engineering, Abstraction layer, Model driven architecture (MDA), Information Systems, QoS-Aware Web Services Composition and Semantic Matching, Business, Management and Accounting, Epistemology, Quantum mechanics, Management Information Systems, Information model, Data warehouse, Data mining, Platform independent models (PIM), Software engineering, Workflow Mining and Business Process Management, Software development, Computer science, TK1-9971, Process (computing), Philosophy, Systematic mapping, Computer Science, Process management, Abstraction, Software, Consistency (knowledge bases), Data modeling
-
6
Authors: et al.
Source: ICST Transactions on Scalable Information Systems.
Subject Terms: Design for Manufacture and Assembly in Manufacturing, Compiler construction, Digital subscriber line, Domain-specific language, Compiler, 02 engineering and technology, Epistemology, Industrial and Manufacturing Engineering, Engineering, Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, Computer architecture, 0204 chemical engineering, Model-Driven Engineering in Software Development, Key (lock), Design for Manufacture, Software Development, Domain-Specific Languages, Computer science, Programming language, FOS: Philosophy, ethics and religion, Operating system, Philosophy, Optimizing compiler, Compiler correctness, Computer Science, Physical Sciences, Telecommunications, Code generation, Program Analysis and Verification Techniques, Abstraction, Software
-
7
Authors:
Source: International Journal of Software Engineering and Computer Systems. 7:9-18
Subject Terms: FOS: Computer and information sciences, Flexibility (engineering), QoS-Aware Web Services Composition and Semantic Matching, Autonomic Computing and Self-Adaptive Systems, Mathematical analysis, Systems engineering, Engineering, Software Architecture, Artificial Intelligence, FOS: Mathematics, Model-Driven Engineering in Software Development, Software engineering, Domain (mathematical analysis), Software development process, Statistics, Software Development, Modeling language, Software development, Computer science, Feature Models, Programming language, Computer Science, Physical Sciences, Agile software development, Software, Mathematics, Information Systems
-
8
Authors: Lassaad Ben Ammar
Source: IEEE Access, Vol 9, Pp 51573-51581 (2021)
Subject Terms: FOS: Computer and information sciences, Interface (matter), User experience design, model based user interface development, Mobile application, Set (abstract data type), 02 engineering and technology, User interface design, 0202 electrical engineering, electronic engineering, information engineering, Model-Driven Engineering in Software Development, Usability Evaluation in Human-Computer Interaction, Bubble, Mobile computing, Software engineering, Human–computer interaction, Mobile Application Development and Cross-Platform Solutions, model transformation, Mobile Applications, Computer science, User interface, TK1-9971, Cross-Platform Development, Programming language, Human-Computer Interaction, user interface, Operating system, Mobile Application Development, Computer Science, Physical Sciences, Electrical engineering. Electronics. Nuclear engineering, Maximum bubble pressure method, Multi-Device Interfaces, User-Centered Design, Software, Information Systems
Access URL: https://ieeexplore.ieee.org/ielx7/6287639/9312710/09378527.pdf
https://doaj.org/article/e054e493a9d24faab5598f231ff708a5
https://repository.psau.edu.sa/xmlui/handle/123456789/2987617
https://dblp.uni-trier.de/db/journals/access/access9.html#Ammar21
https://ieeexplore.ieee.org/document/9378527/ -
9
Authors:
Subject Terms: Computer Networks and Communications, Construct (python library), Compiler, Autonomic Computing and Self-Adaptive Systems, Mathematical analysis, Process integration, Systems engineering, Model-Based Development, Engineering, Software Architecture, Artificial Intelligence, Concurrent engineering, FOS: Mathematics, Cloud computing, Model-Driven Engineering in Software Development, Software engineering, Domain (mathematical analysis), Software Development, Computer science, Distributed computing, Programming language, Operating system, Log Analysis and System Performance Diagnosis, Computer Science, Physical Sciences, Process engineering, Software, Mathematics
-
10
Authors:
Source: Journal of Advanced Transportation, Vol 2020 (2020)
Subject Terms: Realization (probability), Artificial intelligence, 0209 industrial biotechnology, Astronomy, Trajectory, Ocean Engineering, 02 engineering and technology, Real-time computing, Engineering, FOS: Mathematics, Model-Driven Engineering in Software Development, Unified Modeling Language, Embedded system, Biology, Maritime Transportation Safety and Risk Analysis, HE1-9990, TA1001-1280, Model Transformation, Control engineering, Physics, Controller (irrigation), Statistics, Autonomous Underwater Vehicles, Underwater Acoustic Sensor Networks and Communication, Model-Driven Engineering, Computer science, Agronomy, MDE Practices, Extended Kalman filter, Programming language, Transportation engineering, Physical Sciences, Computer Science, Systems Modeling Language, Kalman filter, Transportation and communications, Software, Mathematics
File Description: text/xhtml
Access URL: https://downloads.hindawi.com/journals/jat/2020/8848776.pdf
https://doaj.org/article/d8850182bb61469eaf217661b9afd560
http://downloads.hindawi.com/journals/jat/2020/8848776.pdf
https://shibaura.pure.elsevier.com/en/publications/a-model -driven -realization-of-auv-controllers-based-on-the-mdambs
https://downloads.hindawi.com/journals/jat/2020/8848776.pdf
https://www.hindawi.com/journals/jat/2020/8848776/ -
11
Authors:
Source: Universal Access in the Information Society. 21:295-324
Subject Terms: Web Accessibility, Web Accessibility and Disability Divide, Social Sciences, FOS: Mechanical engineering, Human Factors and Ergonomics, 02 engineering and technology, Autonomic Computing and Self-Adaptive Systems, Data science, Model-Based Development, Engineering, Software Architecture, Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, Work (physics), Model-Driven Engineering in Software Development, 10. No inequality, Software construction, Software engineering, Software development process, 9. Industry and infrastructure, Software Development, 1. No poverty, Software development, Computer science, Mechanical engineering, Usability Evaluation, Programming language, Computer Science, Physical Sciences, Software
-
12
Authors: et al.
Contributors: et al.
Source: New Generation Computing. 38:423-476
Subject Terms: FOS: Computer and information sciences, Programmer, Artificial intelligence, Refactoring, Compiler, LR parser, 02 engineering and technology, Memoization, Parsing expression grammar, Bidirectional transformations, L-attributed grammar, Parser combinator, 0202 electrical engineering, electronic engineering, information engineering, Subcategorization, Abstract syntax tree, Syntax, Context-free grammar, Model-Driven Engineering in Software Development, Parsing, Asymmetric lenses, Grammar, Automated Software Testing Techniques, Natural language processing, Reflective printing, Linguistics, Computer science, Rule-based machine translation, Programming language, FOS: Philosophy, ethics and religion, Philosophy, Top-down parsing, Verb, Disambiguation filters, Computer Science, Physical Sciences, FOS: Languages and literature, Domain-specific languages, Software, Consistency (knowledge bases), Empirical Studies in Software Engineering, Information Systems
File Description: application/pdf
Access URL: http://repositorium.sdum.uminho.pt/bitstream/1822/68618/1/354_2019_82_OnlinePDF.pdf
https://repositorium.sdum.uminho.pt/bitstream/1822/68618/1/354_2019_82_OnlinePDF.pdf
https://dblp.uni-trier.de/db/journals/ngc/ngc38.html#ZhuKZMSH20
https://repositorio.inesctec.pt/handle/123456789/11450
https://link.springer.com/article/10.1007/s00354-019-00082-y
http://repositorium.sdum.uminho.pt/handle/1822/68618
https://repositorio.inesctec.pt/bitstream/123456789/11450/1/P-00S-28X.pdf
https://hdl.handle.net/1822/68618 -
13
Authors: et al.
Source: IEEE Access, Vol 8, Pp 104407-104431 (2020)
Subject Terms: Runtime Verification, 02 engineering and technology, Model Checking, Model Consistency, Safety Verification, Functional verification, computation tree logic, 0202 electrical engineering, electronic engineering, information engineering, Model-Driven Engineering in Software Development, Unified Modeling Language, Embedded system, Software construction, Model Transformation, systemverilog assertions, Reconfigurable Computing Systems and Design Methods, Static analysis, Computer science, Verilog, TK1-9971, Programming language, Field-programmable gate array, Assertion based verification, Formal verification, Computational Theory and Mathematics, Hardware and Architecture, timed automata, Computer Science, Physical Sciences, Systems Modeling Language, Software system, model based system engineering, embedded systems, Electrical engineering. Electronics. Nuclear engineering, High-level verification, Software, Formal Methods in Software Verification and Control
-
14
Authors: et al.
Source: IEEE Access, Vol 8, Pp 8697-8719 (2020)
Subject Terms: FOS: Computer and information sciences, Requirements analysis, Requirement engineering, 02 engineering and technology, Agile Software Development in Software Engineering, Autonomic Computing and Self-Adaptive Systems, Reliability engineering, Systems engineering, embedded system, Model-Based Development, Engineering, requirement modeling, Artificial Intelligence, Computer security, 0202 electrical engineering, electronic engineering, information engineering, formal verification, Model-Driven Engineering in Software Development, Unified Modeling Language, Key (lock), Requirements Engineering, Software engineering, Model Transformation, Verification and validation, Requirements engineering, Model-Driven Engineering, Petri net, automotive industry, Computer science, TK1-9971, Programming language, Algorithm, Operations management, Aerospace engineering, Software Process Improvement, Computer Science, Physical Sciences, requirement validation, Electrical engineering. Electronics. Nuclear engineering, Correctness, Software, Information Systems, Automotive industry
Access URL: https://ieeexplore.ieee.org/ielx7/6287639/8948470/08949471.pdf
https://doaj.org/article/f1d2e9971d5c4a56875740aeb4405566
https://e-space.mmu.ac.uk/625003/
http://ieeexplore.ieee.org/document/8949471
https://dblp.uni-trier.de/db/journals/access/access8.html#IqbalAAKN20
https://ieeexplore.ieee.org/abstract/document/8949471
https://e-space.mmu.ac.uk/625003/ -
15
Authors: et al.
Source: SN Computer Science. 4
Subject Terms: Functional safety, Software safety mechanism, Domain-specific language, 0202 electrical engineering, electronic engineering, information engineering, Original Research, Advances on Model-Driven Engineering and Software Development, Model transformation, Code generation, Information and Computing Sciences, 02 engineering and technology, ddc
File Description: application/pdf
-
16
Authors: et al.
Source: Lecture Notes in Computer Science ISBN: 9783031095924
Subject Terms: FOS: Mechanical engineering, Software design pattern, Reuse, Mathematical analysis, 7. Clean energy, Model Checking, Engineering, Theoretical computer science, Self-Reconfigurable Robotic Systems and Modular Robotics, FOS: Mathematics, Model-Driven Engineering in Software Development, Biology, Software engineering, Domain (mathematical analysis), Ecology, Mechanical Engineering, Formal methods, Model-Driven Engineering, Computer science, Design pattern, Programming language, 3. Good health, Computational Theory and Mathematics, FOS: Biological sciences, Computer Science, Physical Sciences, Correctness, Software, Mathematics, Formal Methods in Software Verification and Control
-
17
Authors: et al.
Source: International Journal of Computing. :293-306
Subject Terms: FOS: Computer and information sciences, Artificial intelligence, Domain-specific language, QoS-Aware Web Services Composition and Semantic Matching, Compiler, Set (abstract data type), 02 engineering and technology, Autonomic Computing and Self-Adaptive Systems, Model transformation, Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, 0501 psychology and cognitive sciences, Model-Driven Engineering in Software Development, Unified Modeling Language, Key (lock), Code (set theory), 05 social sciences, Modeling language, Computer science, Feature Models, Programming language, Operating system, Computer Science, Physical Sciences, Code generation, Software, Consistency (knowledge bases), Information Systems
-
18
AN AUTOMATIC TRANSFORMATION METHOD FROM THE E3VALUE MODEL TO UML2 SEQUENCE DIAGRAMS: AN MDA APPROACH
Authors: et al.
Source: International Journal of Computing. :316-330
Subject Terms: FOS: Computer and information sciences, Artificial intelligence, Class diagram, QoS-Aware Web Services Composition and Semantic Matching, Epistemology, 02 engineering and technology, Autonomic Computing and Self-Adaptive Systems, Biochemistry, Gene, Model transformation, Software Architecture, Artificial Intelligence, Genetics, 0202 electrical engineering, electronic engineering, information engineering, Sequence diagram, Model-Driven Engineering in Software Development, Unified Modeling Language, Biology, Software engineering, Model Transformation, Activity diagram, Model-Driven Engineering, Computer science, MDE Practices, Programming language, FOS: Philosophy, ethics and religion, Philosophy, Chemistry, Graph Transformation, FOS: Biological sciences, Computer Science, Physical Sciences, Transformation (genetics), Abstraction, Software, Consistency (knowledge bases), Information Systems, Sequence (biology)
-
19
Authors: et al.
Source: Journal of Computer Science. 15:800-813
Subject Terms: FOS: Computer and information sciences, Domain model, Artificial intelligence, QoS-Aware Web Services Composition and Semantic Matching, Social Sciences, Business, Management and Accounting, Epistemology, 02 engineering and technology, Process Models, Biochemistry, Gene, Management Information Systems, Model transformation, 12. Responsible consumption, Process Modeling Languages, Database, FOS: Economics and business, 0202 electrical engineering, electronic engineering, information engineering, Business, Model-Driven Engineering in Software Development, Unified Modeling Language, Business model, Marketing, Software engineering, Model Transformation, 9. Industry and infrastructure, Software Development, Modeling language, Workflow Mining and Business Process Management, Model-Driven Engineering, Model-driven architecture, Computer science, Programming language, FOS: Philosophy, ethics and religion, Chemistry, Philosophy, Computer Science, Physical Sciences, Domain knowledge, Transformation (genetics), Conceptual model, Abstraction, Software, Consistency (knowledge bases), Information Systems
-
20
Authors:
Source: IEEE Access, Vol 7, Pp 177761-177773 (2019)
Subject Terms: Artificial intelligence, Real-Time Simulation Technologies for Power Systems, 0211 other engineering and technologies, 02 engineering and technology, Autonomic Computing and Self-Adaptive Systems, Mathematical analysis, Systems engineering, Model transformation, power systems, Engineering, Software Architecture, Artificial Intelligence, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, SCADA/EMS, Model-Driven Engineering in Software Development, Unified Modeling Language, Requirements Engineering, Software engineering, Domain (mathematical analysis), Software development process, Software Development, Model-Driven Engineering, Model-driven architecture, Software development, Computer science, Model driven engineering, TK1-9971, MDE Practices, Programming language, Control and Systems Engineering, Computer Science, Physical Sciences, Electrical engineering. Electronics. Nuclear engineering, Software, Systems development life cycle, Consistency (knowledge bases), Mathematics, software engineering
Nájsť tento článok vo Web of Science 
Full Text Finder