形式化软件规约相关论文
形式化软件规约技术便于软件系统原型、分析、验证与最终的实现，是保证软件质量和提高软件生产率非常有用和重要的手段。但是形式化......
形式化软件规约技术是保证软件质量和提高软件生产率非常有用和重要的手段，但是形式化软件规约的获取是需求工程中一项相当困难的任......
