RAISE规约语言相关硕士博士期刊学术论文

软件的质量和可靠性问题由来己久。目前，虽然软件分析、设计和测试技术仍是保障软件可靠性的主要手段，但是由于人们对软件系统分布式......