%0 Journal Article
%T Building Hybrid Real-Time Systems in XYZ/E--Implementation of the Steam-Boiler Control Specification Problem<br>在 XYZ/ E中实现混成实时系统——蒸气锅炉控制问题的解决(英文)
%A YAN An
%A TANG Zhi song
%A <br>闫安
%A 唐稚松
%J 软件学报
%D 2000
%I 
%X XYZ is a software engineering system consisting of a temporal logic language XYZ/ E and a set of CASEtools.The temporal logic language XYZ/ E is based on Manna- Pnuli's Linear- Time Temporal L ogic.It canrepresent both high level and low level specifications in the same frame work,so that the specification andimplementation of software systems are very convenient.XYZ/ E is simple yet expressive enough to be acceptedby engineers.Besides,the formal nature of this language makes it capable of programming verif...
%K Temporal logic language
%K real-time hybrid system
%K specification
%K XYZ/E<br>时序逻辑语言，混成实时系统，描述，XYZ/E.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=056D169A03EBC44240346A31DBBCCE92&yid=9806D0D4EAA9BED3&vid=708DD6B15D2464E8&iid=B31275AF3241DB2D&sid=FD6137FFCE59D193&eid=4D0B71A09FA5A2A5&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=19