Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore a conference presentation that introduces a visionary approach to extending Correctness-by-Construction (CbC) engineering beyond functional properties to encompass non-functional software quality attributes. Learn how researchers from KIT Germany and Australian National University propose generalizing X-by-Construction (XbC) methodologies to integrate performance, reliability, and energy efficiency into refinement-based software development. Discover the current limitations of XbC approaches that focus primarily on information flow properties and understand the proposed solutions for developing software that guarantees both functional correctness and non-functional properties by construction. Examine specific ideas for ensuring energy efficiency in by-construction engineering and assess the challenges and requirements for integrating diverse non-functional properties into formal software development methodologies. Gain insights into how this refinement-based approach could revolutionize future software engineering by enabling developers to construct high-quality software with built-in guarantees for multiple quality dimensions rather than relying on post-hoc verification methods.
