Peer To Patent

Pre-Grant Publication Number: 20110022575

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

Filing Date: January 30, 2008Priority Date: January 30, 2008

Inventors: Paul Leslie Tomkins

Assignee(s): Pro Se - Paul L. Tomkins

Current U.S. Classification: 707, 707/702000, 707/E17005

View Prior Art for Claim 00004

A system as claimed in Claim 1 where validations of the system meta data, application meta data and rule meta data can be performed at the client, in a middleware application through which data is passed between the client and the database, on the database or any combination of these before the data is committed to the database.

0 days left