Preventative software systems

Traditional software environments help “fix wrong things up” instead of “doing them right in the first place”. Things happen too late if at all. Quality is compromised. Dollars are wasted. A promising paradigm is development before the fact, where a system´s properties control its own development. The goal is to develop a system with built-in quality and built-in productivity. Whereas the traditional approach is curative, development before the fact is preventative. Its formal language, both function and object oriented, is the key. We describe the technology and its automation, a full life cycle systems engineering and software development environment. Complete, fully production-ready, integrated code can be automatically generated for any kind of software system as well as be configured for the language and architecture of choice. Also described is users´ experience in its application to real world systems