论文部分内容阅读
本文主要介绍了我们开发的ＮＵＪＳＤＳ系统中关于ＪＳＤ的规格说明的转换与最后实现技术。
JSD的系统化转换与实现技术
【摘 要】
：
本文主要介绍了我们开发的ＮＵＪＳＤＳ系统中关于ＪＳＤ的规格说明的转换与最后实现技术。
【机 构】
：
中山大学软件所,南京大学
【出 处】
：
计算机科学
【发表日期】
：
1994年1期
其他文献
本文从程序设计的实质开始，讨论了形式方法的实质、作用、困难、克服困难的途径及若干关键问题等系列问题，提出了我们的看法并且论述了形式方法的分类，结合若干典型例子，对各类方
阴道炎是育龄妇女常见生殖道感染性疾病，其中有些属于性传播性疾病。阴道分泌物检测是诊断阴道炎的主要依据。2006年4月-2011年8月，我科对447例普查体检妇女阴道分泌物进行检测
目的探讨手术治疗老年股骨转子间骨折的疗效。方法手术治疗65岁以上股骨转子间骨折患者52例，其中动力髋螺钉固定32例，外固定支架固定14例，经皮空心加压螺钉固定6例。结果48例随
本文给出一种支持程序验证的模块方法，并讨论了基于函数语义的模块验证，程序可划分为若干个模块，模块本身又可划分为若干个更小的子模块，其验证独立进行。将独立验证过的各子模块
<正>一、前言许多代表人类智能最高成就的重大科技发现源于类比学习。如果智能计算机具有模拟人类学习的功能,则可能让机器帮助人去发现新的科学规律和提出新的科学假说。
<正>1.引言对于计算机系统,传统的设计方法很少考虑用户的使用效率方面的问题.在人机界面的研究方面投入甚少.使设计出的系统功能复杂.普通用户不能
<正> “什么是智能”已成为哲学家、脑科学家、心理学家、计算机人工智能(AI)专家所共同面临的挑战。面对这一挑战,AI科学家除了应战别无选择,因为AI发展的历史和现状都已证
最近，嵌套关系模型语言及复杂对象语言的研究已引起人们的广泛重视。这些语言有些是代数结构的，有些是基于演算的，还有的是面向逻辑程序设计的。本文将介绍这些语言的发展概况、
<正> 一、引言 Petri网的理论是使用数学和图形进行研究系统的工具。它不仅能适用于计算机科学和技术这样的研究领域,而且也能适用于社会、物理等研究领域,具有较广的适应性
<正>一、实时数据库系统研帛的一般途经实时应用领域对数据库的需求不同于传统领域对数据库的需求,传统数据库系统的设计,主要强调维护数据的完整性,保持系统的低代价,并且提