Abstract is missing.
- An Introduction to Graphical Modeling of CI/CD Workflows with RigTim Tegeler, Sebastian Teumert, Jonas Schürmann, Alexander Bainczyk, Daniel Busch, Bernhard Steffen. 3-17 [doi]
- Pyrus: An Online Modeling Environment for No-Code Data-Analytics Service CompositionPhilip Zweihoff, Bernhard Steffen. 18-40 [doi]
- Integrating External Services in DIMEHafiz Ahmad Awais Chaudhary, Tiziana Margaria. 41-54 [doi]
- Asking WhyBarbara Steffen, Bernhard Steffen. 55-67 [doi]
- Formal Methods for a Digital Industry - Industrial Day at ISoLA 2021Falk Howar, Hardi Hungar, Andreas Rausch. 71-76 [doi]
- Agile Business Engineering: From Transformation Towards ContinuousInnovationBarbara Steffen, Falk Howar, Tim Tegeler, Bernhard Steffen. 77-94 [doi]
- Towards Living CanvasesBarbara Steffen, Frederik Möller, Alex Rotgang, Stephen Ryan, Tiziana Margaria. 95-116 [doi]
- Use Cases for Simulation in the Development of Automated Driving SystemsHardi Hungar. 117-128 [doi]
- Simulation-Based Elicitation of Accuracy Requirements for the Environmental Perception of Autonomous VehiclesRobin Philipp, Hedan Qian, Lukas Hartjen, Fabian Schuldt, Falk Howar. 129-145 [doi]
- DSLs and Middleware Platforms in a Model-Driven Development Approach for Secure Predictive Maintenance Systems in Smart FactoriesJobish John, Amrita Ghosal, Tiziana Margaria, Dirk Pesch. 146-161 [doi]
- From Requirements to Executable Rules: An Ensemble of Domain-Specific Languages for Programming Cyber-Physical Systems in Warehouse LogisticsMalte Mauritz, Moritz Roidl. 162-177 [doi]
- Mining Data Quality Rules for Data Migrations: A Case Study on Material Master DataMarcel Altendeitering. 178-191 [doi]
- Programming - What is Next?Klaus Havelund, Bernhard Steffen. 195-201 [doi]
- Low-Code Is Often High-Code, So We Must Design Low-Code Platforms to Enable Proper Software EngineeringTimothy C. Lethbridge. 202-212 [doi]
- Time for All Programs, Not Just Real-Time ProgramsEdward A. Lee, Marten Lohstroh. 213-232 [doi]
- Integrated Modeling and Development of Component-Based Embedded Software in ScalaKlaus Havelund, Robert Bocchino. 233-252 [doi]
- Slang: The Sireum Programming LanguageRobby, John Hatcliff. 253-273 [doi]
- HAMR: An AADL Multi-platform Code Generation ToolsetJohn Hatcliff, Jason Belt, Robby, Todd Carpenter. 274-295 [doi]
- Fundamental Constructs in Programming LanguagesPeter D. Mosses. 296-321 [doi]
- Introducing Dynamical Systems andChaos Early in Computer Science andSoftware Engineering Education Can Help Advance Theory and Practice ofSoftware Development and ComputingDavid Harel, Assaf Marron. 322-334 [doi]
- GATE: Gradual Effect TypesPhilip Wadler. 335-345 [doi]
- Fixing Classification: A Viewpoint-Based ApproachBran Selic, Alfonso Pierantonio. 346-356 [doi]
- The Future of Programming andModelling: A VisionPerdita Stevens. 357-377 [doi]
- Towards Model-Based Intent-Driven Adaptive SoftwareDaniel Balasubramanian, Alessandro Coglio, Abhishek Dubey, Gabor Karsai. 378-392 [doi]
- The Interoperability Challenge: Building a Model-Driven Digital Thread Platform for CPSTiziana Margaria, Hafiz Ahmad Awais Chaudhary, Ivan Guevara, Stephen Ryan, Alexander Schieweck. 393-413 [doi]
- Programming vs. That Thing Subject Matter Experts DoMarkus Voelter. 414-425 [doi]
- Aligned, Purpose-Driven Cooperation: The Future Way of System DevelopmentPhilip Zweihoff, Tim Tegeler, Jonas Schürmann, Alexander Bainczyk, Bernhard Steffen. 426-449 [doi]
- sVerify: Verifying Smart Contracts Through Lazy Annotation and LearningBo Gao, Ling Shi, Jiaying Li 0001, Jialiang Chang, Jun Sun 0001, Zijiang Yang. 453-469 [doi]
- Verifying Temporal Properties of Stigmergic Collective Systems Using CADPLuca Di Stefano 0001, Frédéric Lang. 473-489 [doi]