


default search action
11th SAM 2019: Munich, Germany
- Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt:

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 - 11th International Conference, SAM 2019, Munich, Germany, September 16-17, 2019, Proceedings. Lecture Notes in Computer Science 11753, Springer 2019, ISBN 978-3-030-30689-2
Keynote Talk
- Thomas Weigert, Alexander Kolchin

, Stepan Potiyenko
, Oleg Gurenko, Aswin van den Berg, Valentyn Banas, Roman Chetvertak, Roman Yagodka, Vlad Volkov:
Generating Test Suites to Validate Legacy Systems. 3-23
Distributed Applications, Metamodeling and Protocols
- Mohammad F. Al-hammouri

, Gregor von Bochmann:
Deriving Distributed Design Models from Global State Machines Requirements. 27-43 - Hyacinth Ali, Gunter Mussbacher, Jörg Kienzle:

Generic Graphical Navigation for Modelling Tools. 44-60 - Goran Rajic

, Vlado Sruk
:
Protocol Syntax Development Using Domain Specific Modeling Languages. 61-77
Industry 4.0 Applications
- Régis Plateaux

, Olivia Penas
, Farid Louni
:
Use of a Pivot Diagram in SysML to Support an Automated Implementation of a MBSE Design Methodology in an Industry 4.0 Context. 81-98 - Mohammad Sharaf, Mai Abusair, Rami Eleiwi, Yara Shana'a, Ithar Saleh, Henry Muccini

:
Modeling and Code Generation Framework for IoT. 99-115 - Omar Hassane, Sadaf Mustafiz, Ferhat Khendek

, Maria Toeroe:
Process Enactment with Traceability Support for NFV Systems. 116-135
Modeling in Environmental Social and Industrial Systems
- Visar Januzaj

, Stefan Kugele
:
On the Structure of Avionics Systems Architecture. 139-149 - Themis Dimitra Xanthopoulou

, Andreas Prinz
, F. LeRon Shults
:
Generating Executable Code from High-Level Social or Socio-Ecological Model Descriptions. 150-162 - Pau Fonseca i Casas

:
Towards a Representation of Cellular Automaton Using Specification and Description Language. 163-179
Interoperability
- Malak Baslyman

, Daniel Amyot
:
Goal Model Integration: Advanced Relationships and Rationales Documentation. 183-199 - Sanaa A. Alwidian, Daniel Amyot

:
Union Models: Support for Efficient Reasoning About Model Families Over Space and Time. 200-218 - Philip Makedonski

, Jens Grabowski
:
Facilitating the Co-evolution of Standards and Models. 219-232
Concurrency, Data Integrity
- Xavier Oriol

, Ernest Teniente:
Adapting Integrity Checking Techniques for Concurrent Operation Executions. 235-248 - Edel Sherratt

, Andreas Prinz:
Eventual Consistency Formalized. 249-265

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














