Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
FileSystem.als | 2022-11-11 13:14 | 1.0K | ||
FileSystem2.als | 2022-11-11 13:42 | 676 | ||
filesystem.thm | 2022-11-11 13:43 | 298 | ||
FileSystem4.als | 2022-11-11 13:49 | 457 | ||
FileSystem5.als | 2022-11-11 14:49 | 1.8K | ||
FileSystem6.als | 2022-11-11 15:01 | 1.9K | ||
RiverCrossing.als | 2022-11-11 15:35 | 1.1K | ||
online.als | 2022-11-14 17:51 | 508 | ||
eCommerceFig4.als | 2022-11-14 22:30 | 1.5K | ||
eCommerceFig4Better.als | 2022-11-14 23:01 | 1.9K | ||
alloy.txt | 2022-11-14 23:34 | 12K | ||
Event.als | 2022-11-16 12:08 | 138 | ||
ECommerceSystem.als | 2022-11-16 22:19 | 1.3K | ||
Outline-files.txt | 2022-11-16 23:08 | 207 | ||
TypingBasicsSigs.als | 2022-11-16 23:34 | 151 | ||
developing-model.txt | 2022-11-17 00:53 | 6.9K | ||
TypingBasics.als | 2022-11-17 09:41 | 712 | ||
Shimanto.als | 2022-11-17 10:15 | 545 | ||
ECommerceAPI.als | 2022-11-22 09:33 | 886 | ||
ECommerce.als | 2022-11-22 09:33 | 2.1K | ||
joining.als | 2023-11-19 21:55 | 326 | ||
logicalProblems.als | 2023-11-19 21:55 | 1.1K | ||
relationStyles.als | 2023-11-19 21:55 | 616 | ||
ValueControlledByOnlineEntity.als | 2023-11-19 21:55 | 287 | ||
ECommerceSecurityProperties.als | 2023-11-20 13:08 | 695 | ||
ECommerceState.als | 2023-11-20 13:08 | 143 | ||
Wang-etal11.pdf | 2023-11-20 13:09 | 782K | ||
relationBasics.als | 2023-11-21 10:38 | 187 | ||
ECommerceDomain.als | 2024-11-21 10:26 | 1.7K | ||
ECommerceSoftware.als | 2024-11-21 10:26 | 6.1K | ||