Model-Based Software Design and Testing in Blockchain Smart Contracts: A Systematic Literature Review
Blockchain technology promises to spark a real revolution. One of most important concepts associated with this technology is smart contracts, which enable the automatic execution of agreements and augur a world without intermediaries. The conditions and rules of “contracts” are...
Main Authors: | Nicolas Sanchez-Gomez, Jesus Torres-Valderrama, J. A. Garcia-Garcia, Javier J. Gutierrez, M. J. Escalona |
---|---|
Format: | Article |
Language: | English |
Published: |
IEEE
2020-01-01
|
Series: | IEEE Access |
Subjects: | |
Online Access: | https://ieeexplore.ieee.org/document/9186040/ |
Similar Items
-
Smart Contract Security: A Software Lifecycle Perspective
by: Yongfeng Huang, et al.
Published: (2019-01-01) -
Decentralized Reservation of Spatial Volumes by Autonomous Vehicles : Investigating the Applicability of Blockchain and Smart Contracts
by: Westerlund, Robin
Published: (2020) -
Design of a Sustainable Blockchain-Oriented Software for Building Workers Management
by: Andrea Pinna, et al.
Published: (2020-10-01) -
Software Engineering Applications Enabled by Blockchain Technology: A Systematic Mapping Study
by: Selina Demi, et al.
Published: (2021-03-01) -
Decentralized Applications: The Blockchain-Empowered Software System
by: Wei Cai, et al.
Published: (2018-01-01)