A Method and System for Direct Implementation of Formal Specifications Derived Mechanically from Informal Requirements (GSC-14941)

Abstract:
A technique is claimed for mechanically deriving not only formal specifications but also executable computer-code from both English language and programming language representations of scenarios of hardware or software system behavior. The formal specifications will allow us to check the scenarios for potential errors that are difficult or nearly impossible to find either with natural language specifications or with specifications having no formal underlying mathematical foundation. From the formal specifications, this technique automatically and mechanically generates computer-executable code, which will ensure that no errors are introduced into the code from manual coding.

Type of Offer: Licensing



« More Engineering - Mechanical Patents

---