Skriv ut
Den amerikanska rymdorganisationen Nasa säljer ut patent för automatisk kodgenerering i en auktion den 11 november. Det som erbjuds är ett paket på fem patent för en algoritm som kan förvandla en specifikation i naturligt språk till programkod.
Enligt Nasa kan algoritmen generera programvara som är bevisbart ekvivalent med specifikationer som ges i naturligt språk, grafiska format eller andra format med ”känd semantisk struktur”.

Metoden skapar enligt Nasa för första gången en möjlighet att vara helt säker på att en implementation verkligen möter sin specifikation och att det färdiga systemet fungerar korrekt.

Du slipper också besväret att konstruera en formell specifikation, vilket dagens kodgeneratoranvändare är tvingade till.

Resultatet: pålitligare programvara, kortare utvecklingstid och inga programmerarbuggar.

Tekniken utvecklades för att skriva styrkod för svärmar av rymdfarkoster men kan användas överallt där regelbaserad systemutveckling används idag, som simulering och modellering, automation, sensornät, smart grid och robotik.

Läger du upp en miljon dollar nu, får du köpa patenten direkt.

Pressreleasen om erbjudandet är undertecknat Foresight Science & Technology som beskriver sig som konsult åt Nasas för kommersialiseringssupport.