Niigata University of International and Information Studies 3-1-1, Mizukino, Nishi-ku, Niiqata 950-2292, Japan;
refactoring; program verification; ESC/Java2; quality assurance;
机译:使用jml描述和esc / java2进行库存管理程序的验证案例报告
机译:使用ESC / Java2进行库存管理程序设计的JML描述和证明的案例报告
机译:关于库存管理投影和Esc / Java2设计的JML描述和ESC / Java2的案例报告
机译:使用Esc / Java2重构的方法 - 一个简单的案例研究
机译:迈向基于集成元模型的软件重构方法
机译:Taverna科学工作流程中的蒸馏结构:重构方法
机译:使用JML和ESC / Java2进行教学程序规范和验证