Java建模语言相关论文
结合Java建模语言描述了程序不变量的基本概念，以程序静态分析技术和动态分析技术为基础，讲解了程序不变量在软件质量保证中的重要作......
Java中的垃圾收集机制,有效地避免了安全漏洞也提高了资源利用率。然而对于和用户程序并行执行的垃圾收集,其过程及算法的实现甚是......
通过程序不变量动态生成技术，可以分析程序内部的关联属性，从而有助于设计高质量的程序代码以及规范化的程序架构。主要描述基于契约......
垃圾收集已经普遍应用于主流的软件开发领域中,有效地避免了一些安全漏洞的同时提高了资源利用率。然而,垃圾收集自身都比较复杂,......
