-
1
المؤلفون: Fulvio Patara, Jacopo Parri, Enrico Vicario, Samuele Sampietro
المصدر: Computing. 103:589-612
مصطلحات موضوعية: 0209 industrial biotechnology, Process (engineering), Computer science, 02 engineering and technology, computer.software_genre, Theoretical Computer Science, 020901 industrial engineering & automation, Systems Modeling Language, 0202 electrical engineering, electronic engineering, information engineering, Adaptation (computer science), computer.programming_language, System of systems, Numerical Analysis, business.industry, 020207 software engineering, Functional requirement, computer.file_format, Computer Science Applications, Software framework, Computational Mathematics, Computational Theory and Mathematics, Executable, Model-driven architecture, Software engineering, business, computer, Software
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::e8b640ad8df7146fd2374dbedded197eTest
https://doi.org/10.1007/s00607-020-00841-6Test -
2
المساهمون: Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - EA 3804 (CRESTIC), Université de Reims Champagne-Ardenne (URCA)
المصدر: SysTol
International Conference on Control and Fault-Tolerant Systems (SysTol)
International Conference on Control and Fault-Tolerant Systems (SysTol), 2021, Saint-Raphaël, France. ⟨10.1109/SysTol52990.2021.9596041⟩مصطلحات موضوعية: Computer science, business.industry, Cyber-physical system, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Systems Modeling Language, Component (UML), Component-based software engineering, Model-driven architecture, Architecture, Software architecture, Software engineering, business, computer, Central element, computer.programming_language
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::81c38423a28fc6a45fb2288fd4fe01c2Test
https://doi.org/10.1109/systol52990.2021.9596041Test -
3
المؤلفون: Hongbin Xiao, Shangfeng Wei, Zhi Li, Yilong Yang
المصدر: RE
مصطلحات موضوعية: Requirements engineering, business.industry, Programming language, Computer science, computer.software_genre, Domain (software engineering), UML state machine, Tree (data structure), Software, Unified Modeling Language, Systems Modeling Language, Model-driven architecture, business, computer, computer.programming_language
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::689dcb32bf0e4b5cc9132750163bd650Test
https://doi.org/10.1109/re51729.2021.00047Test -
4
المؤلفون: Guillaume Brau, Mohammed Foughali
المساهمون: Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique (LAAS-TSF), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), VERIMAG (VERIMAG - IMAG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Brau, Guillaume
المصدر: 36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021)
36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021), Mar 2021, Gwangju (virtual), South Korea
SACمصطلحات موضوعية: Correctness, formal methods, Programming language, Computer science, Model transformation, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], model transformation, 020207 software engineering, 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], computer.software_genre, Formal methods, Transformation (function), Systems Modeling Language, 020204 information systems, model-driven engineering, Transition system, 0202 electrical engineering, electronic engineering, information engineering, Model-driven architecture, computer, computer.programming_language, Abstraction (linguistics)
وصف الملف: application/pdf
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3c71cb9503b41a1054a31324c4987fbfTest
https://hal.laas.fr/hal-03059942/file/main.pdfTest -
5
المؤلفون: Nils Wieber
المصدر: ASE
مصطلحات موضوعية: business.industry, Computer science, Knowledge engineering, Software development, 020207 software engineering, Functional requirement, 02 engineering and technology, Microservices, Systems modeling, Software, Systems Modeling Language, 0202 electrical engineering, electronic engineering, information engineering, Task analysis, Model-driven architecture, Software engineering, business, Software architecture, computer, computer.programming_language
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::4eb545d48512910eed45e9d52d3c75b0Test
https://doi.org/10.1145/3324884.3415283Test -
6
المؤلفون: Ngo Van He, Van Thuan Truong, Ngoc Tam Bui, Ngo Van Hien
المصدر: Applied Sciences, Vol 10, Iss 8293, p 8293 (2020)
Applied Sciences
Volume 10
Issue 22مصطلحات موضوعية: 0209 industrial biotechnology, autonomous underwater vehicle (AUV), Computer science, model-driven architecture (MDA), 020209 energy, 02 engineering and technology, lcsh:Technology, lcsh:Chemistry, Extended Kalman filter, 020901 industrial engineering & automation, Unified Modeling Language, Systems Modeling Language, Control theory, 0202 electrical engineering, electronic engineering, information engineering, General Materials Science, Instrumentation, lcsh:QH301-705.5, real-time UML/SysML, computer.programming_language, Fluid Flow and Transfer Processes, extended/unscented Kalman filter (EKF/UKF), lcsh:T, Process Chemistry and Technology, General Engineering, hybrid automata, Control engineering, Kalman filter, lcsh:QC1-999, Computer Science Applications, Automaton, AUV control, model-based systems engineering (MBSE), lcsh:Biology (General), lcsh:QD1-999, lcsh:TA1-2040, Trajectory, lcsh:Engineering (General). Civil engineering (General), Realization (systems), computer, lcsh:Physics
وصف الملف: application/pdf
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c40014188bea88de57370f059e1c46caTest
https://www.mdpi.com/2076-3417/10/22/8293Test -
7
المؤلفون: Benedict Wohlers, Faruk Pasic
المصدر: MoDRE@RE
مصطلحات موضوعية: Requirements engineering, Computer science, business.industry, Software development, Condition monitoring, Predictive maintenance, Software, Systems Modeling Language, Software requirements, Model-driven architecture, business, Software engineering, computer, computer.programming_language
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::dc77ab306c726f92c256ed478a60c781Test
https://doi.org/10.1109/modre51215.2020.00013Test -
8
المؤلفون: Hugo Bruneliere, Alessandra Bagnato, Dragos Truscan, Jordi Cabot, Pierluigi Pierini, Abel Gómez, Andrey Sadovykh, Orlando Avila-García, Wasif Afzal
المساهمون: Innopolis University, SOFTEAM, Mälardalen University (MDH), Åbo Akademi University [Turku], INTECS, NaoMod - Nantes Software Modeling Group (NaoMod), Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Universitat Oberta de Catalunya [Barcelona] (UOC), Institució Catalana de Recerca i Estudis Avançats (ICREA), Atos, European Project: 737494,H2020 ,H2020-ECSEL-2016-1-RIA-two-stage,MegaMaRt2(2017), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS), NaoMod - Nantes Software Modeling Group (LS2N - équipe NaoMod), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), IMT Atlantique (IMT Atlantique)
المصدر: Microprocessors and Microsystems: Embedded Hardware Design (MICPRO)
Microprocessors and Microsystems: Embedded Hardware Design (MICPRO), Elsevier, 2019, 71, pp.102848. ⟨10.1016/j.micpro.2019.102848⟩
Microprocessors and Microsystems: Embedded Hardware Design
Microprocessors and Microsystems: Embedded Hardware Design, 2019, 71, pp.102848. ⟨10.1016/j.micpro.2019.102848⟩
Microprocessors and Microsystemsمصطلحات موضوعية: Requirement, Traceability, Document Generation, Computer Networks and Communications, Process (engineering), Computer science, 02 engineering and technology, Plan (drawing), [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], Software, Unified Modeling Language, Artificial Intelligence, Systems Modeling Language, Architecture, 0202 electrical engineering, electronic engineering, information engineering, SysML, computer.programming_language, Requirement Engineering, Requirements engineering, business.industry, 020208 electrical & electronic engineering, Model-Driven Engineering, Modelio, 020202 computer hardware & architecture, UML, Roadmap, Hardware and Architecture, Model-driven architecture, Software engineering, business, computer
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a1d449ded587515c3b4822797195bb5bTest
https://hal.archives-ouvertes.fr/hal-02265575Test -
9
المؤلفون: Dorina C. Petriu, Bashar Al-Shboul
المصدر: Journal of Software Engineering and Applications. 11:204-222
مصطلحات موضوعية: Fault tree analysis, 021103 operations research, Computer science, Process (engineering), Distributed computing, Model transformation, 0211 other engineering and technologies, 020207 software engineering, 02 engineering and technology, Reuse, Life-critical system, Systems Modeling Language, Component (UML), 0202 electrical engineering, electronic engineering, information engineering, Model-driven architecture, computer, computer.programming_language
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::a39044e570c19fc0e9cc700302225ae0Test
https://doi.org/10.4236/jsea.2018.115013Test -
10
المصدر: Fusion Engineering and Design. 112:761-765
مصطلحات موضوعية: Interface control document, Vocabulary, Modeling language, Computer science, Interface (Java), Programming language, Mechanical Engineering, media_common.quotation_subject, computer.software_genre, 01 natural sciences, 010305 fluids & plasmas, Domain (software engineering), 010309 optics, Nuclear Energy and Engineering, Systems Modeling Language, 0103 physical sciences, Systems design, General Materials Science, Model-driven architecture, computer, Civil and Structural Engineering, computer.programming_language, media_common
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::c847e864e1f3efe88e31702a4534bf47Test
https://doi.org/10.1016/j.fusengdes.2016.05.024Test