%0 Journal Article
%T Research and Design of a Web-based Formal Methods Tool:RRTChecker<br>基于Web的形式化方法工具RRTChecker的研究与设计
%A LI Dan LI Dan-ning Chris George
%A <br>李丹
%A 李丹宁
%A Chris George
%J 计算机科学
%D 2008
%I 
%X Formal methods tools are typically developed and used in UNIX/Linux system,and the difficulties in the use of the tools prevent the formal methods from being more popularized.A method of research and design the Web-based formal methods tool for RAISE is proposed in this paper.Through the adopting of the shell pipeline interception technique,ASP,ActiveX DLL and pathname rewriting technique,the RRTChecker(RAISE Remote Type Checker) is designed as an internet application to support the usage of RAISE tools dev...
%K RAISE
%K Web-based tool<br>形式化方法
%K 形式化方法工具
%K Web
%K 信息系统
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=6C81DB0EEA528B18F87886741263CAEC&yid=67289AFF6305E306&vid=6209D9E8050195F5&iid=DF92D298D3FF1E6E&sid=11CEECA6DA9E4AC5&eid=EBD6B792C9111B87&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=5