architecture b-spline catia cambridge computer-aided design computer-aided engineering computer-aided manufacturing coordinate-measuring machine dassault systemes england fem free on-line dictionary of computing gnu free documentation license greek mythology hp-ux hewlett-packard ibm kernel linux list of software categories mac os x manufacturing microsoft windows operating system proprietary software red hat simulation software developer software license software release life cycle solid modeling spatial corp sun microsystems surface website