%0 Journal Article
%T 基于时序逻辑的软件体系结构描述语言XYZ/ADL
%A 朱雪阳
%A 唐稚松
%J 软件学报
%D 2003
%I 
%K 软件体系结构
%K 体系结构描述语言
%K 时序逻辑语言XYZ/E
%K 规范
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=9EC61B82804A15C6&yid=D43C4A19B2EE3C0A&vid=F3583C8E78166B9E&iid=E158A972A605785F&sid=A586B761C9AA2FAA&eid=2A92ABD90588B251&journal_id=1000-9825&journal_name=软件学报&referenced_num=24&reference_num=14