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.
MER LÄSNING:
 
KOMMENTARER
Kommentarer via Disqus

Anne-Charlotte Lantz

Anne-Charlotte
Lantz

+46(0)734-171099 ac@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)