bocs

from The Free On-line Dictionary of Computing (8 July 2008)

BOCS

   Berard Object and Class Specifier, an Object-oriented CASE
   tool from Berard Software Engineering.