机译:在运行时验证Java对象不变式
Hanoi University of Technology 1, Dai Co Viet, Hai Ba Trung, Hanoi, Vietnam;
College of Technology, Vietnam National University 144: Xuan Thuy, Cau day, Hanoi, Vietnam;
College of Technology, Vietnam National University 144: Xuan Thuy, Cau day, Hanoi, Vietnam;
Software verification; OCL invariant; runtime; AspectJ; AOP;
机译:现有的Java API规范在运行时验证期间发现错误的效率如何?
机译:灵活且可扩展的Java运行时验证(扩展版)
机译:JCML:一种用于Java Card程序的运行时验证的规范语言
机译:基于通用不变式的静态分析工具,用于检测Java程序中的运行时错误
机译:支持VM的线程调度框架:提高Java运行时环境的效率。
机译:基于智能合约的可靠任务管理用于物联网环境中传感和激励任务的运行时验证
机译:JCML:一种用于Java Card程序的运行时验证的规范语言
机译:Jeagle:一个JaVa运行时验证工具