规格说明验证与确认相关硕士博士期刊学术论文

表格语言具有可读性和可理解性的优点,它能非常精确地表示软件系统需求.在过去的30多年间,表格语言已经成功地应用于多个安全关键......