%0 Journal Article
%T JSD的系统化转换与实现技术
%A 冯昕
%A 徐永森
%J 计算机科学
%D 1994
%I 
%X 本文主要介绍了我们开发的ＮＵＪＳＤＳ系统中关于ＪＳＤ的规格说明的转换与最后实现技术。
%K 软件开发
%K 程序转换
%K JSD法
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=EA3BCBD4B5A2C9FF5E9C54DCB698F880&yid=3EBE383EEA0A6494&vid=659D3B06EBF534A7&iid=CA4FD0336C81A37A&sid=E203FB1A272C9DD2&eid=35FC3610259C2B32&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0