Behavioural Specification SYstem

  •        0

A formal specification language and tools based on high-school mathematics - sets theory, functions, arithmetics and Boolean algebra.

http://copads.sourceforge.net

Tags
Implementation
License
Platform

   

comments powered by Disqus


Related Projects

Ofeli - an Open, Fast and Efficient Level set Implementation


ReviewFeaturesLicenseAuthorAcknowledgmentsReferences Review Ofeli (as an acronym for Open, Fast and Efficient Level set Implementation) demonstrates how to operate an image segmentation algorithm of Y. Shi and W. C. Karl |1|, using a discrete approach for the approximation of level-set based curve evolution (implicit active contours). This is a novel (2005) and fast algorithm without the need of solving partial differential equations (PDE) while preserving the advantages of level set methods, su

Usacojourney - my source code of the USACO training program


What's thisThis is my source code of USACO training program. Since I haven't finished my journey of USACO yet, this repos will be updated time by time. Where I stopped/*I have finished the following problem from August to November,2008(lazy guy, hum..) and the journey of USACO was paused for my busy studying and projecting, and this list will be updated time by time.*/ Chapter 1\tDONE \t2008.11.04\tGetting started Section 1.0\tDONE\t2008.11.04 \tTEXT Introduction Section 1.1\tDONE\t2008.11.04 \t







Open source products are scattered around the web. Please provide information about the open source projects you own / you use. Add Projects.

Tag Cloud >>