Jun 23, 2021 08:24
2 yrs ago
13 viewers *
Inglese term
Italia
Reliable Native Italian Translator
Native in: Italiano
Works in: Da Inglese a Italiano, Da Spagnolo a Italiano
correct-by-construction smart contract tools
Da Inglese a Italiano
Altro
IT (Tecnologia dell'informazione)
blockchain applicazioni
facilitate a formal semantic approach to smart contract development, implementation, testing, and verification, laying the foundation for developing **correct-by-construction smart contract tools**. These tools will empower smart contract developers to build secure and reliable applications over the Algorand platform, and set the stage for further advancements to the architecture in the future.
Proposed translations
(Italiano)
| 5 | per sviluppare strumenti per smart contract correct by construction |
Davide Di Gianfilippo
|
Proposed translations
33 min
Davide Di Gianfilippo
Italia
Italia
Native in Italiano
Works in field
Italia
Crypto, Finance, Games, I.T.
Native in: Italiano
Works in: Da Inglese a Italiano, Da Cinese a Italiano
Related KudoZ points
:
76
Selected
per sviluppare strumenti per smart contract correct by construction
https://www.eschertech.com/products/correct_by_construction....
Correct-by-construction indica una modalità di sviluppo software che prevede un progetto ben definito prima della scrittura del software stesso. In pratica si cerca di costruire un modello che si saprà funzionante e poi da quello si costruisce il software - invece di andare per "tentativi" e risoluzione dei problemi.
Gli smart contract, essendo immutabili, devono per forza di cose seguire questo approccio. Si potrebbe quasi dire che la definizione "correct-by-construction" sia ridondante.
https://www.cadlog.it/pcb-design/
--------------------------------------------------
Note added at 34 mins (2021-06-23 08:59:37 GMT)
--------------------------------------------------
Ovviamente qui "correct by construction" si riferisce a "tools", non a "smart contracts"
Correct-by-construction indica una modalità di sviluppo software che prevede un progetto ben definito prima della scrittura del software stesso. In pratica si cerca di costruire un modello che si saprà funzionante e poi da quello si costruisce il software - invece di andare per "tentativi" e risoluzione dei problemi.
Gli smart contract, essendo immutabili, devono per forza di cose seguire questo approccio. Si potrebbe quasi dire che la definizione "correct-by-construction" sia ridondante.
https://www.cadlog.it/pcb-design/
--------------------------------------------------
Note added at 34 mins (2021-06-23 08:59:37 GMT)
--------------------------------------------------
Ovviamente qui "correct by construction" si riferisce a "tools", non a "smart contracts"
4 KudoZ points awarded for this answer.
Something went wrong...