Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Explore a conference presentation that introduces a vision for extending Correctness-by-Construction (CbC) engineering to encompass non-functional software properties beyond traditional functional correctness. Learn how researchers from KIT Germany and Australian National University propose generalizing X-by-Construction (XbC) approaches to integrate software quality attributes such as performance, reliability, and energy efficiency into refinement-based development processes. Discover the current limitations of existing XbC methods, which primarily focus on information flow properties, and examine proposed solutions for incorporating broader non-functional guarantees during program construction rather than through post-hoc verification. Understand the theoretical foundations of refinement-based software development and how applying correct refinement rules enables early bug detection during the construction phase. Gain insights into the challenges and requirements for integrating non-functional properties into by-Construction engineering, with particular emphasis on energy efficiency considerations. Examine the potential impact of this approach on future software engineering practices, where developers can ensure both functional correctness and non-functional quality guarantees simultaneously through systematic construction methods.
