Formalism- Driven Development of Decentralized Systems.

Yepeng Ding Hiroyuki Sato

Published in: ICECCS (2022)

Keyphrases

distributed systems
management system
computer systems
database
neural network
learning algorithm
software engineering
technical issues
historical perspective
artificial intelligence
expert systems
knowledge representation
learning systems
development process
design principles
support systems