Enhancing Design-by-Contract with Frame Specifications. - Yoonsik Cheon; Benjamin Good (ICSOFT, 2025)