RADL相关论文
围绕转换系统的设计与实现,该文主要做了以下工作:1、对RADL算法描述语言和APLA抽象程序语言进行了归纳和整理.2、研究RADL语言与A......
本项研究作为PAR方法研究的一个重要组成部分,目标是开发一个自动程序转换系统,该系统能将用Radl语言描述的算法转换成抽象语言程......
软件的可靠性差和开发效率低一直是困扰软件产业界的两大难题，高效率地开发正确、可靠的软件已成为软件产业的迫切要求。软件开发的......
基因的稳定性对维持机体的正常生长具有重要作用。DNA随时面临损伤因子的威胁,一旦DNA发生不可逆损伤将会导致基因的不稳定,甚至诱......
采用PAR方法中严格定义的形式化语言Radl描述MIS（管理信息系统）系统的性质和行为模式，并建立对应的需求数学模型，为构建高质量的软件需......
从“软件危机”爆发至今,有很多新方法和新工具被提出,致力于解决“软件危机”的各个方面。但现有的这些解决方案并没有使人们彻底......
