JavaScript is currently disabled.Please enable it for a better experience of Jumi. Nasapatent till salu

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.

Prenumerera på Elektroniktidningens nyhetsbrev eller på vårt magasin.


MER LÄSNING:
 
KOMMENTARER
Kommentarer via Disqus

Rainer Raitasuo

Rainer
Raitasuo

+46(0)734-171099 rainer@etn.se
(sälj och marknads­föring)
Per Henricsson

Per
Henricsson
+46(0)734-171303 per@etn.se
(redaktion)

Jan Tångring

Jan
Tångring
+46(0)734-171309 jan@etn.se
(redaktion)