


default search action
11th 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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














