US Patent Issued to Tata Consultancy Services on April 7 for "Systems and methods for automated code generation for calculation based on associated formal specifications" (Indian Inventors)

ALEXANDRIA, Va., April 7 -- United States Patent no. 12,596,708, issued on April 7, was assigned to Tata Consultancy Services Ltd. (Mumbai, India).

"Systems and methods for automated code generation for calculation based on associated formal specifications" was invented by Amey Zare (Pune, India), Venkatesh Ramanathan (Pune, India), Asia Akhtar (Hyderabad, India), Advaita Abhijit Datar (Pune, India), Atharv Hemant Shingewar (Pune, India) and Nakshatra Gupta (Pune, India).

According to the abstract* released by the U.S. Patent & Trademark Office: "Enterprise software relies on numerous types and instances of mathematical and logical calculations for proper functioning, which are formally specified in spreadsheets, known as Calculation Spec...