bessy 0.0.1

Behavioural Specification System

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

• Author: Maurice HT Ling
• Home Page: http://bessy.sourceforge.net
• License: GNU General Public License version 2
• Categories
  • Development Status :: 1 - Planning
  • Intended Audience :: Developers
  • Intended Audience :: Science/Research
  • License :: OSI Approved :: GNU General Public License (GPL)
  • Operating System :: OS Independent
  • Programming Language :: Python
  • Topic :: Software Development
• Package Index Owner: mauriceling
• DOAP record: bessy-0.0.1.xml