BOCS

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