Keyphrases
- high assurance
- software systems
- operating system
- fault tolerant
- distributed systems
- access control
- software tools
- software design
- software development
- computer systems
- user interface
- software architecture
- website
- genetic algorithm
- development process
- source code
- embedded systems
- rough sets
- hardware design
- software application
- commercial software
- artificial intelligence