We follow the a very formal process for creating software. It is centered around the Softwate Development Life Cycle (SDLC). We strongly believe that the business of creating technology that is highly reliable, scalable, flexible, high performance, and secure is highly complex. This complexity can be daunting and must be approached in a structed manner. Our approach breaks down the project into discrete, easily managed tasks. We take a highly mathematical approach to modeling systems. We use Z-notation, CSP, UML, and other tools in our modeling. Our checklists serve as a guide to ensure that no system attribute is overlooked.