computer software for interactive development of smart contracts for distributed ledger applications