Contract-Based Programming for Future Computing with Ada 2012. - Bo Wang 079; Hongbiao Gao; Jingde Cheng (CBD, 2016)