Object-Z语言相关论文
如今软件开发在互联网时代被广范使用,其应用场景日益丰富多样,其规模和复杂度也随着日益增长,以致软件开发的效率和质量出现了瓶......
随着信息技术的发展，软件规模不断扩大，而且越来越复杂，如何保证和提高软件质量成为软件界最为关心的问题之一。软件测试作为保证软件......
学位
在基于组件的软件开发方式(CBD)下,软件系统是一些相互联系的可重用组件的集合,因此需要对系统的每一个组件以及组件之间的相互关......
混成系统是离散逻辑跳转与实时连续行为交织的复杂状态变迁系统,形式化建模与验证是确保混成系统正确性和可靠性的重要途径。首先......
网络在人类社会生活中的应用越来越广泛和重要,Internet已经把人们的学习、工作和生活紧密地联系在一起,但其中潜在的安全问题也越......
