形式化描述技术相关论文
该文对通信顺序进程CSP做了深入的研究,对它进行了扩充,在协议建模和协议验证等各个方面进行研究,以拓展对这一领域的探索,推动协......
协议是网络和通信的核心,协议形式化理论的研究是一项十分重要的基础性、前瞻性和创新性的研究.它主要包括协议形式化描述、协议验......
设计模式通过一种可被复用的方式描述了一些软件设计问题的成功解决方案，从而提高软件生产率和可维护性。目前选取模式是依赖用户实......
设计模式重用方法的研究是一项十分重要的基础性和创新性的研究。它主要包括新应用需求和设计模式的形式化描述、在模式库中找出一......
