Abstract is missing.
- Generating Test Suites to Validate Legacy SystemsThomas Weigert, Alexander Kolchin, Stepan Potiyenko, Oleg Gurenko, Aswin van den Berg, Valentyn Banas, Roman Chetvertak, Roman Yagodka, Vlad Volkov. 3-23 [doi]
- Deriving Distributed Design Models from Global State Machines RequirementsMohammad F. Al-hammouri, Gregor von Bochmann. 27-43 [doi]
- Generic Graphical Navigation for Modelling ToolsHyacinth Ali, Gunter Mussbacher, Jörg Kienzle. 44-60 [doi]
- Protocol Syntax Development Using Domain Specific Modeling LanguagesGoran Rajic, Vlado Sruk. 61-77 [doi]
- Use of a Pivot Diagram in SysML to Support an Automated Implementation of a MBSE Design Methodology in an Industry 4.0 ContextRégis Plateaux, Olivia Penas, Farid Louni. 81-98 [doi]
- Modeling and Code Generation Framework for IoTMohammad Sharaf, Mai Abusair, Rami Eleiwi, Yara Shana'a, Ithar Saleh, Henry Muccini. 99-115 [doi]
- Process Enactment with Traceability Support for NFV SystemsOmar Hassane, Sadaf Mustafiz, Ferhat Khendek, Maria Toeroe. 116-135 [doi]
- On the Structure of Avionics Systems ArchitectureVisar Januzaj, Stefan Kugele. 139-149 [doi]
- Generating Executable Code from High-Level Social or Socio-Ecological Model DescriptionsThemis Dimitra Xanthopoulou, Andreas Prinz 0001, F. LeRon Shults. 150-162 [doi]
- Towards a Representation of Cellular Automaton Using Specification and Description LanguagePau Fonseca i Casas. 163-179 [doi]
- Goal Model Integration: Advanced Relationships and Rationales DocumentationMalak Baslyman, Daniel Amyot. 183-199 [doi]
- Union Models: Support for Efficient Reasoning About Model Families Over Space and TimeSanaa A. Alwidian, Daniel Amyot. 200-218 [doi]
- Facilitating the Co-evolution of Standards and ModelsPhilip Makedonski, Jens Grabowski. 219-232 [doi]
- Adapting Integrity Checking Techniques for Concurrent Operation ExecutionsXavier Oriol, Ernest Teniente. 235-248 [doi]
- Eventual Consistency FormalizedEdel Sherratt, Andreas Prinz 0001. 249-265 [doi]