共 54 条
[1]
Achour C.B., 1998, NAT LANG INF SYST WO
[2]
[Anonymous], 1990, Software Testing Techniques
[3]
[Anonymous], 2000, Writing effective use cases
[4]
[Anonymous], 2002, ACM Transactions on Internet Technology (TOIT)
[5]
[Anonymous], 1981, Software Engineering Economics
[6]
Bialy M, 2017, ADV TOP INF SECUR, P39, DOI 10.1016/B978-0-12-803773-7.00003-6
[7]
Binder R., 2000, AW OBJ TECHNOL S
[8]
Buterin Vitalik, 2014, White Paper, V3, P37
[9]
Chainlink, 2019, INT CONN UNL SMART C
[10]
Auto-Generation of Smart Contracts from Domain-Specific Ontologies and Semantic Rules
[J].
IEEE 2018 INTERNATIONAL CONGRESS ON CYBERMATICS / 2018 IEEE CONFERENCES ON INTERNET OF THINGS, GREEN COMPUTING AND COMMUNICATIONS, CYBER, PHYSICAL AND SOCIAL COMPUTING, SMART DATA, BLOCKCHAIN, COMPUTER AND INFORMATION TECHNOLOGY,
2018,
:963-970