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)

Discussing the Future Role of Documentation in the Context of Modern Software Engineering (ISoLA 2022 Track Introduction)

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

Agile Business Engineering: From Transformation Towards Continuous Innovation

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

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)

DIME Days (ISoLA 2022 Track Introduction)

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

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)