Pace University, 1 Pace Plaza, New York, NY;
机译:KRAKATOA工具,用于通过JML注释的JAVA / JAVACARD程序的认证
机译:Javana:用于构建定制的Java程序分析工具的系统
机译:UML交互模型驱动的Java程序运行时验证
机译:使用UML和Java进行编程基础教学的另一种方法
机译:使用程序分析和软件可视化工具了解和调整Java中同步方法的性能
机译:CaptureProbe:一种用于为捕获Hi-C应用程序设计探针的Java工具
机译:研究编程工具和过程:设计具有视觉效果的编程工具
机译:用于自动生成模拟程序的UmL工具。