The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Jun. 11, 2013
Filed:
Dec. 22, 2005
Peter George Tarle, Belleville, CA;
Troy Mark Gonsalves, Waterloo, CA;
Maneesha Sahasrabudhe, Los Angeles, CA (US);
Grant Weddell, Waterloo, CA;
Peter George Tarle, Belleville, CA;
Troy Mark Gonsalves, Waterloo, CA;
Maneesha Sahasrabudhe, Los Angeles, CA (US);
Grant Weddell, Waterloo, CA;
Rockstar Consortium US LP, Plano, TX (US);
Abstract
The invention is directed to method of generating database encoded software for controlling operation of a data processing device. The method comprises providing a formal language specification representative of source code for the software, translating said formal language specification into data suitable for storing in database structures and in a form suitable for being queried by a database query language and storing said data in database structures of a database. The method includes using a software development tool in a software development and testing environment to manipulate the database encoded software using a database query language such as SQL and XQuery to develop new software features. The query language can also be used to control replication and/or synchronization of the database encoded software with the contents of a data processing device control program database by way of installing said control program on said device or upgrading the control program software of said device.