RADL相关论文
围绕转换系统的设计与实现,该文主要做了以下工作:1、对RADL算法描述语言和APLA抽象程序语言进行了归纳和整理.2、研究RADL语言与A......
本项研究作为PAR方法研究的一个重要组成部分,目标是开发一个自动程序转换系统,该系统能将用Radl语言描述的算法转换成抽象语言程......
软件的可靠性差和开发效率低一直是困扰软件产业界的两大难题，高效率地开发正确、可靠的软件已成为软件产业的迫切要求。软件开发的......
从“软件危机”爆发至今,有很多新方法和新工具被提出,致力于解决“软件危机”的各个方面。但现有的这些解决方案并没有使人们彻底......
