TL;DR
This paper introduces seamless object-oriented requirements, enhancing Design by Contract with advanced proving tools to improve expressiveness, verifiability, and reusability in software development.
Contribution
It presents a novel approach that extends Design by Contract using program proving tools to address traditional contract limitations.
Findings
Improves contract expressiveness and reusability
Enhances verifiability with advanced proving tools
Quantitative evaluation shows significant problem fixes
Abstract
Design by Contract enables seamless software development by unifying software requirements with their implementations. In its pure form, however, Design by Contract leaves some problems with contracts' expressiveness, verifiability, and reusability open. These problems significantly reduce practical applicability of seamless development. The present article introduces seamless object-oriented requirements - a novel approach to seamless development that builds upon Design by Contract and now-available advanced program proving tools. The article explains and illustrates the new approach, concluding with a quantitative evaluation of the extent to which the approach fixes the problems of traditional contracts.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.