Can Component/Service-Based Systems Be Proved Correct?.

J. Christian Attiogbé

Published in: SOFSEM (2009)

Keyphrases

management system
neural network
computing systems
software components
computer systems
intelligent systems
service systems
retrieval systems
database
distributed systems
machine learning
databases
building blocks
wireless networks
website
metadata
loosely coupled