JavaScript is currently disabled.Please enable it for a better experience of Jumi.
 Annonsera Utgivningsplan Månadsmagasinet Prenumerera Konsultguide Om oss  About / Advertise
söndag 22 september 2019 VECKA 38
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:
 
Branschens egen tidning
För dig i branschen kostar det inget att prenumerera på vårt snygga pappers­magasin.

Klicka här!
SENASTE KOMMENTARER
Kommentarer via Disqus

Vi gör Elektroniktidningen

Anne-Charlotte Sparrvik

Anne-Charlotte
Sparrvik

+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)

Anna Wennberg

Anna
Wennberg
+46(0)734-171311 anna@etn.se
(redaktion)

Jan Tångring

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