default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th MODELSWARD 2023: Lisbon, Portugal
- Francisco José Domínguez Mayo, Luís Ferreira Pires, Edwin Seidewitz:
Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, MODELSWARD 2023, Lisbon, Portugal, February 19-21, 2023. SCITEPRESS 2023, ISBN 978-989-758-633-0
Invited Speakers
- Sanford Friedenthal:
Future Directions for MBSE with SysML v2. 5-9 - Vadim Zaytsev:
Responsible Language Design. MODELSWARD 2023: 11 - Henderik A. Proper:
On Views, Diagrams, Programs, Animations, and Other Models. MODELSWARD 2023: 13-14
Papers
- Kevin Lano, Qiaomu Xue:
Lightweight Software Language Processing Using Antlr and CGTL. 19-30 - Ludovic Apvrille, Bastien Sultan
, Oana Hotescu, Pierre de Saqui-Sannes, Sophie Coudert:
Mutation of Formally Verified SysML Models. 31-42 - Abdelkader Ouared, Moussa Amrani, Pierre-Yves Schobbens:
Go Meta of Learned Cost Models: On the Power of Abstraction. 43-54 - Petr Hnetynka, Martin Krulis, Michal Töpfer, Tomás Bures:
Modeling Machine Learning Concerns in Collective Adaptive Systems. 55-62 - Oliver Hacker, Thomas Buchmann:
NICE: A Flexible Expression Language. 63-74 - Johannes Schröpfer:
An Integrated Framework for Running Extended Class Models. 75-84 - Norbert Somogyi, Gergely Mezei:
Verifying Static Constraints on Models Using General Formal Verification Methods. 85-93 - Philippe Barbie, Martin Becker, Andreas Schäfer:
InTra: A Pragmatic Approach of Using Rule-Based Model Transformation to Reduce Complexity of UML and SysML Models. 97-104 - Maouaheb Belarbi, Vincent Englebert:
On the Interest of Combining Several Variability Tactics to Design the Implementation of Product Lines. 105-116 - Daniela Genius, Ludovic Apvrille:
Hierarchical Design of Cyber-Physical Systems. 117-124 - Takahiro Yamazaki, Takafumi Tanaka, Atsuo Hazeyama, Hiroaki Hashiura:
A Tool for Supporting Round-Trip Engineering with the Ability to Avoid Unintended Design Changes. 125-132 - Dennis Wolters, Gregor Engels:
Model-Driven Collaborative Design of Professional Education Programmes with Extended Online Whiteboards. 133-142 - Michael Oberlehner, Bianca Wiesmayr, Hafiyyan Sayyid Fadhlillah, Alois Zoitl:
Visualizing Errors and Inconsistencies in the DSML IEC 61499. 143-151 - Mainak Majumder, Alois Zoitl:
A Modelling Methodology for Developing an Information Model for Cyber-Physical Production Systems using OPC UA. 152-159 - Tanel Sõerd, Kristian Kankainen, Gunnar Piho, Toomas Klementi, Peeter Ross:
Towards Specification of Medical Processes According to International Standards and Semantic Interoperability Needs. 160-167 - Fernando Moreira, Nuno Bettencourt, Alexandre Bragança, Isabel Azevedo:
A Proposal Towards Discovering Metamodels from Low-Code Application Platforms. 168-175 - Andreas Margraf, Henning Cui, Simon Heimbach, Jörg Hähner, Steffen Geinitz, Stephan Rudolph:
Model-Driven Optimisation of Monitoring System Configurations for Batch Production. 176-183 - Purav Panchal, Nina Sorokina, Manuel Kuder, Stephan Myschik, Konstantin Dmitriev, Florian Holzapfel:
Application of a Process-Oriented Build Tool for Verification and Validation of a Battery Slave Controller for a Battery Modular Multilevel Management System Along the DO-178C/DO-331 Process. 184-193 - Jati H. Husen, Hironori Washizaki, Nobukazu Yoshioka, Hnin Thandar Tun, Yoshiaki Fukazawa, Hironori Takeuchi:
Metamodel-Based Multi-View Modeling Framework for Machine Learning Systems. 194-201 - Assaf Marron, Irun R. Cohen, Guy Frankel, David Harel, Smadar Szekely:
Challenges in Modeling and Unmodeling Emergence, Rule Composition, and Networked Interactions in Complex Reactive Systems. 202-209 - Weixing Zhang, Regina Hebig, Jan-Philipp Steghöfer, Jörg Holtmann:
Creating Python-Style Domain Specific Languages: A Semi-Automated Approach and Intermediate Results. 210-217 - Jörg Holtmann, Jan-Philipp Steghöfer, Weixing Zhang:
Exploiting Meta-Model Structures in the Generation of Xtext Editors. 218-225 - Jacques Verriet, Bram van der Sanden, Gijs van der Veen, André van Splunter, Sam Lousberg, Martijn Hendriks, Twan Basten:
Experiences and Lessons from Introducing Model-Based Analysis in Brown-Field Product Family Development. 226-236 - Shekoufeh Kolahdouz Rahimi, Kevin Lano, Chenghua Lin:
Requirement Formalisation Using Natural Language Processing and Machine Learning: A Systematic Review. 237-244 - Afef Awadid, Remi Boyer:
Supporting Change Impact Analysis in System Architecture Design: Towards a Domain-Specific Modeling Method. 245-252 - Adiel Ashrov, Guy Katz:
Enhancing Deep Learning with Scenario-Based Override Rules: A Case Study. 253-268 - Christophe Ponsard, Robert Darimont:
Towards Multi-Level Structuring of Goal-Oriented Models for Improved Model-Based Systems Engineering. 269-274 - Yuval Bayer, David Harel, Assaf Marron, Smadar Szekely:
Toward Automated Modeling of Abstract Concepts and Natural Phenomena: Autoencoding Straight Lines. 275-282 - Nadia Chouchani, Sana Debbech:
ATMO: Autonomous Train Map Ontology. 283-290
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-05-12 21:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
