论文部分内容阅读
本文介绍了国外特别是德国在正确软件开发支持系统方面的进展，重点阐述集成了各种方法学语言及正确性证明逻辑的集成式正确软件开发支持系统（ＫＯＲＳＯ），它的系统特点、形式机制及系统组织体系。
正确软件开发的集成式设计支持环境
【摘 要】
：
本文介绍了国外特别是德国在正确软件开发支持系统方面的进展，重点阐述集成了各种方法学语言及正确性证明逻辑的集成式正确软件开发支持系统（ＫＯＲＳＯ），它的系统特点、形式机制及系统组织
【出 处】
：
浙江工学院学报
【发表日期】
：
1994年2期
其他文献
应用GPS定位技术在湖南省龙山县采集具代表性植烟土壤300份，分析土壤交换性钙、镁含量和钙镁比的空间分布特征。结果表明：龙山县植烟土壤交换性钙平均含量为7.95cmol/kg，变幅为0
随着我国社会经济的快速发展,为了能够确保工程项目整体的建设质量,要优先选择信誉良好、值得信赖的企业,这样才能够增强自身的竞争实力,适应市场的发展变化,促进自身的采购
<正> 一、前言电子显微镜是用来观察膜形态结构的有力工具。国家海洋局第二海洋研究所淡化中心自1970年以来,利用国产原料制备醋酸纤维素膜(CA),醋酸丁酸纤维素膜(CAB)和二醋
近年来,我国科技正处于重要发展阶段,互联网时代的到来给人们的生产生活带来了各种变化。“互联网+”概念的出现,代表着科学生产力向更先进的方向发展,有助于通过科学、技术
厌恶是人类基本的情绪之一，具有防止疾病感染、回避社会弊病的作用。了解厌恶的产生对人们日常生活十分重要。Rozin等人提出的厌恶评估机制解释了厌恶产生的过程，强调厌恶是一
本文讨论了制造助滤剂的科学基础,测定了珍珠岩助滤剂的化学性质和物理结构.研究了助滤剂制造工艺和过滤工艺对啤酒过滤性能的影响,发现容重和粒度分布是珍珠岩助滤剂制造工
本文对天津市876名大学生价值观现状及特征进行调查,发现：（1）＂才能务实＂在价值观体系中占据着最为突出的位置,这是大学生群体自我发展的个人取向特征;（2）优先价值取向构成了社会转型
在微时代,人们拥有话语自由表达的场域,语言面貌发生了变化,出现了种种新的语文文本和语言现象,既可见令人耳目一新的创意,但又有粗鄙不文之语充斥其中。与此同时,母语及其文
为明确烟田细菌种群特征与烤烟青枯病发生的相互关系,采用Miseq高通量测序技术及生物信息学分析方法,研究了烟草连作(连作4年、8年和12年),轮作(烟草–玉米、烟草–百合、烟
根据悬浊液光学吸收性质研究了定量测定杂醇油的新方法，称主次波长分光光度法。该方法具有精密度好，灵敏度高，计算曲线稳定，操作简便快速等优点。实验表明，ＲＳＤ≤３．１％，加标回收率９５．９％～１０７％，方法捡出限