搜索到 篇“ APLA-JAVA “的相关文章

相关作者

揭安全
作品数：44被引量：120H指数：6
供职机构：江西师范大学计算机信息工程学院
研究主题：教学改革 并发 APLA-JAVA 可重用部件库 PAR方法
薛锦云
作品数：137被引量：557H指数：13
供职机构：江西师范大学
研究主题：PAR方法 程序设计 形式化方法 循环不变式 PAR
石海鹤
作品数：38被引量：87H指数：6
供职机构：江西师范大学
研究主题：形式化方法 PAR PAR方法 形式化开发 循环不变式
刘悦
作品数：2被引量：0H指数：0
供职机构：江西师范大学
研究主题：APLA语言 APLA-JAVA PAR方法 基础设施 黄河大桥
田方
作品数：1被引量：0H指数：0
供职机构：江西师范大学
研究主题：APLA-JAVA 泛型 可靠性