Formal Methods for the Re-Engineering of Computing Systems: A Comparison.
Xiaodong LiuHongji YangHussein ZedanPublished in: COMPSAC (1997)
Keyphrases
- computing systems
- formal methods
- computer systems
- artificial intelligence
- software engineering
- computing technologies
- safety critical
- knowledge based systems
- formal analysis
- model checking
- parallel computing
- formal specification
- development lifecycle
- high end
- software developers
- autonomic computing systems
- process algebra
- autonomic computing
- computing platform
- hardware platforms
- cooperative
- formal specification language
- multi agent systems
- ubiquitous computing environments
- expert systems
- web applications
- knowledge acquisition
- database
- fault tolerant