2025 IEEE/ACM International Workshop on Designing Software (Designing)