论文部分内容阅读
软件开发方法的形式化是软件开发自动化的前提。本文介绍几种使用形式语言、自动机、形式变换、语义模型等工具将JSP 方法形式化的途径,并对它们各自的优点和存在问题作了评价。
JSP方法的形式化途径
【摘 要】
：
软件开发方法的形式化是软件开发自动化的前提。本文介绍几种使用形式语言、自动机、形式变换、语义模型等工具将JSP 方法形式化的途径,并对它们各自的优点和存在问题作了评
【机 构】
：
中山大学计算机软件研究所,中山大学计算机软件研究所广州,510275,广州,510275
【出 处】
：
计算机研究与发展
【发表日期】
：
1991年6期
其他文献
周瑞金，笔名皇甫平，政论家。曾任上海《解放日报》党委书记、副总编辑，《人民日报》副总编辑。1991年主持写作署名“皇甫平”的系列评论，一扫当时国内对于改革开放的沉闷氛围和游移态度，为第二次思想解放推波助澜。2006年，在第三次改革争论中“重出江湖”，发表《改革不可动摇》一文。有座右铭：“是非审之于己，毁誉听之于人，得失安之于数。” 2008年是改革开放30年。30年来，改革开放与思想解放是紧
<正> 一辩证逻辑是逻辑科学中的一个分支学科,它自然有其特殊的研究对象。大家知道,逻辑是以思维为研究对象,这是不占自明的。不过辩证逻辑不是一般地研究思维,而是以辩证思
本文作者在分析了IQLISP,True BASIC,Turbo Pascal等软件的反汇编程序的基础上,文功地对它们进行了在IBM PC机上的汉化和在IBM5550机上的移植。本文将介绍IBM PC软件汉化和在
公有制能否与商品经济兼容,是社会主义经济理论的重要问题,那种认为二者存在着尖锐的矛盾,并以此提出私有化的主张是错误的。在二者兼容的观点中,还存在不少分歧。主要表现在
艺术空白是一个具有普遍意义的美学命题。如画论“无画处皆成妙境”“画在有笔墨处,画之妙在无笔墨处”;书论“墨到为实,飞白为虚”“计白以当黑,奇趣乃出”。不仅绘画、书法
本文讨论了军械装备故障诊断专家系统JXES 的设计思想和实现技术。较为深入地阐述了它的多种知识表示方法和推理机设计,并引入了第二代专家系统特有的深层推理概念,从而在JXE
随着经济体制改革的深入展开,政治体制改革日益成为我国政治生活中迫切需要解决的课题。政治体制改革的关键是党政分开。党政分开不仅仅是党和国家机构、各级政府职能的划分,