A set of SpecIF
- examples for demo,
- templates with predefined dataTypes and Classes as a starting point for various applications, and
- test-cases.
Also see the examples published on the SpecIF Homepage; the tutorial examples are maintained in the subfolders v1.0 to v1.2.