Keyphrases
- high assurance
- software systems
- access control
- fault tolerant
- programming language
- operating system
- distributed systems
- databases
- data sets
- programming environment
- software engineering
- web services
- scripting language
- fully functional
- computer programming
- object oriented programming
- information systems
- knowledge base
- digital libraries
- clustering algorithm
- cooperative
- general purpose
- object oriented
- relational databases