|
The Family examples for week 3 lectures are here:
The Academia examples for week 4 lectures are here: The Airport examples (described here) for week 4 lectures are here: The Family examples for week 5 lectures are here: The Dynamic Airport example (described here) for week 6 lectures are here: Instances generated for this last alloy model are given here. Note that this model does not completely capture the meaning we might want (e.g., in the takeoff instance ServiceVehicles M1 and M2 are at location L1 which is in the air, i.e., not part of a fixed resource). Always be critical in analyzing the fidelity of the models you create.The Family examples in USE for week 8 lectures are here: The Academia examples in USE for week 8 lectures are here: The Academia examples in USE for week 10 lectures are here: The Academia examples in USE for week 11 lectures are here:
The Academia examples in USE for week 13 lectures are here:
|
| Maintained by Matthew Dwyer and John Hatcliff |