机译:具有高度可视化和抽象程序规范的自动编程系统SPACE
Faculty of Science & Engineering, AOYAMA GAKUIN University, Tokyo, 157 Japan;
automation; software systems; automatic programming system; CASE;
机译:通过部分评估从抽象规范生成消息传递程序
机译:用于解决基于空间的自动识别系统中的现场可编程门阵列快速独立分量分析的实现
机译:基于数据可视化语法规范的视觉编程环境
机译:APE:来自数据类型和算法的抽象规范的自动编程专家系统
机译:由规范驱动的可编程嵌入式系统验证。
机译:基于课堂教学半自动程序评估的有效教学监控系统
机译:使用类作为螺母系统中程序自动构建的规范