ModelWriter/WP3

UML Package Template Mechanism and Alloy Parametric Modules

Opened this issue · 0 comments

UML Template Signature, Template Parameter, Template Binding

image
Binding substitutes class T with class Customer and boundary n with integer value 24. Source

image

image

image

Source