Software Technologies: Applications and Foundations

The STAF 2018 conferences and workshops brought together leading researchers and practitioners from academia and industry to advance the state of the art in practical and foundational advances in software technology. They address all aspects of software technology, from object-oriented design, testing, mathematical approaches to modelling and verification, transformation, model-driven engineering, aspect-oriented techniques, and tools. The satellite workshops provided a highly interactive and collaborative environment to discuss emerging areas of software engineering, software technologies, model-driven engineering and formal methods. The eight workshops papers are included in this volume.

[1]  Herman Van der AuweraerJan.  Virtual engineering at work: the challenges for designing mechatronic products , 2013 .

[2]  Eilif Pedersen,et al.  Energy conservation and power bonds in co-simulations: non-iterative adaptive step size control and error estimation , 2016, Engineering with Computers.

[3]  Casper Thule,et al.  Semantic adaptation for FMI co-simulation with hierarchical simulators , 2019, Simul..

[4]  Pieter J. Mosterman,et al.  Zero-Crossing Location and Detection Algorithms For Hybrid System Simulation , 2008 .

[5]  Tamás Kalmár-Nagy,et al.  Can complex systems really be simulated? , 2014, Appl. Math. Comput..

[6]  Waguih ElMaraghy,et al.  Complexity of Multi-Disciplinary Design , 2007 .

[7]  Werner Schiehlen,et al.  Modular Simulation in Multibody System Dynamics , 2000 .

[8]  Gerard J. Holzmann,et al.  The Model Checker SPIN , 1997, IEEE Trans. Software Eng..

[9]  M. Busch.  Continuous approximation techniques for co‐simulation methods: Analysis of numerical stability and local error , 2016 .

[10]  Hans Vangheluwe,et al.  Approximated Stability Analysis of Bi-modal Hybrid Co-simulation Scenarios , 2017, SEFM Workshops.

[11]  David Broman,et al.  Hybrid Co-simulation: It's About Time , 2018, MoDELS.

[12]  Peter Palensky,et al.  Cosimulation of Intelligent Power Systems: Fundamentals, Software Architecture, Numerics, and Coupling , 2017, IEEE Industrial Electronics Magazine.

[13]  B. Schweizer,et al.  Explicit and Implicit Cosimulation Methods: Stability and Convergence Analysis for Different Solver Coupling Approaches , 2015 .

[14]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[15]  Martin Arnold,et al.  Stability of Sequential Modular Time Integration Methods for Coupled Multibody System Models , 2010 .

[16]  David Broman,et al.  Co-Simulation , 2018, ACM Comput. Surv..