Proving Properties of Operation Contracts with Test Scenarios

Lecture Notes in Computer Science - Trang 97-107 - 2023
Gogolla, Martin1, Hamann, Lars2
1University of Bremen
2Hamburg University of Applied Sciences

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...

Thông tin
Thông tin xuất bản

Lecture Notes in Computer Science

97-107

Thông tin tác giả