%0 Journal Article
%T BUILDING EXECUTABLE SPECIFICATION TO SUPPORT SOFTWARE DEVELOPMENT<br>支持软件开发的可执行定义方法
%A YING Jing
%A HE Zhijun
%A WU Zhaohui
%A <br>应晶
%A 何志均
%A 吴朝晖
%J 软件学报
%D 1997
%I 
%X This paper analyzes the executable specification building methods in software development procedure and its relationship with software development, then makes a comparison between MHSC(methodology for high level specification construction) and currently existed relevant methodologies. The MHSC methodology put forward by the authors supports executable specification explicitly. The paper declares that executable specification building method will play an important role in the evolutionary process from software specification to system implementation. Its research will turn out to be of great significance.
%K Executable specification
%K software methodology<br>可执行定义
%K 软件方法论
%K 软件开发
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=0AE99F1671D3000D6F723908700245BF&yid=5370399DC954B911&vid=5D311CA918CA9A03&iid=94C357A881DFC066&sid=406BF8ED3BCE1927&eid=3356A7630A93A219&journal_id=1000-9825&journal_name=软件学报&referenced_num=6&reference_num=7