%0 Journal Article
%T A TEMPORAL LOGIC LANGUAGE ORIENTED TOWARD SOFTWARE ENGINEERING<br>一种面向软件工程的时序逻辑语言
%A Tang Zhisong
%A Zhao Chen
%A <br>唐稚松
%A 赵琛
%J 软件学报
%D 1994
%I 
%X XYZ system consists of a temporal logic language XYZ/E and a group of CASE tools based on it. The language XYZ/E is designed to facilitate the software engineering methodologies such as stepwise refinement, specification and verification, rapid-prototyping, and in particular, to be able to represent the dynamic aspects of the real time communicating process. With a uniform framework, it can represent not only the specifications of different abstract levels but also almost every kind of significant features in conventional imperative languages. This paper is the most updated and detailed introduction of this temporal logic language in Chinese.
%K Temporal logic language
%K first order logic
%K specification
%K verification
%K proof rules
%K Hoars-logic
%K state-transition
%K transformation
%K concurrency
%K communicating process
%K real time
%K distributed system
%K channels
%K dynamic binding
%K synchronization
%K parallel statement
%K select statement
%K CASE tools<br>时序逻辑语言，一阶逻辑，描述，验证，证明规则，Hoare逻辑，状态转换，变换，并发性，通信进程，实时，分布式系统，通道，动态束定，同步，并行语句，选择语句，CASE工具
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=BD4714D311C2502623CEF92E56E7E3B0&yid=3EBE383EEA0A6494&vid=94C357A881DFC066&iid=59906B3B2830C2C5&sid=CA4FD0336C81A37A&eid=7801E6FC5AE9020C&journal_id=1000-9825&journal_name=软件学报&referenced_num=12&reference_num=8