Automated generation of smart contract code from legal contract specifications with Symboleo2SC
Aidin Rasti, Amal Ahmed Anda, Sofana Alfuhaid, Alireza Parvizimosaed, Daniel Amyot, Marco Roveri, Luigi Logrippo, John Mylopoulos
Topics & Concepts
Smart contractComputer scienceDesign by contractContract managementCode (set theory)Software engineeringProgramming languageComputer securityEngineering managementBusinessSoftwareSoftware developmentDatabase transactionMarketingSet (abstract data type)Software constructionEngineeringBlockchain Technology Applications and SecurityAuction Theory and ApplicationsDigitalization, Law, and Regulation