Integrazione del linguaggio Takamaka di programmazione di smart contract in Java con la blockchain Takamaka e sua documentazione per l’utente

  1. Home
  2. Ricerca
  3. Progetti
  4. Integrazione del linguaggio Takamaka di programmazione di smart contract in Java con la blockchain Takamaka e sua documentazione per l’utente
Data inizio
16 giugno 2020
Durata (mesi) 
6
Dipartimenti
Informatica
Responsabili (o referenti locali)
Spoto Nicola Fausto

La ricerca intende integrare il linguaggio Takamaka per la programmazione di smart contract in Java con la blockchain Takamaka proprietaria della parte committente, con documentazione sotto forma di un tutorial.

Enti finanziatori:

Ailia SA
Finanziamento: assegnato e gestito dal Dipartimento

Partecipanti al progetto

Nicola Fausto Spoto
Professore associato
Aree di ricerca coinvolte dal progetto
Ingegneria del Software e verifica formale
Software organization and properties

Attività

Aree di ricerca

Gruppi di ricerca

Dottorati di Ricerca

Strutture

Condividi