Gregor Nitsche, Ralph Görgen, Kim Grüttner, Wolfgang Nebel. Structural Contracts - Motivating Contracts to Ensure Extra-Functional Semantics. In Marcelo Götz, Gunar Schirner, Marco Aurélio Wehrmeister, Mohammad Abdullah Al Faruque, Achim Rettberg, editors, System Level Design from HW/SW to Memory for Embedded Systems - 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3-6, 2015, Proceedings. Volume 523 of IFIP Advances in Information and Communication Technology, pages 77-87, Springer, 2015. [doi]
Abstract is missing.