![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| ECommerce.als | 2022-11-22 09:33 | 2.1K | |
| ECommerceAPI.als | 2022-11-22 09:33 | 886 | |
| ECommerceDomain.als | 2025-04-03 16:53 | 1.5K | |
| ECommerceSecurityProperties.als | 2025-04-03 16:53 | 695 | |
| ECommerceSoftware.als | 2025-04-03 16:53 | 6.4K | |
| ECommerceState.als | 2025-04-03 16:53 | 143 | |
| ECommerceSystem.als | 2022-11-16 22:19 | 1.3K | |
| Event.als | 2022-11-16 12:08 | 138 | |
| FileSystem.als | 2022-11-11 13:14 | 1.0K | |
| FileSystem2.als | 2022-11-11 13:42 | 676 | |
| 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 | |
| Outline-files.txt | 2022-11-16 23:08 | 207 | |
| RiverCrossing.als | 2022-11-11 15:35 | 1.1K | |
| Shimanto.als | 2022-11-17 10:15 | 545 | |
| TypingBasics.als | 2022-11-17 09:41 | 712 | |
| TypingBasicsSigs.als | 2022-11-16 23:34 | 151 | |
| ValueControlledByOnlineEntity.als | 2023-11-19 21:55 | 287 | |
| Wang-etal11.pdf | 2023-11-20 13:09 | 782K | |
| alloy.txt | 2022-11-14 23:34 | 12K | |
| developing-model.txt | 2022-11-17 00:53 | 6.9K | |
| eCommerceFig4.als | 2022-11-14 22:30 | 1.5K | |
| eCommerceFig4Better.als | 2022-11-14 23:01 | 1.9K | |
| filesystem.thm | 2022-11-11 13:43 | 298 | |
| joining.als | 2023-11-19 21:55 | 326 | |
| logicalProblems.als | 2023-11-19 21:55 | 1.1K | |
| online.als | 2022-11-14 17:51 | 508 | |
| relationBasics.als | 2025-04-03 16:53 | 356 | |
| relationStyles.als | 2025-04-03 16:53 | 722 | |