Abstract: System operation contracts were introduced by C. Larman as an application of the notion of Design by Contract (DbC) to the description of high-level system operations derived from ...