NASA Goddard Space Flight Center will hold an auction Nov. 11 for five patents focused on automated software development.
The patents---7,668,796, 7,627,538, 7,752,608, 7,739,671 and 7,543,274---cover a new method for automatically creating software code for natural language, graphics and other formats with a semantic structure. Ocean Tomo is conducting the auction, which would close now as long as you forked over $1 million.
These automatically generated codes have two steps. The first step, which is currently done manually, creates a formal model for user requirements. NASA Goddard has technology that generates scenarios from those user requirements and then creates a formal model that matches.
The upshot: This technology could give developers a guarantee that what they build meets user requirements and works. Indeed, this technology could be used to cut software development time and coding errors. NASA cooked up the technology for creating code for spacecraft, but could be used for everything from sensor networks to robotics to smart grids.