Bao Technologies
Bao Technologies was founded in year 2K by Guy Fokou
to actively promote and support the development of high quality
(trustworthy, reusable, and maintainable) software components.
A high quality software component is: reliable, modular and
maintainable.
Reliable software must be correct: it must behave according
to specification.
Maintainable software must be extendible: it must be easy
to change with changing requirements.
Bao Technologies applies object technology and design by contract
as promoted by Dr. Bertrand
Meyer for a seamless develpment of software systems from
requirements definition to maintainance.