%0 Journal Article
%T The Goal, Meaning, Effect and Application of the XYZ System<br>XYZ系统的目的、意义、作用与应用
%A TANG Zhi-song
%A <br>唐稚松
%J 软件学报
%D 1999
%I 
%X XYZ system is a software engineering system based on linear time temporal logic designed and implemented by the Institute of Software, The Chinese Academy of Sciences for one and a half decades. It has reached its last stage of development in application to solve some high technical engineering problems. In this paper, the goal, meaning, effect and applications of this system are introduced.
%K Temporal logic language
%K state transition
%K dynamic semantics
%K static semantics
%K specification language
%K Von Neumann model
%K stepwise refinement
%K component
%K software architecture
%K consistency checking<br>时序逻辑语言
%K 状态转换
%K 动态语义
%K 静态语义
%K 规范语言
%K 冯诺曼模型
%K 逐步求精
%K 构件
%K 软件体系结构
%K 一致性验证.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=253F98B3D623D728&yid=B914830F5B1D1078&vid=F3090AE9B60B7ED1&iid=E158A972A605785F&sid=5FF9F4F7CB1800C7&eid=4B168891B5E5FB30&journal_id=1000-9825&journal_name=软件学报&referenced_num=5&reference_num=3