System and method of conclusively verifying the correctness of an information system without needing to test every combination of behavior at run-time

An information system comprising:

• a database;
• and
• one or more user interface or client programs, wherein:
• a framework in the database is adapted to store as data, alongside content data:
• (i) system structures and application structures;
• and (ii) system data, application data and rule data that represent the structure of the information system and that include definitions of the user interface or client programs as well as definitions of rules as rule data;
• a framework in a user interface or client program is adapted to load the system data, application data and rule data from the database into an object with rules in the user interface or client program, thereby defining an application;
• the database is operable to perform validations to maintain the integrity of system data, application data and rule data, by using triggers and/or stored procedures, the database being operable to perform the validations prior to storage on the database of the system data, application data and rule data;
• and
• wherein the rules in the user-interface or client program, and the validations performed by the database, ensure that the integrity of the system is maintained during each step of development or during operation, without having to test every combination of behavior at run-time.