论文部分内容阅读
本文介绍上海交通大学计算机系正在研制的一个新型软件开发工具JT-JSE,它支持九十年代的软件开发新范式、快速成型技术、基于JSD方法、并使用了可执行的规格说明语言,文章讨论了JT-JSE的设计背景、所使用的规格说明语言及系统结构。
基于JSD方法的快速成型技术
【摘 要】
：
本文介绍上海交通大学计算机系正在研制的一个新型软件开发工具JT-JSE,它支持九十年代的软件开发新范式、快速成型技术、基于JSD方法、并使用了可执行的规格说明语言,文章讨
【机 构】
：
上海交通大学
【出 处】
：
计算机工程
【发表日期】
：
1991年4期
【基金项目】
：
上海市自然科学基金
其他文献
近年来，工程建设领域不断发生的质量事故，没有严格的管理和监督，价格再高也不能保证质量。因此，在整个采购过程中，都要围绕项目质量管理这个中心，落实措施，强化责任，使质量管理落到实
通过对广州市番禺区高中足球集训队31名男运动员的对比研究,发现高强度间歇训练“以赛促练”模式深受学生喜爱,也激发学生足球运动的兴趣。经过10周高强度间歇训练,运动员的
随着人们生活水平的不断提高，对于电力的需求也随之日益增长，使得我国电网的规模也迅速扩大，但是由于各种自然因素或者人为因素，导致配电网中的电缆时常出现故障问题。配电网电缆
<正> 先天性支气管肺囊肿是肺芽支气管树发育障碍引起的疾病,临床少见,但误诊率颇高。作者所在两家医院1980年至1990年手术治疗并经病理证实该病共28例,全部病例在住院前后均
<正>腹腔镜根治性肾切除术是根治肾癌的主要手段,近年来随着诊断技术的不断进步,很多肾肿瘤得以早期发现[1]。越来越多的学者倾向于对T1期肾癌采用肾部分切除术[2]。目前,后
<正> 徐霞客(1587—1641年),名弘祖,字振之,号霞客,江苏省江阴人。是明代伟大的旅行家、地理学家和探险家。毕生从事实地考察探险,著有《徐霞客游记》。1987年11月,在江苏省无锡市召开了由中国科协等主办的“纪念徐霞客诞辰400周年会
本文提出一种新的高效率压缩及还原算法－自适应数据压缩／还原算法，阐述了算法原理，实现流程及实现过程中可能遇到的问题。
IC日益增长的设计复杂性和在时间、代价方面的需求，使得验证工作很重要却又困难重重。传统的简单验证方法和手段已不能满足要求，采用新的验证方法势在必行。以存储系统功能性的