Enhancing Design-by-Contract with Frame Specifications

Yoonsik Cheon, Benjamin Good. Enhancing Design-by-Contract with Frame Specifications. In Massimo Mecella, Arend Rensink, Leszek A. Maciaszek, editors, Proceedings of the 20th International Conference on Software Technologies, ICSOFT 2025, Bilbao, Spain, June 10-12, 2025. pages 378-385, SCITEPRESS, 2025. [doi]

Abstract

Abstract is missing.