Home   
   Overview   
   Downloads   
   Documentation   
   Papers   
   Presentations   
   History   
   People   

 

 

 

 

Books

Title Version Date Description Downloads
Omnibus Language Reference Manual 1.1 8th June 2005 A very early preliminary version of a reference manual for the language with extended example-based introduction Coming soon
Writing Interface Contracts in Omnibus, by Example 1.0 June 2004 Preliminary version of textbook to teach students to write good specifications in Omnibus Coming soon

Video Tutorials

Title Version Date Description Downloads
Introduction to the Omnibus IDE 1.0 8th June 2005 Tutorial series introducing the basic functionality of the IDE with examples of the type checker, automated verifier, code generator etc. Compressed Zip File All (163 Mb) Folder Separate
Omnibus project ©2006 Thomas Wilson. Site designed by Graeme Fairholm.