Patents by Inventor Alan Stanley Jones

Alan Stanley Jones has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • SYSTEM AND METHOD FOR DESCRIBING SOFTWARE REQUIREMENT LOGIC
    Publication number: 20120291002
    Abstract: The present invention is a system to describe software requirement logic that includes a plurality of software requirements and an exclusive natural deduction style of formal reasoning that includes a plurality of connectives and a plurality of corresponding Latinate. The connectives include the group consisting of and, if-then, or, or not and the Latinate include the group consisting of conjunction, implication, disjunction or negation. The software requirements are included in a requirement phase and an implementation phase of a traditional software development cycle. The present invention also includes a method for describing software requirement logic.
    Type: Application
    Filed: August 14, 2011
    Publication date: November 15, 2012
    Inventors: Paul William Watkinson, Alan Stanley Jones, Wojtek Rappak