A Systematics generator

Systematics is a specification language designed for automatic code generation. Systematics uniquely provides auto-provability by virtue of the inclusion of ldquosystem timerdquo as an inherent characteristic of information. A code generator based on Systematics is described which, unlike other code generators, requires no computing expertise on the part of the user, and is not limited to any specific type of generated application. The generator stores the specification in tabular form, in terms of 8 basic concepts. The generated system includes a pre-written ldquoauto-navigationrdquo function which is called to produce outputs on receipt of stimuli. The Systematics generator has initially been implemented in Microsoft Access to provide ldquoProof of Principlerdquo. A generic version of the Systematics Generator is currently being developed by the Systematics Research Group. This version will be independent of any proprietary database product, but with the ability to ldquofront-endrdquo any such product, and will also allow automatic optimisation of the database.