search

ModelWriter / WP3

A Platform for Automated Analysis of Traceability (WP3)
https://modelwriter.github.io/WP3/
Eclipse Public License 1.0
4 stars 1 forks source link

Design several well-known example in AIE such as FileSystem or AddressBook of Alloy, BirthdayBook of Spivey Z, or Theory of Lists presented by Emina Torlak etc. #73

Open ferhaterata opened 7 years ago

ferhaterata commented 7 years ago

"Theory of Lists" might be an interesting example for demonstration of AlloyInEcore since it can be also extended with generic types as well.

https://ocw.mit.edu/ans7870/6/6.005/s16/classes/16-recursive-data-types/recursive/