Aspose
.Net and Java component publisher providing components to manage file formats, including Excel, Word, PowerPoint, Project, PDF, and Flash and components for charting, spell checking, emailing, workflow, and ad hoc query generation.
http://www.aspose.com/

Model checking
Model checking Erlang code through formal methods.
http://www.dcs.shef.ac.uk/~jd/Projects/erlang.html

Grumberg, Orna
The Technion - Computer-aided verification of software and hardware, modularity and abstraction, temporal logics, equivalences and preorders, automata on infinite objects, theorem provers, static analysis and model checking, coverage in model checking.
http://www.cs.technion.ac.il/users/orna/

TILT Compiler
TILT Compiler Home Page
http://www.tilt.cs.cmu.edu/

PIE Products Tool Suite and Components
Tools for design-mode spell checking; forms scaling and interface design management; menu management; security key tool.
http://www.pieproducts.com/products.htm

Developer Express
Developer Express Inc - Feature-Complete Components, Reporting Tools, IDE Add-ins, and Business Application Frameworks for Visual Studio, Delphi and C++Builder
http://www.devexpress.com/

Languard Network Security Products
GFI offers network security software including intrusion detection, security scanner, anti virus for Exchange and anti virus for ISA server
http://www.languard.com

Reo Components
REO is an original manufacturer of high quality power equipment, including electronic controllers, components and electrical regulators.
http://www.reocomponents.com

KineticaRT
KineticaRT is a unique collection of software components and applications for building high speed systems for control, monitoring, test and data acquisition. KineticaRT is used in applications as diverse as greenhouse controllers, financial data displays, retail security, F1 wind tunnels and engine test cells.
http://www.kineticart.co.uk/Default.asp?page=Products/KineticaRT

Key Components International Ltd.
Brokers of electronic and PC chipset components, supplying surface mount components for the PC repair and computer OEM marketplace.
http://www.keycomponents.co.uk