中国机械工程学会生产工程分会知识服务平台

会议文集


会议名10th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2022)
中译名《第十届国际模型驱动工程与软件开发会议》
机构Institute for Systems and Technologies of Information, Control and Communication (INSTICC)
会议日期6-8 February 2022
会议地点Online
出版年2022
馆藏号343520


题名作者出版年
Integrating Security Protocols in Scenario-based Requirements SpecificationsThorsten Koch; Sascha Trippel; Stefan Dziwok; Eric Bodden2022
Modeling Context-aware Systems: A Conceptualized FrameworkAchiya Elyasaf; Arnon Sturm2022
A Model-based System Engineering Plugin for Safety Architecture Pattern SynthesisYuri Gil Dantas; Tiziano Munaro; Carmen Carlan; Vivek Nigam; Simon Barner; Shiqing Fan; Alexander Pretschner; Ulrich Schopp; Sergey Tverdyshev2022
Safety, Security and Performance Assessment of Security Countermeasures with SysML-SecBastien Sultan; Ludovic Apvrille; Philippe Jaillon2022
Extraction Process of the Logical Schema of a Document-oriented NoSQL DatabaseFatma Abdelhedi; Hela Rajhi; Gilles Zurfluh2022
Towards a MaaS Service for Cloud Service InteroperabilityNour El Houda Bouzerzour; Yahya Slimani2022
Code Generation by ExampleKevin Lano; Qiaomu Xue2022
MDD4REST: Model-Driven Methodology for Developing RESTful Web ServicesAmirhossein Deljouyi; Raman Ramsin2022
Discerning Quantities from Units of MeasurementSteve McKeever2022
The Problem with 'Dimensionless Quantities'B. D. Hall2022
Text-To-Model (TeToMo) Transformation Framework to Support Requirements Analysis and ModelingGayane Sedrakyan; Asad Abdi; Stephanie M. Van Den Berg; Bernard Veldkamp; Jos Van Hillegersberg2022
Transforming Domain Specific Modeling Languages into Feature ModelsMaouaheb Belarbi; Vincent Englebert2022
Semi-automatic Integrated Safety and Security Analysis for Automotive SystemsMarkus Fockel; David Schubert; Roman Trentinaglia; Hannes Schulz; Wolfgang Kirmair2022
Universal Safety Format: Automated Safety Software GenerationFrederik Haxel; Alexander Viehl; Michael Benkel; Bjoern Beyreuther; Klaus Birken; Rolf Schmedes; Kim Gruttner; Daniel Mueller-Gritschneder2022
Modeling of Intralogistic Processes for the Implementation of Warehouse Management SystemsMarkus Rabe; Felix Stadler2022
SysML Models Verification Relying on Dependency GraphsLudovic Apvrille; Pierre De Saqui-Sannes; Oana Hotescu; Alessandro Tempia Calvino2022
Verifiable Executable Models for Decomposable Real-time SystemsCallum McColl; Vladimir Estivill-Castro; Morgan McColl; Rene Hexel2022
Ontology-based Detection of Inconsistencies in UML/OCL ModelsShan Lu; Alexey Tazin; Yanji Chen; Mieczyslaw M. Kokar; Jeff Smith2022
Formal Scenario-driven Logical Spaces for Randomized Synthetic Data GenerationOsama Maqbool; Jurgen Rossmann2022
Use of Compiler Intermediate Representation for Reverse Engineering: A Case Study for GCC Compiler and UML Activity DiagramRania Mzid; Asma Charfi; Najmeddine Etteyeb2022
123



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  机械工业信息研究院 2018-2024