一个面向JSD方法的规格说明语言转换系统

ＪＳＬＣ系统是一个规格说明语言ＪＳＬ的转换系统．它的实现反映了一种规格说明语言的转换方法．本文详细介绍了ＪＳＬＣ系统的组成结构、实现基础和技术要点．

基于JSD方法的快速成型技术

本文介绍上海交通大学计算机系正在研制的一个新型软件开发工具JT-JSE,它支持九十年代的软件开发新范式、快速成型技术、基于JSD方法、并使用了可执行的规格说明语言,文章讨论了JT-JSE的设计背景、所使用的规格说明语言及系统结构。

JSD的系统化转换与实现技术

本文主要介绍了我们开发的NUJSDS系统中关于JSD的规格说明的转换与最后实现技术。