The Specification and Implementation of a Virtual University Software System.
Timothy K. ShihAnthony Y. ChangYemoz-Huei ChenJianhua MaRunhe HuangPublished in: ICPADS (2000)
Keyphrases
- specification language
- highly modular
- hardware design
- efficient implementation
- software systems
- software development
- computer systems
- case study
- hardware implementation
- cluster of workstations
- formal verification
- software design
- virtual reality
- software maintenance
- software tools
- software components
- software architecture
- enterprise resource planning
- dedicated hardware
- tool suite
- development kit
- source code
- user interface