SpecIF-Examples-and-Test-cases A set of SpecIF examples for demo, templates with predefined dataTypes and Classes as a starting point for various applications, and test-cases.