UDC 004.05 УДК 004.05 5 behavior algebra 2 алгебра поведінок 2 1 004.4[2+9] 1 004.94 1 519.7 1 Solidity 1 algebraic matching 1 architectural quality attributes 1 blockchain 1 decentralized system 1 formal verification 1 insertion modeling 1 logistics 1 modeldriven development 1 security properties 1 smart contract 1 software architecture design metrics 1 software design evaluation 1 software vulnerabilities 1 supply chain 1 symbolic modeling 1 systematic mapping study 1 алгебра поведений 1 алгебраическое сопоставление 1 алгебраїчне зіставлення 1 атрибути якості архітектури 1 блокчейн 1