Proving Properties of Operation Contracts with Test Scenarios
Lecture Notes in Computer Science - Trang 97-107 - 2023
Tóm tắt
This contribution studies structural and behavioral models by applying (a) UML classes, associations, attributes, generalization and OCL invariants for structural model features and (b) UML operations and OCL contracts, i.e., pre- and postconditions, for...