Guaranteeing Type Consistency in Collective Adaptive Systems

von Schürmann, Jonas
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 2: Engineering principles (2020)

Evaluation of Graphical Modeling of CVCD Workflows with Rig

von Teumert, Sebastian
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 2: Software engineering (2022)

Aligned, Purpose-Driven Cooperation: The Future Way of System Development

von Zweihoff, Philip
Veröffentlicht in International Symposium on Leveraging Applications of Formal Methods (10. : 2021 : Rhodos, Stadt) Leveraging applications of formal methods, verification and validation (2021)

Executable Documentation: From Documentation Languages to Purpose-Specific Languages

von Tegeler, Tim
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 2: Software engineering (2022)

An Introduction to Graphical Modeling of CVCD Workflows with Rig

von Tegeler, Tim
Veröffentlicht in International Symposium on Leveraging Applications of Formal Methods (10. : 2021 : Rhodos, Stadt) Leveraging applications of formal methods, verification and validation (2021)

Executable Documentation: Test-First in Action

von Smyth, Steven
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 2: Software engineering (2022)

CIncOo Cloud: A Holistic Approach for Web-Based Language-Driven Engineering

von Bainczyk, Alexander
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 2: Software engineering (2022)