S Halle - Proceedings of the 2011 IEEE 15th International …, 2011 - dl.acm.org
Interface contracts are sets of constraints specifying valid exchanges of messages between
two or more peers. A contract violation occurs when one of the peers fails to fulfil one of …