形式规约相关论文
形式化方法是指依赖严格的数学基础对软、硬件系统进行形式规约、开发和验证的技术。形式规约作为形式化方法的基础,通过形式语言......
本文的研究工作是关于形式规约语言LFC(Language For CFRF)的实现问题中的一部分。形式规约(Formal Specification)是对软件系统所......
软件测试是保证软件质量的必要手段。由于基于用例运行程序进行测试低效且容易出错，人们从六十年代起就开始探索用例测试之外的其它......
